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
|
[kernel] Parsing merge_unused.c (with preprocessing)
[kernel] Parsing merge_unused_2.c (with preprocessing)
[kernel:linker:drop-conflicting-unused] Warning:
Incompatible declaration for G1:
Definitions of struct s are not isomorphic. Reason follows:
incompatible attributes in composite types and/or field i
struct s {
char c __attribute__((__aligned__(1)));
int i __attribute__((__aligned__(1)));
} __attribute__((__packed__, __aligned__(1)));
struct s {
char c ;
int i ;
};
First declaration was at merge_unused.c:12
Current declaration is at merge_unused.h:7
Current declaration is unused, silently removing it
[kernel] User Error: Incompatible declaration for G3:
Definitions of struct s are not isomorphic. Reason follows:
incompatible attributes in composite types and/or field i
struct s {
char c __attribute__((__aligned__(1)));
int i __attribute__((__aligned__(1)));
} __attribute__((__packed__, __aligned__(1)));
struct s {
char c ;
int i ;
};
First declaration was at merge_unused.h:9
Current declaration is at merge_unused.h:9
[kernel] Frama-C aborted: invalid user input.
|
