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
|
[kernel] Parsing inserted_casts.c (with preprocessing)
[test] Inserting cast for expression a + 3 of type int to type unsigned int
[test] Inserting cast for expression a of type int to type unsigned int
[test] Inserting cast for expression (unsigned int)a * r of type unsigned int to type int
[test] Inserting cast for expression a of type int to type unsigned int
[test] Inserting cast for expression (unsigned int)a - r of type unsigned int to type int
/* Generated by Frama-C */
#include "stddef.h"
int f(int b)
{
int r;
if (b * b != 0) r = 0; else r = -1;
return r;
}
int g(int a)
{
int __retres;
unsigned int r;
ptrdiff_t x = & r - & r;
r = (unsigned int)(a + 3);
a = (int)((unsigned int)a * r);
__retres = (int)((unsigned int)a - r);
return __retres;
}
|
