1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
[kernel] Parsing share/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing tests/syntax/sizeof_bts1414.i (no preprocessing)
tests/syntax/sizeof_bts1414.i:5:[kernel] Dropping side-effect in sizeof. Nothing to worry, this is by the book.
tests/syntax/sizeof_bts1414.i:7:[kernel] Dropping side-effect in sizeof. Nothing to worry, this is by the book.
/* Generated by Frama-C */
int g(int *a)
{
int __retres;
int x;
int tmp;
x = (int)sizeof(tmp);
switch (x) {
int tmp_0;
case (int)sizeof(tmp_0): __retres = 1;
goto return_label;
default: ;
__retres = 0;
goto return_label;
}
__retres = x;
return_label: return __retres;
}
|
