1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/bts1553.i (no preprocessing)
/* Generated by Frama-C */
struct a {
int b ;
};
static struct a __constr_expr_0 = {.b = 1};
struct a *d[1] = {& __constr_expr_0};
static struct a __constr_expr_1 = {.b = 5};
struct a *tmp[1] = {& __constr_expr_1};
int wibble(void)
{
int __retres;
__retres = 1;
return __retres;
}
static struct a __constr_expr_2 = {.b = 2};
struct a *e[1] = {& __constr_expr_2};
|
