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
simpli
f
y '(x * -1)
'
to '-x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
simpl
i
fy '(x / 1)'
t
o 'x'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
move OP_MUL simpl
i
fication in a separate function
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
de
f
in
e
__LONG_MAX
_
_ & __SI
Z
EOF_POINTE
R
__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
add
an he
l
per for common
p
redefined
m
a
cros
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
define __
L
P64_
_
&
_
L
P64 i
f
a
r
ch_m64 is ena
b
led
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
killing OP_SETV
A
L inst
r
u
ctions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
remove 'Escape' from to
k
e
n ch
a
r
a
cter class
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
stenryc
k
warn on unknown esc
a
pes
after preproce
s
sing
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryck
add testcase for wrong early
e
s
cape con
v
ersion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
remov
e
unused arg in uses/def
s
functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
v
a
lidate
e
xpression's typ
e
i
n
conditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
oste
n
ryck
add helper: is_scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Oostenr
y
ck
fix conditiona
l
context test case with void
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oosten
r
yc
k
c
l
eanup
k
ill_inst
r
uction()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Ooste
n
ry
c
k
explici
t
ely ignore kil
l
i
n
g OP_ENTRY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix killing OP_C
O
MPUTEDGOT
O
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
fix killing
OP_
S
ELECT
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix
k
i
l
ling OP_CAST & friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
Oostenryck
fix kill
i
ng OP_PHI instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oost
e
nryck
kill use
s
of replaced instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix
crash while
testing between condition
a
l
& u
n
conditional
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
f
i
x cast's target ty
p
e info
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: teach spar
s
e about
'--std
=
{c1
1
,gnu11}
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
C11: teach spa
r
se about '
_
Alig
n
as(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
C11
:
tea
c
h s
p
arse about '_Aligno
f
()
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oo
s
t
e
nr
y
ck
C11:
t
each sparse ab
o
ut '_Noret
u
rn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11:
teach spa
r
se a
b
o
ut '_
T
hr
e
a
d_lo
c
al'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
ostenryck
fix va
l
ue o
f
label statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
missi
n
g lo
a
d simplifica
t
ion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenry
c
k
fix ph
i
src
m
ixup
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nry
c
k
fix superfluous phisrc
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
volatile loads must
n
ot be s
i
mplif
i
ed
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryc
k
unssa: upda
t
e
c
o
m
m
ent about the unneeded
copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
u
n
ssa
:
elim
i
nate tr
i
vi
a
l phisrc copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oo
s
ten
r
y
ck
u
nssa
:
try to avoid some OP_PHI
c
opies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
unssa: simplify
r
ewrite o
f
OP_PH
I
SOURCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
unssa:
d
o
not try to upd
a
te liveness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix cast
to bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
llvm:
remove unneeded OP
_
C
OPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
llvm: fi
x
t
yping wh
e
n comparing
t
o
a
c
onst
a
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix ty
p
ing error in co
m
p
o
und ass
i
gn
m
e
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oo
s
tenryc
k
add suppor
t
for __in
t
128
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enr
y
ck
f
ix missing element
in
t
ypes de
c
laration
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
recu
r
s
i
ve phi
_
d
e
fines
cann
o
t h
a
p
pe
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryc
k
c
gc
c
should not define
non-reserved identifiers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ry
c
k
Update maintainers
i
n the manpage
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
some
m
odifiers need
to
b
e
prese
r
v
ed by
'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
tes
t
suite: test modifiers preserved b
y
'typeof
(
)'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsui
t
e: test modi
f
iers preserved b
y
'&' operator
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
ten
r
y
c
k
u
se a sho
r
ter na
m
e
for fun
c
tio
n
-
pointer-modifier-inher
i
tan
c
e
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
testsuite:
simp
l
ify test
f
u
nction-pointer-inherita
n
c
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
storage shoul
d
not be inherited
by
pointer
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
Oostenryc
k
re
m
ove unused field 'mult
i
j
ump'
i
n
struct instruction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
OP_
S
WITCH sho
u
ld use 'insn->
c
ond' instead of
'
insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oo
s
tenryck
give comparable
l
abel
'
s names to basic blocks
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
let "compi
l
e" not
c
rash on bools
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
make ptrlist
w
alking
a
gainst
robust agai
n
st empt
y
bl
o
cks
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
Lu
c
V
a
n Oostenry
c
k
add test c
a
se f
o
r bui
l
tin
bswap with constant args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Ooste
n
ryck
fix discarded label stat
e
ment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oostenryc
k
Remove u
n
n
eeded varia
b
le in integer_
p
romotion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
Warn on unkno
w
n attri
b
ute
s
i
nstead
of thr
o
wi
n
g er
r
ors
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
c
l
eanup: remove evaluate_arguments
(
)'s
unused a
r
gument
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
m
a
k
e
'
i
g
nored
_
a
t
tributes[]
'
static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
add m
i
ssing #inclu
d
e "char
.
h" to char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc V
a
n O
o
s
ten
r
yc
k
F
i
x ty
p
e checking of var
i
adic fun
c
tions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Oostenryck
fix mixup in "H
a
ndle SForced in storage_modif
i
e
rs"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oost
e
n
r
yck
Do n
o
t drop
'nocast'
mo
d
ifier
when takin
g
the address
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc
Van Oostenry
c
k
Fix siz
e
calculatio
n
of unsized bool
array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
L
u
c Van Oostenryck
T
e
ach sparse ab
o
ut
th
e
__C
O
UNTER__ predefined macro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc Van Oosten
r
yck
[PATCH] Fix me
m
b
e
r offset
calculati
o
n
commit
|
commitdiff
|
tree
2005-11-26
L
uc Van Oostenryck
[PATCH] avoid a crash caused by
t
h
e
phisrc OP_COPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
L
u
c Van O
o
s
tenryck
[PAT
C
H] re
m
ove old
c
omment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Va
n
Oostenryck
[
PATCH] unssa: updat
e
the liveness
info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc
Va
n
Oosten
r
yck
[
PATCH] Re
w
ri
t
e of
u
n
ss
a
()
.
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
fun
c
tion to transl
a
t
e
the SSA form
b
ack
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenryck
[PATCH] Add a
n
ew opcode: OP
_
COPY
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van O
o
stenryc
k
[
P
A
TCH] make
s
some nee
d
lessly global code static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c Van
O
osten
r
yck
[PATCH] remove multi-inclusio
n
gua
r
d fro
m
tar
g
e
t
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oos
t
enryck
[PATC
H
]
a
v
oid segfault
in add_asm
_
out
p
ut()
after
a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATC
H
]
av
o
i
d segafu
l
t after parse errors in casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
uc Van Oostenryck
[PATCH
]
a
void segfault after pars
e
errors in assignements
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oo
s
t
e
nryck
[PATCH] avoid segf
a
ult after pa
r
s
e errors in array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
an Oostenryck
[PATC
H
] avoid s
e
gfault in ch
e
c
k_byte_count()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Ooste
n
ryck
[PATCH] avoid
s
egfault in
linea
r
iz
e
_asm_stat
e
men
t
(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc V
a
n Oostenryck
[
P
ATCH]
Avoid s
e
gfault w
h
en code is pre
s
ent afte
r
a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Luc Van Oostenryck
[PA
T
CH] seg
f
a
u
lt on bad ternar
y
conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van
O
o
s
tenryck
[PA
T
CH] Fix segfault
on
n
on-ANSI
f
un
c
tion-like declaration
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van
Oostenryck
[PATCH] F
i
x SIGSEGV on
u
nterminated preproc
e
s
sor conditiona
l
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Lu
c
Van
O
os
t
enryck
[P
A
TCH] a
v
oid a
crash
o
n bad asm statem
e
nt
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree