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_align2.c (with preprocessing)
[kernel] Parsing merge_attrs_align4.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 in composite types and/or field b
struct __anonstruct_s_1 {
char a ;
short b ;
};
struct __anonstruct_s_1 {
char a __attribute__((__aligned__(1)));
short b __attribute__((__aligned__(1)));
} __attribute__((__packed__, __aligned__(1)));
First declaration was at merge_attrs_align2.c:10
Current declaration is at merge_attrs_align4.c:12
[kernel] Frama-C aborted: invalid user input.
|
