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
|
[kernel] Parsing incompatible_qualifiers.c (with preprocessing)
/* Generated by Frama-C */
typedef int (*fp1)(char );
typedef int *iptr;
typedef int * restrict irptr;
int f(int a, char volatile *b);
int g(int a, char b);
void h(char const *);
void i(int *(*f)(int volatile ));
void j(int *(*f)(int *));
void k(int *(*f)(int volatile ));
fp1 *l(int *(*f)(int ));
int (***m(int *(*f)(int volatile )))(char const );
fp1 * const *n(int *(*f)(int , fp1 **));
void o(char r1, char r2);
void p(int volatile a);
void q(iptr volatile p);
void r(int (*f)(char ), int (*g)(char ));
void s(irptr p1, irptr p2);
int * restrict * restrict iprpr;
int * restrict matrix[1];
int main(void)
{
int __retres;
f(0,(char volatile *)0);
g(0,(char)0);
h((char const *)0);
i((int *(*)(int volatile ))0);
j((int *(*)(int *))0);
k((int *(*)(int volatile ))0);
l((int *(*)(int ))0);
m((int *(*)(int volatile ))0);
n((int *(*)(int , fp1 **))0);
o((char)0,(char)0);
p(0);
q((iptr)0);
r((int (*)(char ))0,(int (*)(char ))0);
s((int *)0,(int *)0);
__retres = 0;
return __retres;
}
|
