1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
[kernel] Parsing merge_attrs_align.c (with preprocessing)
[kernel] Parsing merge_attrs_align1.c (with preprocessing)
[kernel] Parsing merge_attrs_align3.c (with preprocessing)
[kernel] User Error: Incompatible declaration for s1:
Definitions of type s are not isomorphic. Reason follows:
Definitions of struct __anonstruct_s_1 are not isomorphic. Reason follows:
incompatible attributes for field b
struct __anonstruct_s_1 {
char a ;
short b ;
} __attribute__((__packed__));
struct __anonstruct_s_1 {
char a ;
short b __attribute__((__aligned__(2)));
} __attribute__((__packed__));
First declaration was at merge_attrs_align1.c:10
Current declaration is at merge_attrs_align3.c:10
[kernel] Frama-C aborted: invalid user input.
|
