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
simplify '(x / 1)' to 'x'
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
L
uc Van Ooste
n
ryck
move OP_
M
U
L simplifi
c
atio
n
in a separate
f
u
n
ction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
define _
_
LONG_MAX__ &
_
_
S
IZEOF_
P
OINTER
_
_
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
add an helper for common prede
f
ined macros
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oos
t
enryck
def
i
n
e __LP
6
4__ & _LP64 if arc
h
_m64
is ena
b
led
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryc
k
fix killin
g
OP_SETVA
L
instruct
i
ons
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oos
t
enryck
remove 'Es
c
ape
'
from to
k
e
n
character class
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
stenryck
warn
o
n unknown
e
s
ca
p
e
s
a
f
t
er pr
e
p
roc
e
ss
i
ng
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
add testcase for wrong early escape
c
onversion
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
rem
o
ve unused arg in uses/defs f
u
nctions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enryc
k
validate expression's type in condi
t
ionals
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add he
l
per: is
_
sca
l
ar_typ
e
(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
f
i
x
conditi
o
nal context test case with void
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
cleanup
k
ill_instruction()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
explicite
l
y
ignore killing OP_
E
NTRY
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killi
n
g OP_COMPUTED
G
OTO
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix killi
n
g
OP
_
SEL
E
CT
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryck
f
i
x
killing OP_CAST & fri
e
nds
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix ki
l
ling OP_PHI instructions
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
kill use
s
of rep
l
aced instructi
o
n
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
f
i
x
cras
h
while testing between conditional &
unco
n
ditional
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
fix cast's
target type info
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C
11: t
e
ach sparse about '--std={
c
1
1
,
g
nu11}'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an
Oostenryck
C1
1
:
teach sparse abo
u
t '_Alignas()
'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
C
11: teach s
p
arse
about '_Alig
n
of()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
C11: teach
s
pars
e
about
'
_Nor
e
t
u
rn'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: tea
c
h
sparse about '_
T
hread_local'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
fix value of label statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
o
s
t
enryck
m
issing load simp
l
i
f
ication
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix phisrc mixup
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
os
t
enryck
fix superfluous p
h
isrc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
vo
l
atile
l
o
a
d
s must not be simplified
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oosten
r
y
c
k
u
n
ss
a
: update com
m
en
t
about
the unne
e
ded cop
i
es
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
unssa
:
e
l
iminat
e
trivia
l
phi
s
rc copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nryck
unssa: try t
o
av
o
i
d
som
e
OP_PHI copies
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
unssa: s
i
mplify rew
r
it
e
of OP_PHISOURCE
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
uns
s
a: d
o
not try to update li
v
eness
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
fi
x
c
a
st to bool
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oost
e
nryck
llvm: re
m
ove unneeded OP_COPY support
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
sten
r
yck
llvm
:
fix t
y
p
ing wh
e
n comparing to a c
o
nstant
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryc
k
f
ix typing e
r
ror in com
p
o
und assignment
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add support for _
_
int12
8
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
f
i
x
missing
e
l
emen
t
in types dec
l
aration
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
recu
r
s
i
v
e
phi_defines ca
n
no
t
happen
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
cgcc should not d
e
fine no
n
-res
e
rved i
d
entif
i
ers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
t
en
r
yck
U
p
date
maintainers in the man
p
age
CC: Christopher Li <
sparse@chrisli.org
>
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
enryck
som
e
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 Oostenryck
t
estsuit
e
:
t
est modifiers preserved
b
y 'typeof()'
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuit
e
:
te
s
t modifiers preserved by
'
&' operator
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
use a shorter name for function-poi
n
t
e
r-modifier-inheritanc
e
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
tes
t
s
uite
:
s
implify test function-pointer-inheritance
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenr
y
ck
storage should not be i
n
herite
d
by po
i
nters
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
remove unused fi
e
ld 'multijump' in st
r
u
c
t
i
n
struction
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
n
ryck
OP_SWITCH should
u
se
'
i
n
sn->cond
'
instead
o
f 'ins
n
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
give comp
a
rab
l
e
label's names
to basic blocks
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
let "
c
ompile" not crash on bools
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
make
ptrli
s
t walking against
r
obus
t
agai
n
st
empty bloc
k
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Emily Maier
validation: Ch
e
c
k
C
99 for loop variables
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Dan
i
el
Wagner
parse: Add co
m
me
n
t to
s
t
ruct statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Ole
g
Nesterov
dissect:
s
/mode_t/u
s
age_t/ i
n
rep
o
r
t_membe
r
()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Oleg Nesterov
dissect: t
e
ach do_initializer() t
o
h
a
n
dle the
n
es
t
e
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Ole
g
N
es
t
erov
d
i
ssect: t
e
ac
h
do_expres
s
i
o
n
(
)
t
o handle EXPR_OFFSET
O
F
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add test case for builtin bswap with constant arg
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
J
o
h
a
n
n
es B
e
rg
impleme
n
t constant-f
o
ldin
g
in
__bui
l
t
i
n_bswap*(
)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
en
r
yck
fix discarded lab
e
l statement
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
R
e
move u
n
n
e
ede
d
variable in
i
nteger_promo
t
ion()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryc
k
Warn o
n
un
k
nown at
t
ributes instead o
f
throw
i
ng
erro
r
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenryck
clea
n
up: r
e
move evaluate_argument
s
()'s
unused argu
m
e
n
t
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Ooste
n
r
y
ck
make
'
i
g
no
r
ed
_
attribu
t
e
s[]'
s
t
a
tic
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
E
m
ily
Maier
linear
i
z
e
: E
m
it C99 declarations c
o
rrect
l
y
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van Oos
t
en
r
yck
add missing #include "char
.
h" to char
.
c
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c
Van Oostenryck
Fix type checking of variadic f
u
nction
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
L
a
n
ce
R
i
chardson
sparse: update _
_
built
i
n_object_size() prototy
p
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
f
i
x mixup in "H
a
ndl
e
SFor
c
ed in storag
e
_modifie
r
s"
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-11-16
Jeff La
y
ton
Handle
S
Forc
e
d
in sto
r
age_mo
d
ifiers
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-27
Rui Teng
spa
r
se: a
d
d
no_sanitize_address as an ignore
d
attribut
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Lance
R
ic
h
a
rd
s
on
sparse: ignore __assume_al
i
g
n
ed__ attribute
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Ramsay
Jones
sparse: ad
d
'allo
c
_align' to the i
g
nored att
r
ibut
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-10-13
Christopher Li
F
ix warning
compiling
sparse-l
l
vm
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do
not drop 'no
c
ast' m
o
difier when
taking the address
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oost
e
nry
c
k
Fix s
i
ze
c
alculation of u
n
sized bool
a
rray
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
Add default case to switches on e
n
u
m
varia
b
les
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-15
Tony Ca
m
uso
.
gitignore: add cscope
and Qt pr
o
ject files
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-08-04
Dan
C
arpente
r
p
trli
s
t: reading deleted items in NEXT_PTR
_
LIST()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhin
vali
d
ation
/
prototype: regression for s
k
ip
p
ing prototyp
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-14
Azat Khuzhi
n
sparse, ll
v
m
:
compil
e
: skip fu
n
c
tion prototypes to
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-06-12
H
e
iko Carstens
sparse/
p
arse
.
c: ignore hotpatch
a
tt
r
i
b
u
t
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-04-21
M
ichael Stefaniuc
Add
te
s
t
s
for the builtin INF and nan() functions
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Ard Biesheuvel
I
g
no
r
e pure attr
i
bute in as
s
igne
m
ent
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stefani
u
c
Add a def
i
ne
f
or __b
u
ilt
i
n_ms_v
a
_copy()
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-03-13
Michael Stef
a
niu
c
Ad
d
th
e
__
b
uiltin
f
unctions needed for INFI
N
ITY
a
n
d
.
.
.
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-09
Luc
Van
O
osten
r
yck
Tea
c
h
s
p
arse
a
bout the __COUNTER__ prede
f
i
ned macro
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-02-06
Chri
s
t
o
pher Li
Make macro expanded string im
m
ut
a
bl
e
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2015-01-28
Chr
i
stian Borntraege
r
s390x: add the pr
o
p
e
r
defines
f
or
data t
y
p
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-12-12
Christopher Li
P
t
r
list sorting s
h
ould use m
e
m
move instead of memcpy
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Aaro Koskinen
build: allow use
of PKG_CONFIG
to overr
i
de pkg-c
o
n
f
i
g
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
compile-i3
8
6
.
c: don
'
t ignore re
t
urn
v
alue of writ
e
(
2)
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jo
n
es
parse
.
c: remo
v
e
dupl
i
cat
e
'may_alias
'
ig
n
ored_at
t
r
ibutes
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
Ramsay Jones
cgcc
:
avo
i
d passing a spars
e
-only
o
p
t
ion to cc
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
2014-11-10
R
a
msa
y
Jones
test-s
u
ite:
remove bashism t
o
a
v
oid te
s
t failur
e
s
Signed-off-by: Christopher Li <
sparse@chrisli.org
>
commit
|
commitdiff
|
tree
next