1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
/* { dg-do run } */
/* { dg-options "-O2" } */
#include <stdarg.h>
extern int error_open_missing_mode (void)
__attribute__((__error__ ("open with O_CREAT needs 3 arguments, only 2 were given")));
extern int warn_open_too_many_arguments (void)
__attribute__((__warning__ ("open called with more than 3 arguments")));
extern void abort (void);
char expected_char;
__attribute__((noinline)) int
myopen2 (const char *path, int oflag)
{
if (expected_char++ != path[0] || path[1] != '\0')
abort ();
switch (path[0])
{
case 'f':
if (oflag != 0x2)
abort ();
break;
case 'g':
if (oflag != 0x43)
abort ();
/* In real __open_2 this would terminate the program:
open with O_CREAT without third argument. */
return -6;
default:
abort ();
}
return 0;
}
__attribute__((noinline)) int
myopenva (const char *path, int oflag, ...)
{
int mode = 0;
va_list ap;
if ((oflag & 0x40) != 0)
{
va_start (ap, oflag);
mode = va_arg (ap, int);
va_end (ap);
}
if (expected_char++ != path[0] || path[1] != '\0')
abort ();
switch (path[0])
{
case 'a':
if (oflag != 0x43 || mode != 0644)
abort ();
break;
case 'b':
if (oflag != 0x3)
abort ();
break;
case 'c':
if (oflag != 0x2)
abort ();
break;
case 'd':
if (oflag != 0x43 || mode != 0600)
abort ();
break;
case 'e':
if (oflag != 0x3)
abort ();
break;
default:
abort ();
}
return 0;
}
extern inline __attribute__((always_inline, gnu_inline)) int
myopen (const char *path, int oflag, ...)
{
if (__builtin_va_arg_pack_len () > 1)
warn_open_too_many_arguments ();
if (__builtin_constant_p (oflag))
{
if ((oflag & 0x40) != 0 && __builtin_va_arg_pack_len () < 1)
{
error_open_missing_mode ();
return myopen2 (path, oflag);
}
return myopenva (path, oflag, __builtin_va_arg_pack ());
}
if (__builtin_va_arg_pack_len () < 1)
return myopen2 (path, oflag);
return myopenva (path, oflag, __builtin_va_arg_pack ());
}
volatile int l0;
int
main (void)
{
expected_char = 'a';
if (myopen ("a", 0x43, 0644))
abort ();
if (myopen ("b", 0x3, 0755))
abort ();
if (myopen ("c", 0x2))
abort ();
if (myopen ("d", l0 + 0x43, 0600))
abort ();
if (myopen ("e", l0 + 0x3, 0700))
abort ();
if (myopen ("f", l0 + 0x2))
abort ();
/* Invalid use of myopen, but only detectable at runtime. */
if (myopen ("g", l0 + 0x43) != -6)
abort ();
return 0;
}
|
