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: add tag to ignore the output/error
2017-02-13
Lu
c
Van Oostenryck
testsuite:
a
dd tag to ignor
e
the o
u
t
p
u
t
/error
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryck
te
s
tsuite: add
a simp
l
e
t
est for -Wen
u
m-
m
is
m
atch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
testsu
i
te: simpl
i
fy the
ioc-typecheck c
a
se
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
n
ryck
test
s
uite: make
t
e
sts known to
fail effectively fail
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
testsuite: give a
p
roper name
to the 'binary-consta
n
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
expand __builtin_bswap*() w
i
t
h c
o
ns
t
ant
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
Van Oostenryck
let identical symbols
s
hare
their
e
valuat
e
/
e
x
p
and
me
t
hods
Originally-by:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nryck
move
e
valuation & expansion of bui
l
tins
i
n a separate
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
a
dd suppo
r
t
f
or LLP
6
4
a
rch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
simplify
'
(x || x
)
' and '(x
&
& x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify c
o
mp
a
risons followed by an equality
test
a
gain
s
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
add warning option '-Wtauto
l
ogical
-
compa
r
e'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
simplify '(x
op x)' to '0',
'1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
yck
si
m
plify '(x
|
|
1)' t
o
'1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
c
k
si
m
plify '~(~x)' and '-(-
x
)'
t
o
'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(
x
% 1)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
enryck
simp
l
ify '(x / -1
)
' to '-
x
' (bu
t
only for signe
d
division)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simplify '(x *
-
1
)
' t
o
'-x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
s
implify '(x / 1)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
move OP_MU
L
s
i
mplification i
n
a separate function
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
d
e
fine __LONG_MAX
_
_ & __SIZEOF_POI
N
TER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add
a
n helper for common p
r
edefined ma
c
ros
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
define
_
_
L
P64__ & _LP64 if arch_m6
4
is enabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ost
e
nryck
f
ix killing OP_SETVAL ins
t
r
u
c
t
io
n
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
r
e
move 'Escape' from
toke
n
character cl
a
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
war
n
on
u
nknown escap
e
s
after
prepr
o
ces
s
ing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
t
enryck
a
dd tes
t
c
a
se for w
r
ong earl
y
escape conversion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
e
nryc
k
remove unused arg
in uses/de
f
s fun
c
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
validat
e
expression's
type in condit
i
onals
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
add he
l
pe
r
: i
s
_scalar
_
type
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix conditio
n
al context test cas
e
with
void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nry
c
k
cleanup
k
ill_instructi
o
n()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
explicitely ignore killing OP_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
k
ill
i
ng
OP_COMPUTED
G
OTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
fix
k
illing OP_SELECT
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killing OP_CAST & friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oost
e
nryck
f
i
x killing OP_P
H
I instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
kill
u
ses of replaced instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
s
tenryck
fix crash while test
i
ng between co
n
diti
o
n
al & unconditional
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
f
ix cast'
s
target type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
C11: teac
h
sparse a
b
out '
-
-
s
t
d
={
c
11,gnu
1
1}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enry
c
k
C
11: teach sp
a
rse abou
t
'_Alignas()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11: te
a
ch spars
e
about '_Aligno
f
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
C11: teach sparse about
'
_Noretu
r
n
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nryck
C11: te
a
ch
s
parse about '_Thread_local'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
f
ix val
u
e of
label statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missing load simplific
a
ti
o
n
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
fix
p
hisrc mixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oo
s
tenryck
fi
x
superfluous phi
s
rc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
vol
a
ti
l
e
load
s
must not be
simpl
i
fie
d
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryc
k
unssa: update c
o
mment about
t
h
e
un
n
e
e
ded
c
opies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
u
nssa: eliminate trivial phisrc copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yc
k
unssa: try to
a
void so
m
e OP_PHI c
o
pi
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
un
s
s
a: simplif
y
rewrite of O
P
_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
un
s
sa: do not tr
y
t
o
update
l
iveness
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix cast
to bool
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
llvm
:
remove
u
nne
e
ded
OP_COPY s
u
pport
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
llvm: fix typing when compar
i
ng to
a
const
a
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oos
t
enryc
k
fix typing
e
rror
i
n compo
u
nd assignment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
add support for
_
_
i
nt
1
28
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
o
stenryck
fix missing el
e
ment in types declaration
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
recursi
v
e
p
h
i
_defines cannot happen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
O
ostenryck
cgc
c
s
hould not define non
-
reserved id
e
ntifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
Update maintaine
r
s in th
e
manpa
g
e
CC:
Christopher Li
<sparse@chrisli.org>
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
some modifiers
n
e
e
d
to be preserved
by 'ty
p
eof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
test
s
uit
e
:
test modifiers pres
e
rved by 'typeof
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oosten
r
y
c
k
testsuit
e
:
test modi
f
iers preserved by '&' operator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use a
shorter
n
ame
for fun
c
tion-pointer-modifier-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
t
estsuite: si
m
p
l
i
fy
t
est fu
n
ction-pointer-inher
i
tance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
storage should
n
o
t
b
e
i
nhe
r
i
t
ed b
y
pointers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
o
stenryck
r
emove unus
e
d
f
ield '
m
ultijump' in str
u
c
t
instruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
O
P
_
S
WITCH s
h
ould u
s
e 'insn->cond' instea
d
of
'i
n
sn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
g
iv
e
compar
a
ble label's na
m
es t
o
b
as
i
c blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
l
e
t "compile" not crash
o
n bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
ma
k
e ptrlist walking agains
t
robust against empty
blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
E
mily Maier
validati
o
n: Che
c
k C99 for loop var
i
ab
l
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Dani
e
l
Wagner
parse: Add comment to struct statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
leg Nestero
v
dissect: s
/
m
o
de_t/usage_t/ in report_member()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg
N
esterov
d
issect: teach do_in
i
tializer() to hand
l
e the nested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
diss
e
ct: t
e
ac
h
do_expressi
o
n() to handle EXP
R
_OFFS
E
T
O
F
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oost
e
nryck
add test case for
bui
l
ti
n
bswap with
c
o
nstant arg
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Johannes Berg
impleme
n
t constant-fold
i
ng in _
_
builtin_bswap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
stenryck
fix discarded labe
l
statem
e
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
o
stenryck
Remove unneeded v
a
riab
l
e
in i
n
teger_promotion()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
W
arn on unkn
o
wn attribute
s
inst
e
ad of throwin
g
errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
c
leanup: re
m
ove evalu
a
te_arguments()
'
s unused
argum
e
nt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oosten
r
yck
make 'ignored_
a
ttributes[]' static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily Maier
l
inearize:
E
mit C99
declarations
correct
l
y
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
uc
Van Oostenryck
add m
i
ssing #
i
nclu
d
e "char
.
h" to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oo
s
tenryck
F
ix type
c
h
e
cking o
f
var
i
adic func
t
ions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
La
n
ce Richardson
sparse: updat
e
__
b
u
iltin_ob
j
ect_size() prototy
p
e
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c Van Oostenryck
f
ix
mixup in "Ha
n
dle SFor
c
e
d in storag
e
_modifiers"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
Handle SForc
e
d
in sto
r
age_modifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
R
u
i
Teng
spars
e
: add no_sanitize_address as a
n
i
g
nored
a
t
tribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance R
i
chardson
sparse:
i
gn
o
re __assum
e
_ali
g
ned__ attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ramsa
y
J
on
e
s
spar
s
e:
add
'a
l
loc_alig
n
' t
o
the ig
n
ored
a
ttrib
u
tes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Christopher
L
i
F
ix
w
arning compil
i
n
g sparse-llvm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do not drop 'n
o
cast' modifier whe
n
taking the
a
ddress
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oostenry
c
k
Fix size calc
u
la
t
ion
of unsiz
e
d bool array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
ony Camuso
Ad
d
def
a
ult case to switc
h
es on enum variables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next