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
add support for LLP64 arch
2017-02-13
Luc Van Oostenryck
ad
d
support
f
or LLP64 arch
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
simplify '(x
|
|
x
)' and '(x && x)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenry
c
k
simpli
f
y comp
a
ri
s
ons followed
b
y an
e
quali
t
y test agains
t
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
enryck
add
warnin
g
opt
i
on '-Wtautological-compare'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
te
n
ryck
simplif
y
'(x o
p
x
)
' to '0',
'1' or 'x
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
simplify '(x || 1)' to '1'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
s
i
mplify '~(
~
x)' a
n
d '-(-x)'
t
o 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
simplify
'
(x %
1)' into '0'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
s
implify '(x / -1)' to '-x' (but only for signed divis
i
o
n)
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 Oostenryck
simplify '
(
x / 1)' to 'x'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oosten
r
y
c
k
move OP_MUL simplifica
t
ion in a separate func
t
ion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
define __L
O
NG_M
A
X__ & __SIZEOF_POINTER__
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
osten
r
yck
add
an help
e
r
for common
pred
e
f
i
n
ed ma
c
ro
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
define __LP
6
4__ & _LP64 if
a
rch_m64
i
s
e
nabled
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryc
k
f
i
x
kill
i
ng OP_SETVA
L
instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
remove 'E
s
cape' fro
m
token
c
h
a
r
a
cter
c
l
a
ss
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
wa
r
n on
u
n
k
nown e
s
capes after preproce
s
sing
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenry
c
k
add testcase for wro
n
g early escap
e
c
o
nversion
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
r
e
mov
e
unused arg i
n
uses/d
e
fs functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oost
e
nry
c
k
v
alida
t
e expression's type in condition
a
ls
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
add
helpe
r
:
i
s_scalar_type()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
fix condi
t
ional
context test c
a
se with void
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
cleanup kil
l
_ins
t
ruction()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenryck
explicitel
y
ignore k
i
lling O
P
_ENTRY
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enr
y
ck
fix killing OP_COMPUTEDGOTO
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix killing OP_SELEC
T
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
ryck
fix killing OP_CAS
T
& friends
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenr
y
ck
fix killin
g
OP_PH
I
in
s
t
ructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n O
o
stenryck
kill uses
o
f replaced instructions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oos
t
e
n
ryck
fix cr
a
s
h
whil
e
testing
b
etwee
n
conditional & u
n
condit
i
o
n
al
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
fix cast's tar
g
et type info
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n
O
oste
n
r
y
c
k
C11: teach sparse
a
b
out '
-
-std={c11,g
n
u11}'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
C11: teach spa
r
se about '_Al
i
gnas
(
)
'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryc
k
C11: teach sparse about '_Alig
n
o
f
(
)'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach
s
par
s
e
about '_Noreturn'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryc
k
C
11:
te
a
ch sparse about '_Thread_
l
o
c
al'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
yck
fix value of label st
a
t
e
ment
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
missing
load simplif
i
cation
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
f
ix phi
s
rc
m
ixup
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
f
ix supe
r
fluous phisrc
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
vola
t
i
le lo
a
ds must n
o
t
b
e
simplified
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van
O
ostenr
y
c
k
unss
a
: up
d
at
e
com
m
ent about the unneed
e
d copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenry
c
k
unssa: elimin
a
te t
r
ivial phisrc copi
e
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
ste
n
ryck
unssa: try to avoid some OP_PH
I
copies
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
u
n
ssa: simplify rewrite of OP_PHISOURCE
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enryck
unssa: do not try
t
o update
liven
e
ss
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
V
an Oostenryc
k
llvm: rem
o
ve unne
e
ded O
P
_COP
Y
s
u
pp
o
rt
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
r
yck
llvm
:
fix typing when comparing
to
a
consta
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
ryck
fix typing error in c
o
mpound assign
m
ent
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
a
dd support for __int128
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ost
e
nryck
fix missing ele
m
ent i
n
types declaration
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
recursi
v
e phi_
d
ef
i
nes
c
annot
happen
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
cgcc should not define non-rese
r
v
e
d
identifiers
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n Oo
s
tenry
c
k
Up
d
ate
maintainers
in the 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
t
e
nry
c
k
s
ome
m
odifiers need to be p
r
eserved by
'
typeo
f
()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
testsuite: test mo
d
ifiers prese
r
v
e
d
by 'typeof()'
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
t
e
s
ts
u
it
e
:
test modifiers preserved by '&' op
e
rator
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use a
s
horter name fo
r
function-pointe
r
-
modif
i
er-inheritance
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
testsui
t
e:
simpli
f
y t
e
st function
-
p
o
inter-inheritance
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oo
s
te
n
ryck
storage s
h
ou
l
d not
be inheri
t
e
d by p
o
inters
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
remove unused fi
e
ld
'
multijum
p
' in struct instruction
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
OP_SWI
T
CH should use 'insn->co
n
d'
instead
of
'
insn
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
give compa
r
able label's na
m
es to basic blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
l
et "compile" not crash
o
n bools
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
make ptrlis
t
walking aga
i
n
st ro
b
ust aga
i
nst empty blocks
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Emily Ma
i
er
validati
o
n: Chec
k
C
99 for loop vari
a
bles
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Dan
i
el Wa
g
ne
r
pars
e
: Add comment to
s
truct stat
e
me
n
t
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
leg Nesterov
d
i
s
se
c
t:
s/mode_t
/
usage_t/ in repo
r
t
_
m
e
m
b
er
(
)
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
O
l
e
g Nesterov
dissect: teach do_i
n
itializer(
)
to
h
a
n
dle the nested
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Ol
e
g Nesterov
di
s
sect: te
a
ch do_exp
r
e
ssion() to han
d
le EXPR_OF
F
SETOF
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
add test ca
s
e fo
r
builtin bswap
w
i
t
h
const
a
nt args
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
J
ohannes
B
erg
implement const
a
nt-foldin
g
in __
b
u
iltin
_
bswap*()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix di
s
c
arded label
statement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
Remove unnee
d
ed variable in
integer_promot
i
on()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oos
t
e
n
ryck
Warn
o
n
unknown attribu
t
es instead
o
f
throwing errors
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
clean
u
p: r
e
mov
e
evalua
t
e_a
r
gu
m
ents()'s un
u
se
d
argument
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc V
a
n
Oostenryc
k
make 'ignored
_
attrib
u
tes[]'
static
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Emily
M
aier
li
n
earize: E
m
it C99
declarations corre
c
tly
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c
Van Oostenry
c
k
add missing #include "char
.
h"
to char
.
c
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Ooste
n
ryck
Fix type chec
k
ing o
f
variadic functions
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
L
a
n
ce Richardson
sparse: upd
a
te
_
_
builtin_ob
j
ec
t
_size() prototype
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Ooste
n
ryc
k
fix mixup
in "Handle SForced in stora
g
e_modifi
e
r
s
"
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-11-16
Jeff Layton
Ha
n
dle SForced in storage_modifier
s
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-27
Rui Te
n
g
sparse: add no_sanitiz
e
_address
a
s
an ig
n
or
e
d attribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Lance Richardson
sparse: ig
n
ore __assume_align
e
d__
attr
i
b
u
te
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
Ra
m
say
J
ones
sparse: a
d
d 'alloc_align' to the ignored attribu
t
es
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-10-13
C
h
r
i
stopher Li
F
i
x
warning
c
ompiling spa
r
se-
l
l
vm
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-22
Luc
Van
O
ostenryck
Do not drop 'nocast' modifier when taking the addres
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oostenryck
Fix
s
ize calculat
i
on of un
s
iz
e
d bool array
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
T
ony
C
amuso
Add default case to switch
e
s on
enum var
i
ables
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-15
Tony Camuso
.
g
i
tigno
r
e: add cs
c
ope and Qt project
files
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-08-04
Da
n
Carpenter
p
t
rlist: reading
d
e
l
e
ted items in NEXT_PTR_LIST()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
A
z
a
t
Khuzhin
validation/protot
y
pe:
regression
f
o
r skipping prototypes
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-14
A
z
at Khuzhin
spa
r
se, llvm: compile
:
skip function prototypes t
o
.
.
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-06-12
Heiko Carste
n
s
sparse/pars
e
.
c
:
ignore hotpat
c
h at
t
ribute
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-04-21
Michae
l
Stefaniuc
Add
t
e
s
ts
f
or t
h
e
b
u
iltin INF
and nan
(
)
f
u
n
ction
s
.
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
Ard Biesheuvel
Ignore pure attri
b
ute in assignement
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
2015-03-13
M
i
ch
a
el Stefaniuc
Ad
d
a
de
f
ine fo
r
_
_bui
l
tin_ms_va_
c
opy()
Signed-off-by:
Christopher Li
<sparse@chrisli.org>
commit
|
commitdiff
|
tree
next