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
warn if testing the address of an array
2017-02-13
L
uc Van Oostenryck
C11: teach sparse about '_N
o
return'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oost
e
nry
c
k
C11: t
e
ach spar
s
e about
'_Th
r
e
ad_local'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix value of label s
t
atemen
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenryck
missing load
simplifica
t
i
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
f
i
x phi
s
r
c
mixup
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oost
e
nryc
k
fi
x
superfluous phisrc
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
nryck
volatile lo
a
ds m
u
st not
b
e
s
i
mp
l
ified
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
unssa: upd
a
te
c
omment about the unn
e
eded co
p
ies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryc
k
u
n
ssa: eliminate trivial phisr
c
copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
un
s
sa: try to avoid so
m
e OP_P
H
I copi
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nr
y
ck
uns
s
a: simplify rewrite of OP_
P
HIS
O
UR
C
E
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oo
s
t
enr
y
ck
unssa: do not try to update liveness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryc
k
fix cast to bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an
O
ost
e
nryck
llvm:
r
emove
unneeded OP
_
COPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
l
l
vm: fix ty
p
ing
when
c
omparing t
o
a co
n
stant
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
f
i
x
typing error in
compound assig
n
men
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
a
d
d support
f
o
r __int12
8
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fi
x
m
issin
g
element in typ
e
s d
e
claration
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc V
a
n
O
ostenryck
recursive
phi_defin
e
s cannot happen
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
cgcc sho
u
ld not defi
n
e non-reserved i
d
entifiers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oo
s
tenryck
Up
d
ate maintai
n
er
s
in the manpage
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oo
s
tenryck
som
e
m
odifiers need to be preser
v
ed by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
testsuite: test modifiers p
r
e
s
e
r
v
ed by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
n
r
y
c
k
testsuite: test modifiers preserved by '&' operator
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenry
c
k
use a shor
t
er name for function-pointer-modifier-
i
n
h
e
r
i
tance
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
o
stenryck
testsuite:
simplify
t
est f
u
nctio
n
-pointer-inheritan
c
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
ck
storage should not be inher
i
ted by pointe
r
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
remove unused field 'mul
t
ijump' in struc
t
instruction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryc
k
OP_SWITCH shoul
d
use '
i
ns
n
->cond'
instead of 'insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
give
comparable
l
a
be
l
's
names t
o
b
as
i
c bloc
k
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
c
k
let "compile" not crash on
bools
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
make ptrlist walking against rob
u
st agai
n
st empty blocks
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 Van Oostenryck
add test
c
ase
f
or builtin bswap with consta
n
t args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an O
o
stenryck
fix discarded label s
t
a
tement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
Remove unneeded va
r
iable in intege
r
_promoti
o
n()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
a
n
Oostenryck
Warn
on unknown at
t
ribu
t
e
s instea
d
of th
r
owing er
r
o
r
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenry
c
k
cleanup: remove evaluate_arguments()'s unused arg
u
m
e
nt
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
ostenryck
mak
e
'ig
n
or
e
d_attributes[]' static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
ad
d
missing
#include "cha
r
.
h" to char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van O
o
s
t
e
n
ryck
F
i
x type checking of vari
a
dic f
u
nctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
fix mixup in "H
a
n
dle SForced
i
n storage_modifiers"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc
Van Oosten
r
yck
Do no
t
drop 'nocast' modifier whe
n
taking the addres
s
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oostenryck
Fix size calculation of
u
nsized bo
o
l array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van Oostenryck
Teach
s
parse about t
h
e
_
_
COUNTER__ p
r
edefin
e
d macro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc
Van O
o
s
tenryck
[PATCH] Fix member offset cal
c
ulat
i
on
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Ooste
n
ryck
[P
A
TCH] avo
i
d a cra
s
h caused b
y
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
[PAT
C
H]
remove old c
o
m
m
e
nt
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Oostenryck
[PATC
H
] uns
s
a: update
the liveness info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc Van Oostenryck
[PATCH] Rewrite of
u
nssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenryck
[PA
T
CH] A
d
d
a funct
i
o
n
to tr
a
nslate t
h
e SSA fo
r
m
b
ack
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oo
s
tenryck
[PATCH]
A
d
d
a
new
o
pcode: O
P
_CO
P
Y
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oo
s
te
n
r
yc
k
[
P
AT
C
H] makes some needlessly glo
b
al
c
ode static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
uc
V
an Oostenryck
[
PATC
H
] remove multi-
i
nclusion
g
uar
d
fr
o
m t
a
rget
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c Van Oostenryck
[PATCH] avoid segfault in add_asm_outp
u
t() afte
r
a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATCH] avo
i
d
segafult
af
t
e
r parse error
s
in casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oos
t
en
r
yck
[PATCH] avoid segf
a
ult after parse errors in
assignement
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[
P
ATCH] avoid segfault
a
fter parse errors in ar
r
ay
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Va
n
Oostenryck
[PATCH] avoid
segf
a
ult in c
h
eck_byte_count()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryc
k
[
P
AT
C
H]
a
v
oid se
g
fault in linearize_
a
sm_statemen
t
(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc V
a
n Oo
s
tenryck
[
P
ATCH] Avoid s
e
gfault when code is present afte
r
a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Luc Van Oos
t
en
r
yck
[
P
ATCH] segf
a
ult on bad ternar
y
c
ondition
a
l
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc V
a
n
O
o
stenr
y
ck
[PATCH] Fi
x
segfault on non-ANSI
function-like decla
r
ation
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
L
uc Van Oostenryc
k
[PA
T
CH] Fix SI
G
SEGV on
u
nte
r
m
i
n
a
ted
p
reprocessor conditio
n
al
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oo
s
ten
r
y
ck
[
PATCH] avoid
a
c
r
a
sh o
n
bad asm
statement
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree