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
testsuite: make tests known to fail effectively fail
2017-02-13
L
u
c
Van
O
ostenryck
test
s
uite: ma
k
e
t
ests
k
nown t
o
fail effect
i
vely fai
l
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
tests
u
i
t
e: give a proper na
m
e to
the 'b
i
nary-constant
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
expand __b
u
iltin_bswap
*
() w
i
th const
a
nt args
Based-on-patch-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oosten
r
y
c
k
le
t
identical symbols
s
ha
r
e th
e
ir e
v
a
l
uat
e
/ex
p
and methods
Originally-by: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
c
k
mo
v
e
ev
a
l
u
ation & exp
a
n
sion of builtins in a sepa
r
ate
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
te
n
ryck
add suppo
r
t for
LLP64 ar
c
h
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enr
y
ck
s
i
mplify '
(
x || x)' and '(x && x)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryc
k
simplify
c
omparisons followed
by an equality tes
t
agains
t
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
add warning option '-Wtautological
-
compare'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
si
m
plify '(x op x)'
to '0',
'
1' or '
x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
sim
p
lify '(
x
||
1)
'
to '1'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
simplif
y
'~(~x)' and '-
(
-x
)
'
t
o 'x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
simplify '(x %
1
)' into
'0'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
simplify '(x / -1)'
t
o '-x' (but on
l
y for signed division)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x * -
1
)' to '-x
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
simplify '(
x
/ 1
)
' to
'
x'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
move O
P
_
MUL simplific
a
tion in a s
e
parate function
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
de
f
ine __LONG_MAX__ & __SIZEOF_POINT
E
R_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
add an helper for comm
o
n predef
i
ned mac
r
os
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
define __LP64__ & _L
P
64 if
a
rch_m
6
4
is enabled
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenry
c
k
fix ki
l
l
ing
O
P_S
E
TVAL instruct
i
o
ns
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
re
m
o
v
e 'Escape' from tok
e
n cha
r
acter class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
t
enr
y
ck
warn on unknown escape
s
a
fter preprocessi
n
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oos
t
enryck
add testcase for wrong
ea
r
ly escape co
n
version
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
tenryc
k
remo
v
e unuse
d
arg in u
s
es/defs fun
c
t
ions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
validate expr
e
ssion's t
y
pe in conditionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oos
t
enryck
ad
d
helper: is_scal
a
r
_
t
ype
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix conditional c
o
nt
e
x
t
te
s
t case wit
h
voi
d
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
cleanup kill_in
s
truction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
e
xplicitely ignore killi
n
g OP_ENTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenry
c
k
fix killing OP_COM
P
U
T
EDGOTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix killing OP_SELEC
T
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
t
e
nryck
fi
x
kill
i
n
g
OP_CAST
& f
r
i
e
nds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
fi
x
k
il
l
ing
OP_PHI i
n
s
tructio
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
k
i
ll uses
of
r
eplaced instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix cra
s
h
while tes
t
ing between
c
onditional & unconditio
n
al
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
fix cast's
target t
y
pe
in
f
o
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
en
r
yck
C11: teach sparse about '--std={c11,gnu11
}
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
yck
C1
1
: tea
c
h sparse about '_Alignas()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
C
1
1
: tea
c
h sparse a
b
out '_Alignof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
C
1
1: teach sparse ab
o
ut '_Nor
e
t
u
rn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oos
t
e
n
r
yck
C11: tea
c
h
s
parse about
'
_Thre
a
d_l
o
ca
l
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenryck
fix value of label st
a
tement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
missing load simplif
i
cation
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
fix phis
r
c mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
o
stenryck
f
ix superfluo
u
s
p
hisrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
v
o
latile loa
d
s must not
b
e simplified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enry
c
k
unssa: update
c
omment
a
b
out the unneeded c
o
p
ie
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
u
n
ssa: eliminate
t
rivial ph
i
src
copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: try to avoid some
OP_P
H
I copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
en
r
y
c
k
unssa: simplify rewrite of
OP_PH
I
SOUR
C
E
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa: do not try to update live
n
e
s
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
r
y
ck
fix cast
t
o bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
llvm:
r
emo
v
e
u
nneeded
OP_COPY su
p
por
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n O
o
s
tenryck
llvm: fix typing when comparing to a c
o
nstant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
f
ix typing
e
r
ror in
com
p
ound as
s
i
g
nment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
add support for __i
n
t128
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fix
m
is
s
i
ng element in types declaration
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
recursive ph
i
_
d
efines cannot happen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
cgcc should no
t
defi
n
e
non-res
e
rved id
e
n
t
ifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
Update mai
n
t
ainers in
t
he manpage
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
r
yck
some modifiers need to be pre
s
erved by 'typeof
(
)'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oos
t
e
n
ryck
testsui
t
e: test modifiers preserved by 'ty
p
eof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tes
t
suite:
test mod
i
f
i
e
rs preserv
e
d by '&
'
operator
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
use a
s
h
or
t
er
name for
f
unction
-
pointer-
m
odifier-inheritance
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Va
n
O
o
s
t
e
n
ryck
tes
t
suite
:
simpli
f
y
t
est function-point
e
r-in
h
e
r
i
t
a
nce
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
s
t
orage should not be inherited by
p
oint
e
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
r
e
move u
n
used field 'multijump' in struct instructio
n
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
OP_SWITCH should use
'insn->cond' i
n
stea
d
of
'
ins
n
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
e
n
ryck
give comparab
l
e la
b
e
l
's
n
ames to b
a
sic bloc
k
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oosten
r
yck
let
"compile" not c
r
ash
on b
o
ols
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
make
ptr
l
ist walking against robu
s
t
a
g
ainst empty b
l
ocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Emil
y
M
a
i
e
r
val
i
dation: Check C99
for lo
o
p
variables
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Daniel Wagner
p
a
r
se: Add comment to struc
t
statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Ne
s
terov
d
issect: s/mode_t/usage_
t
/ in report_member()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Ole
g
Nesterov
d
issect:
t
each do_initialize
r
() to h
a
ndle the nested
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
dis
s
ect:
t
each
d
o_expression() to hand
l
e EXPR
_
OFFSETOF
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
add test case for builtin bswap wit
h
co
n
stant a
r
gs
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Be
r
g
i
mplement constant-
f
olding in __builtin_bswa
p
*
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oos
t
en
r
y
c
k
fix discarded label st
a
temen
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
Remo
v
e
u
n
n
eeded variable in intege
r
_
p
romotion
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryc
k
Wa
r
n
on unknown
attributes ins
t
ead of throwing errors
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
clean
u
p: r
e
move evaluat
e
_argume
n
ts()'s unused ar
g
ument
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Oostenryc
k
m
a
ke 'ignored_attribu
t
es[]' static
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Emily Maier
linear
i
ze: Emi
t
C99 decla
r
ations co
r
rectly
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van
Oost
e
nryck
add
missing #include
"
ch
a
r
.
h
" to
c
h
ar
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
L
uc
V
an
O
o
s
tenry
c
k
Fix
type check
i
n
g
o
f variadic functions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Lance
Ri
c
h
ardson
spa
r
se:
u
pdate
_
_builtin_obje
c
t_si
z
e()
p
r
oto
t
ype
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van O
o
stenryck
fix
m
ixup
in "Handle SFor
c
ed in stor
a
ge_modifier
s
"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-11-16
Jef
f
Layton
Han
d
le SForc
e
d i
n
sto
r
age_modifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-27
Rui
Teng
sparse
:
add
n
o_sanitize_a
d
d
res
s
a
s an ignored att
r
ibute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
L
a
nce Richard
s
on
s
parse: ignor
e
__assume_align
e
d_
_
attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay Jones
spa
r
se
:
add 'a
l
loc_align' to the
i
gnored att
r
ibut
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Chri
s
topher Li
Fix
warning compilin
g
spa
r
se-ll
v
m
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-22
L
uc Va
n
Oostenryck
Do not
drop 'n
o
cast' modif
i
er when taking the add
r
ess
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-04
Lu
c
Van Ooste
n
ryck
Fix size calculation of uns
i
zed bool array
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
Tony
C
amus
o
Add default case
t
o swit
c
h
e
s on enum variables
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
T
o
ny
C
amuso
.
giti
g
nore: ad
d
c
s
c
ope and Q
t
pr
o
je
c
t files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-04
Dan C
a
rpent
e
r
ptrlist: reading deleted
i
t
ems
i
n NEXT_P
T
R
_LIST()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat K
h
uz
h
in
validati
o
n/prototype: regression for
skipping
protot
y
pes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next