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
|
[kernel] Parsing thread.i (no preprocessing)
[kernel:typing:inconsistent-specifier] thread.i:10: Warning:
only objects can be thread-local
[kernel:typing:inconsistent-specifier] thread.i:12: Warning:
only objects can be thread-local
[kernel:typing:inconsistent-specifier] thread.i:15: Warning:
a local object cannot be thread-local
[kernel:typing:inconsistent-specifier] thread.i:17: Warning:
a local object cannot be thread-local
/* Generated by Frama-C */
__thread int a;
static __thread int b;
extern __thread int c;
_Thread_local int d;
_Thread_local int bad(void);
int bad(void)
{
int __retres;
__retres = 0;
return __retres;
}
int main(void);
int main(void)
{
int __retres;
_Thread_local int e = 1;
register _Thread_local int g = 1;
a = 0;
b = 0;
c = 0;
d = 0;
__retres = 0;
return __retres;
}
|
