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 Va
n
Oostenr
y
ck
sim
p
lify
'
(
x
/
1)' to 'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
move OP_MU
L
simplificat
i
on in a separa
t
e function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n
Oostenryck
d
e
fine __LONG_MA
X
__ & __SIZEOF_P
O
INTER__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
add an hel
p
e
r
f
or commo
n
predefined macros
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
t
enryck
define __LP64__ & _LP64 if arch_m64 is enabl
e
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
t
enryck
f
ix k
i
ll
i
ng OP_SETVAL instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
c
k
remove
'
E
scap
e
' from token chara
c
ter class
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
warn
on unknow
n
es
c
apes after prep
r
ocessing
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add
testcase
f
or wrong
e
arly escape con
v
e
r
sio
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nry
c
k
remov
e
u
nused ar
g
in uses/d
e
f
s
functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oos
t
enryck
valida
t
e exp
r
e
s
sion's ty
p
e
i
n condit
i
onals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
a
dd hel
p
er: is_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
enryck
f
i
x cond
i
ti
o
nal cont
e
xt
test case with
v
oid
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
cleanu
p
kill_instr
u
ction()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
e
x
plici
t
el
y
i
g
no
r
e
killing OP_ENTRY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
fix
k
illing OP_COMPUTEDGOTO
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryck
fix
k
illing OP_SELECT
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
i
x killing
OP_CAST & fri
e
nds
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Ooste
n
r
yck
fi
x
ki
l
ling
O
P_P
H
I instruc
t
io
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
kill uses
o
f replaced instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
fix crash while testing
b
etween conditio
n
a
l
&
un
c
o
n
diti
o
nal
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
fix cast
'
s
target type
info
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
C
11:
t
eac
h
spar
s
e about '--std={c11,gnu11}'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
C
11: teach s
p
a
r
s
e
about '_A
l
igna
s
()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
C11: teac
h
sparse about
'_Alignof
(
)'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
yck
C
11: teach sparse about '_Noreturn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: te
a
ch sparse about '_Thread_lo
c
al'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix value of label statem
e
nt
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oos
t
en
r
yck
missing load simplification
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenr
y
ck
fix phisrc
mixu
p
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix supe
r
fl
u
ous phisrc
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
volatile lo
a
d
s mus
t
not b
e
simpli
f
ied
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oos
t
enryc
k
unssa: update comment about the unne
e
ded
co
p
ies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
O
o
stenryck
u
n
ssa:
e
l
i
minate triv
i
al
p
hisrc copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenry
c
k
uns
s
a: try to
avoid som
e
OP_PH
I
copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
un
s
sa: simpli
f
y rewrite of OP_PHIS
O
URCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryck
uns
s
a: do not tr
y
t
o upda
t
e liven
e
ss
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast t
o
bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oosten
r
yck
l
l
v
m: remove unneed
e
d OP_COPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
l
lvm: fix typing when comparing to a co
n
stant
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
fix typing er
r
or in
compound assi
g
nment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oo
s
tenryck
add support for __int128
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oos
t
enryck
fix missin
g
elem
e
n
t
in types de
c
lara
t
ion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van
O
os
t
enryck
r
ecursive phi_
d
efines ca
n
not happ
e
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
cg
c
c should not
d
efine non-res
e
rv
e
d identifier
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
osten
r
yck
U
p
date maintainers in the manpage
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oos
t
enryck
some modifiers need to be pre
s
erved by 'typeof
(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
e
stsuite: test modi
f
i
e
rs p
r
eserved by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
testsu
i
t
e
:
test
m
odifier
s
p
reserved
b
y '&' operator
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
use a
s
h
o
rter na
m
e
for
function-poin
t
e
r-modifier-inheritance
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
testsuite:
simplify test
f
unction-pointer
-
inheritanc
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oos
t
enryck
s
t
orage should not be
inher
i
ted
by poi
n
t
e
rs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
remov
e
unused fiel
d
'multijum
p
'
in struc
t
instruc
t
ion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
OP_SWITC
H
sho
u
ld
u
se 'insn->cond' inst
e
ad of 'insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
give co
m
p
arable label's names
t
o basi
c
b
locks
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
let "c
o
mpile" not crash on b
o
ols
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryc
k
make ptr
l
ist walking
against r
o
bust against empty bl
o
ck
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
Tested-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
tenryck
ad
d
t
e
st ca
s
e
f
o
r builtin bswap with c
o
nstant args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
stenryck
fi
x
discarded label statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
Remove
unneeded variable
i
n integer_
p
romotion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
Warn on
u
nknown attrib
u
t
e
s
instea
d
o
f throwing e
r
rors
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
cleanup: re
m
ov
e
evaluat
e
_
argume
n
ts(
)
's unused argumen
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Oostenryck
m
ake '
i
gnored_att
r
ibutes[]'
s
t
atic
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Ooste
n
ry
c
k
ad
d
m
i
ssing #inclu
d
e
"
c
h
ar
.
h" to char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc V
a
n Oostenryck
Fix type ch
e
cking of variadic functi
o
ns
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
oste
n
ryck
fix mixup in
"Handl
e
SForced in storage_modifiers"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
L
uc Van Oo
s
tenryck
Do not drop 'nocast' modifier
when
t
aking the address
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc V
a
n Oostenryck
Fix size calculat
i
on of unsize
d
b
ool arra
y
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van O
o
stenryc
k
Teach sparse abou
t
th
e
__COUNTER__
predefined macro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc
V
an Oostenryck
[PATCH
]
Fix membe
r
offset c
a
lculat
i
on
commit
|
commitdiff
|
tree
2005-11-26
L
u
c
Van Oostenryc
k
[PATCH] avoid
a
crash c
a
used by the p
h
isrc OP
_
COPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Oostenryck
[PATCH] rem
o
v
e old comment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Oostenr
y
ck
[PATCH] unss
a
: update
the liveness info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc Van
O
osten
r
yck
[PATCH] Rewrite of unssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenryck
[PATCH] Add
a function to translate the SSA
form
b
ack
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oos
t
e
nr
y
ck
[PATCH]
A
dd a new opcod
e
: OP_COPY
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
uc Van Oos
t
enryck
[PATCH
]
makes
s
ome
need
l
essly
gl
o
bal
c
ode st
a
tic
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oos
t
enryck
[P
A
TCH] remove mult
i
-inclusion
guard from target
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van O
o
stenryck
[PATCH] av
o
id segf
a
ult
in a
d
d_asm_output() after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
uc V
a
n Oostenryck
[
PATCH] avoid segaf
u
lt
after
pars
e
error
s
in casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PA
T
CH] avoid segfaul
t
after par
s
e error
s
in as
s
igne
m
e
nts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc V
a
n Oostenryc
k
[PAT
C
H] avoid segf
a
ult
after parse err
o
rs in array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
O
ostenryck
[
P
ATCH]
a
voi
d
s
egf
a
ult
i
n c
h
eck_by
t
e_count()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
an Oostenryc
k
[P
A
TCH] avoid se
g
f
a
ult in
linearize_asm_state
m
ent(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Lu
c
V
a
n
Oos
t
enryck
[PATCH] Avoid segfault when code is p
r
esen
t
after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Luc Van Oosten
r
yck
[PAT
C
H] seg
f
ault on bad te
r
nary co
n
d
i
tional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oostenryck
[
PATCH] Fix segfault on non-A
N
SI function-like
d
eclaration
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
L
u
c Van Oostenryck
[PATCH
]
Fix SIGS
E
G
V
on unt
e
r
m
i
nated preprocessor cond
i
tio
n
al
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van O
o
s
ten
r
yck
[
P
ATCH]
a
void
a
crash on bad asm stat
e
ment
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree