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 an array
2017-03-22
Luc V
a
n O
o
stenr
y
ck
warn if testing the
a
dd
r
ess of an array
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Ooste
n
ryck
add is_arr
a
y_t
y
pe()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van
Oo
s
te
n
ryck
w
arn if tes
t
ing the address
of a function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oos
t
enryck
ad
d
is_
f
unc_ty
p
e()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-22
Luc Van Oos
t
enryck
teach sp
a
rse ab
o
ut
-Waddre
s
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
use VOID instead
o
f
d
ir
e
ctly
u
sing &void_pse
u
do
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oos
t
e
nryck
move
'
extern wi
t
h initializer' va
l
i
da
t
i
o
n af
t
er th
e
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oost
e
nryck
check the storage of C9
9
for-loop initial
i
zers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
a
d
d an
o
p
tional validat
i
on method to external_declarati
o
n()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
Oost
e
nryck
a
d
d test cases for
storage of c99 for-loop
declar
a
t
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
L
u
c
V
an
O
ostenryck
ad
d
test case
f
or s
c
o
pe o
f
C99 for
-
lo
o
p de
c
la
r
at
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryck
replace tes
t
for
c
99 for-loop
i
n
i
tializers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Va
n
Oo
s
ten
r
y
ck
rem
o
ve
u
n
used
helper is
_
bra
n
ch_goto()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-06
Luc Van Oostenryc
k
split
OP_BR
betwe
e
n
u
nc
o
nditional &
cond
i
tio
n
al: OP_CBR
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oostenryck
f
ix size of loaded
b
itfields
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
L
uc
V
a
n
Oosten
r
yck
fix u
s
age in s
i
mplify
_
seteq_set
n
e()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van O
o
stenr
y
ck
ignore whole-range overlap
p
ing
initial
i
zer
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
L
uc V
a
n Oostenryck
fix
checking of overlappi
n
g in
i
ti
a
lizer
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oo
s
tenryck
allo
w
to warn on all overlapping in
i
tializer
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oost
e
nry
c
k
add
t
est
case for
w
arnings about overla
p
pi
n
g initiali
z
e
rs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc Van Oosten
r
yck
us
e
option: '-Woverride-init'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-03-03
Luc
Van Oostenryck
m
a
ke -Wbitwise operational
a
gain
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-27
Luc Van Oostenryck
add mi
s
sing
b
races around FOR_EAC
H
_PTR
l
oop
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-26
Luc Van Oostenryc
k
fix e
x
pa
n
sion cost
of
p
ure
functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Oostenryck
CSE: avoi
d
hashin
g
removed i
n
str
u
ctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
L
u
c
Va
n
Oostenryck
CSE: use commuta
t
ivity to
identify equiva
l
ent instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-23
Luc Van Ooste
n
ryc
k
CSE: add
t
est cases fo
r
comparisons d
u
a
l
ity
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
tenryck
sim
p
lify f
l
oat-to-fl
o
at
casts that d
o
e
s
n't change size
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
ck
fix OP
_
PHI usage
in
try
_
to_simplify_
b
b(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Va
n
O
ostenryck
use kill_instructi
o
n() when
killing any i
n
st
r
uctions
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
en
r
yck
u
se
kill
_
i
n
s
tr
u
ction() when
k
illing an
O
P
_PHI during
CSE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenr
y
c
k
fix
k
illing of rewritten loads
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
L
u
c Van Oostenryck
ad
d
killing o
f
st
o
res
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oost
e
nryck
add killing of non
-
volatile loads
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oos
t
enryc
k
fi
x
killing
O
P_CALL vi
a
pointers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oost
e
n
r
yck
add
ki
l
ling of pure ca
l
l
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oosten
r
y
ck
kill_instruction() may n
e
ed
t
o b
e
forc
e
d or not
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
Van
O
ostenryck
f
i
x killing
of otherwise not-handled
i
nstr
u
ctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Lu
c
Van Oostenry
c
k
r
e
move
unused cle
a
r_phi()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van
Ooste
n
ryc
k
fix clear_phi(), re
p
la
c
e it by kill_instruc
t
ion(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
L
uc Van Oo
s
tenryck
fix killing
o
f OP_PHIs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oo
s
t
e
nry
c
k
a
dd helper
k
ill_use_list()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an Oostenry
c
k
add kill
i
ng of OP_PHISOURCEs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenry
c
k
add killing
of
O
P
_SLICEs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc V
a
n Oostenryck
fix
s
ho
w
-parse()'s
la
b
e
ls
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc
V
an
Oostenry
c
k
remove
u
nu
s
ed field 'goto_bb' i
n
struct
s
t
ate
m
ent
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
remove unu
s
ed fi
e
ld '
m
ulti
j
mp' in struct
state
m
ent
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-16
Luc Van Oostenryck
cle
a
n
u
p
: t
h
ere is
no 'struct phi' to allocate
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
testsu
i
t
e:
q
uiet
e
r e
r
r
o
r reporting
f
or
'
known-to-fai
l
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
enryck
t
est
s
uit
e
: allow quieter
error
reporting
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tests
u
ite:
get 'chec
k
-kn
o
w
n
-to-fail'
e
a
rli
e
r
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
test
s
uite:
use
'
er
r
or
'
i
n
stead of
'info' for
s
uccessful
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsui
t
e: check
t
he nb
r
of
times a pattern
s
hould
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite: add some selfche
c
king
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
testsuite: check
p
a
t
terns presence or absence in o
u
tput
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
allow to launc
h
t
h
e test suite fro
m
the
p
r
oject
root
dir
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenr
y
ck
testsuite: r
e
port a
s
error tests k
n
own to fail
b
ut
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite
:
add
t
a
g
t
o
ign
o
re
the
ou
t
put/e
r
ror
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenr
y
ck
te
s
tsuite
:
add a simple
t
es
t
for -Wenum-mismatc
h
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
te
s
tsuite: simplify t
h
e ioc-typecheck
c
ase
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
test
s
uite: ma
k
e tests
k
n
own to
fail effecti
v
e
l
y fail
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
t
e
s
tsuit
e
:
give a proper name to the 'binary-c
o
n
stan
t
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryc
k
exp
a
nd _
_
b
u
ilt
i
n
_bswap*
(
) with constant args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
osten
r
yck
let ident
i
c
a
l
s
ymbo
l
s
share their evaluate/expand methods
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenryck
move evaluat
i
on & e
x
pansion of bui
l
t
ins in a separate
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n
Oostenr
y
ck
a
d
d
suppo
r
t fo
r
LLP64 a
r
ch
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nryck
simplify '(x || x)' and '(x &&
x)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
i
mpl
i
fy comparisons followe
d
by an equ
a
lity te
s
t
agai
n
s
t
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
add warning option '-Wtau
t
ol
o
gical-co
m
pare
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
s
i
mplify '(x op x)'
to '0',
'1' or
'
x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
sim
p
lify '(x || 1
)
'
to '1'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
simp
l
ify '~(~x)'
a
n
d '-(-x)' to 'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
e
nryck
s
i
mplify
'
(
x
%
1)' into
'0'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
simpli
f
y '
(
x / -1)' to '-
x
'
(but only for signed division)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
i
mplify '(x * -1)' to '
-
x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
sim
p
li
f
y '(x /
1)' to 'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
tenry
c
k
move OP_MUL simplification
i
n a s
e
parate
f
unction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
define __LONG
_
MAX_
_
& __S
I
ZEOF_POINTER
_
_
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryc
k
add an helper for common
predefined macros
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
def
i
ne __L
P
64_
_
& _LP64 if arch_m
6
4 is
e
nable
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Ooste
n
ryck
f
i
x killi
n
g
OP_SETVAL
instruct
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenr
y
c
k
remove 'Escape' fro
m
t
oken cha
r
acter class
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
ryck
warn on unknown escap
e
s after pre
p
rocessing
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
add testcase for
w
r
ong ea
r
ly
escape conversion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
s
t
e
n
r
y
c
k
remove un
u
se
d
arg in use
s
/
d
efs
fu
n
ctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
validate expressio
n
's typ
e
i
n
condition
a
ls
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenr
y
ck
add helpe
r
: is_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenryck
fix conditional context tes
t
case wit
h
void
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oosten
r
yck
c
lea
n
up kill_
i
nstruction
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryck
explicitely igno
r
e killi
n
g OP
_
ENTRY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fix killing
O
P_CO
M
PUTEDGOTO
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenr
y
ck
fix
killi
n
g OP_SELE
C
T
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryc
k
fix killi
n
g OP_CAST & friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_PHI instruc
t
io
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
kill us
e
s of
r
eplaced i
n
s
t
ructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix crash w
h
ile testing betwe
e
n con
d
i
t
i
o
nal & unconditional
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
f
ix
c
a
st
'
s targe
t
ty
p
e info
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
s
tenryck
C11: teach sparse abo
u
t '--s
t
d={c11
,
gnu11}'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach sparse about
'_Alignas
(
)'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenr
y
c
k
C
11: tea
c
h spar
s
e about '
_
Al
i
gno
f
()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
next