repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
warn if testing the address of a function
2017-03-22
Luc
V
an Oosten
r
y
c
k
warn if testing the ad
d
ress
o
f a fun
c
t
ion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oos
t
enryck
add is_f
u
nc_t
y
p
e()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
L
u
c
Van Oostenry
c
k
teach
s
parse ab
o
ut -Wadd
r
ess
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc V
a
n
Ooste
n
ryck
use V
O
ID inst
e
ad
of directl
y
using &void
_
p
seudo
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oost
e
nryck
m
ov
e
'extern with initializer' validation
a
fter the
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Ooste
n
r
y
ck
check the
s
torage of C99
for-loop
ini
t
ializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van O
o
s
tenryck
a
d
d
a
n o
p
tional validation method to external_declaration()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc
Van Oostenryck
add test
cases for stor
a
ge of
c99 for-loop declar
a
tions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
Oostenryc
k
ad
d
t
est case for scope o
f
C99 for-
l
oop de
c
larations
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenry
c
k
r
e
place test for c99 for-lo
o
p
initializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
remove
u
nused helper is_bra
n
c
h
_
g
oto()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc V
a
n
O
ostenryck
split OP_B
R
b
e
tween unconditional & cond
i
tional:
OP_CBR
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oos
t
e
nryck
fix s
i
ze
o
f loaded bitfields
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
L
u
c Van Oostenryck
fix usage
in
simplify_seteq_setne()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc
Van Oost
e
nryck
ignore
w
hole-range
overlapping initi
a
lizer
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc V
a
n
Oostenryck
fix checking of over
l
apping initiali
z
e
r
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc
V
an Oosten
r
yck
allow to warn
on al
l
overlapping ini
t
ializer
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
add test
case for war
n
in
g
s abo
u
t ov
e
rlap
p
ing i
n
itializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
use option: '-Woverride-init'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
make -Wbitw
i
se oper
a
tional a
g
a
in
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-27
Luc
Van O
o
stenryck
add missing
b
races around FOR
_
EACH
_
P
T
R loop
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-26
L
uc
Van Oostenr
y
ck
fix e
x
pansion cost
o
f pure
functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Ooste
n
ryck
C
S
E: avo
i
d
h
ashi
n
g
removed instructio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc
Van
Oostenryck
CS
E
:
use co
m
mutat
i
vity
t
o identify equivalent ins
t
ructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oo
s
tenr
y
ck
CSE
:
add test cas
e
s
fo
r
comp
a
r
isons
duality
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
s
i
mp
l
ify
f
loat-to-fl
o
at
c
asts that d
o
e
sn't change si
z
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
f
i
x OP_PHI usage in tr
y
_to_simplify
_
bb()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van
Oostenryc
k
use kill_instru
c
t
i
on
(
) when killing a
n
y ins
t
ructio
n
s
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenry
c
k
use kill_instru
c
t
ion() when killing
a
n
OP_PHI du
r
ing CSE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
Ooste
n
ryck
fi
x
kil
l
ing of rewritten loads
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
add killing o
f
stores
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c
V
an Oostenryck
add ki
l
ling of no
n
-volatile lo
a
ds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an
O
o
stenryck
fix killing OP
_
CALL v
i
a pointers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
add
killing o
f
pur
e
calls
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oo
s
tenryck
kill_instruct
i
on() may need to be forced or not
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
yck
fix killing of
o
therwise not
-
handled instructio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryc
k
remove unused
c
l
e
a
r_phi()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Ooste
n
ryck
fix clear_phi(), replac
e
i
t
b
y k
i
ll_instruction()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
f
ix killing
o
f OP_PHIs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oostenryck
add hel
p
er
ki
l
l
_
u
se_list()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van Oostenryck
add k
i
lling of OP_PHISOURCEs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryc
k
add kil
l
ing of OP_SLICEs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
f
ix
s
how-p
a
rse()'s labe
l
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van O
o
stenryck
remo
v
e
unus
e
d field 'goto_bb' in s
t
ruct
st
a
tement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
r
e
m
o
ve unu
s
ed field 'mult
i
jmp' in struct statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryck
c
l
eanup: there is no 'struct
phi'
t
o allocate
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oo
s
tenryck
testsuite: quieter e
r
ror reporting for 'known-to
-
fail'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite: allow quieter e
r
ror reporting
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenr
y
ck
testsuite: get 'check-kn
o
wn-to-
f
ail'
ea
r
lier
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
t
ests
u
ite: us
e
'error' instead of 'info' for successful
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
testsuite:
check the nbr of times
a pattern s
h
ould
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
testsuite: a
d
d
s
ome selfchecking
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite:
check patt
e
rns pr
e
sence o
r
absence in output
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
a
llow to launch the
t
est
s
u
i
te from
the
p
roje
c
t ro
o
t dir
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsu
i
t
e: repor
t
as error tests
known
to fail but
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
O
o
stenr
y
ck
tes
t
suite: add tag to ignor
e
the outpu
t
/err
o
r
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
es
t
s
u
ite: add
a simple
t
e
st
for
-
Wen
u
m-m
i
smatch
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenry
c
k
tes
t
suite
:
simpl
i
fy the ioc-type
c
he
c
k case
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
t
est
s
uite: make tests known
to fail ef
f
ect
i
vely fa
i
l
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
testsuite: give a pro
p
e
r name to the 'b
i
n
a
ry-constant
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enryck
expand __builtin_bswap*() with constant arg
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oosten
r
yck
let
identi
c
a
l
symbols
sh
a
r
e their evaluate/expand met
h
ods
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
move evaluation & expans
i
o
n
of builtins in a sepa
r
ate
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
ad
d
support for LLP6
4
arch
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify
'(x || x)' a
n
d
'
(x && x)'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
simplify comparis
o
ns f
o
llowed by an equ
a
lity
t
e
st against
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
r
y
ck
add warning option '-Wtautological-compare'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
t
e
n
ryc
k
simpl
i
fy '(x o
p
x)'
t
o '0', '1' o
r
'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
simpl
i
fy
'(x || 1)' to
'
1'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
simplif
y
'~(~x)' and '-(-x)' to
'
x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
si
m
plify '(
x
% 1)'
i
nto '0'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
simplify '(x / -1)' to
'
-
x' (but only
f
or
sign
e
d
division
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(
x
* -
1
)' to
'-x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an O
o
stenryck
s
implify '(x / 1)' to
'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
move
OP_MUL simp
l
ificat
i
on in a
sep
a
rate
f
unction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
define __L
O
NG_
M
AX__ & __SIZEOF_P
O
INTER__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oostenryck
ad
d
an
h
elper
f
or
c
ommon pre
d
e
f
ined mac
r
os
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
define __LP6
4
__ & _LP64 if arc
h
_m64
i
s enabled
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix kill
i
ng OP_
S
ETVAL instru
c
tions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ry
c
k
remove
'Escape'
f
r
o
m toke
n
charact
e
r class
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
warn
on unknown esca
p
es aft
e
r prep
r
o
cessing
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Va
n
Oost
e
nryck
add testcase for wron
g
early e
s
cape conversio
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remove unu
s
ed arg in
u
ses/def
s
f
unctio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
val
i
date expression's type in conditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
a
d
d hel
p
er: is_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix co
n
d
i
tional context test case with void
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
stenry
c
k
c
l
e
a
nup kill_inst
r
uction(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
explicitely ig
n
o
r
e
killing
O
P_ENTRY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
fix killing OP_
C
OMP
U
TE
D
GOT
O
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
fix
k
i
llin
g
OP_SELECT
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryck
fi
x
kil
l
i
ng
OP_CAST & f
r
iends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryck
fix killing OP_PHI instr
u
ctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
kill uses of re
p
lace
d
i
n
structions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix crash while testing between
c
o
n
di
t
io
n
al & unconditional
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oo
s
t
enryc
k
f
i
x cas
t
's
target typ
e
i
n
fo
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
C11: teach
s
parse
a
bout '--
s
td={c11
,
gnu11
}
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ost
e
n
ryck
C11: t
e
ach spa
r
se about '_Alignas()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
C11:
t
e
a
ch sparse about '_
A
l
ignof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
C11
:
tea
c
h sparse a
b
out '_
N
oreturn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
C11: teach sparse about '_Thread_lo
c
a
l'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
next