1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
[kernel] Parsing multiple_froms.i (no preprocessing)
[kernel:annot:multi-from] Warning:
Drop 'b' \from at multiple_froms.i:15 for more precise one at multiple_froms.i:16
[kernel:annot:multi-from] Warning:
Drop 'a' \from at multiple_froms.i:13 for more precise one at multiple_froms.i:12
/* Generated by Frama-C */
int a;
int b;
int c;
int d;
int e;
/*@ assigns a, b, c;
assigns a \from a, b, c;
assigns b \from a, e;
assigns c \from c;
assigns c \from d;
*/
void function(void)
{
return;
}
|
