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
|
[kernel] Parsing const-assignments.c (with preprocessing)
[kernel:typing:incompatible-types-call] const-assignments.c:66: Warning:
expected 'int *' but got argument of type 'int const *': x_0
/* Generated by Frama-C */
struct __anonstruct_S_1 {
int x ;
int const y ;
};
typedef struct __anonstruct_S_1 S;
int const x = 1;
extern void g(int *p);
void f(int const *x_0)
{
g((int *)x_0);
return;
}
void h(int const *x_0)
{
int *y = (int *)x_0;
*y = 1;
g(y);
return;
}
void build_S(S const *s, int x_0, int y)
{
s->x = x_0;
s->y = y;
return;
}
void mutable_test(S const *s)
{
s->x = 42;
(s->x) ++;
s->x += 2;
return;
}
|
