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
teach sparse about -Waddress
2017-02-13
Luc Van Oostenryck
fix
p
hisr
c
mixup
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix superf
l
u
o
u
s phi
s
rc
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
v
olatile loads must
not
be simplifi
e
d
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oosten
r
yck
unssa: upd
a
te com
m
ent about th
e
unne
e
ded copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
n
s
s
a: eliminate trivial phisr
c
c
o
pies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
stenryck
unssa
:
try to avoid some OP_P
H
I
copi
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenryck
unssa: s
i
mplif
y
rewrite of O
P
_P
H
ISOURCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryck
u
n
ssa: do
not
t
r
y
to update liveness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oostenryck
fix cas
t
to bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enry
c
k
l
l
v
m: r
e
move unn
e
eded O
P
_COPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenry
c
k
llvm
:
f
ix typing w
h
en
c
omparing
to
a
c
o
nstant
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenryck
fix t
y
ping error
i
n comp
o
und assignment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nryck
a
d
d support for __int12
8
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
t
e
n
ryck
f
ix missing element in types dec
l
ara
t
ion
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
recursiv
e
ph
i
_def
i
nes
cannot hap
p
en
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
c
g
cc s
h
o
u
ld not define non-
r
eserved identifiers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
r
yck
Update mai
n
tai
n
er
s
in t
h
e
m
anpag
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
some mod
i
fiers
need to be pr
e
served by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
testsuite: tes
t
m
odifiers preser
v
ed by 'type
o
f(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
testsuite: test
m
od
i
f
i
e
rs
p
reserved
b
y
'
&' oper
a
tor
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenry
c
k
use a shorter name for fu
n
ction-pointer
-
mod
i
fier-i
n
herit
a
nce
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
Oostenryck
test
s
uite: si
m
plify test function-pointer
-
inh
e
ritance
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
stor
a
ge should not be inheri
t
ed by p
o
inters
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ost
e
nryck
remove unused field 'multijump' in st
r
u
ct
i
nstruction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
ryck
OP_SWITCH
s
ho
u
ld
use 'insn->cond' instead
o
f 'insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van
O
ostenryck
give comparable
lab
e
l's na
m
es to b
a
sic blocks
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
let "compile"
not crash
o
n b
o
ols
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
m
a
ke ptrlis
t
walking against rob
u
st again
s
t empty b
l
o
c
ks
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
a
dd t
e
st case for builtin bswap with c
o
nsta
n
t args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
sten
r
yck
fix d
i
scarded lab
e
l statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oost
e
nryck
R
e
move unneeded va
r
iable in i
n
teger
_
promotion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oost
e
nryck
W
arn
o
n
un
k
no
w
n
a
ttr
i
b
u
tes instead of throwing err
o
rs
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
cleanup: re
m
ove evaluate_arguments()'s unused argument
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
O
o
ste
n
r
yck
make 'ignored_a
t
tributes[]' static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Van Oostenryck
a
d
d
missi
n
g
#include "c
h
ar
.
h"
t
o char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
L
uc
V
an Oostenryck
F
i
x type checking of variadic fun
c
tio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van O
o
ste
n
ryck
fix mi
x
up
i
n "Hand
l
e SForced in storage_mo
d
ifiers"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van
Oost
e
nr
y
ck
D
o not drop 'nocast' m
o
difier wh
e
n taking the address
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oo
s
tenryck
Fix size calculat
i
on of un
s
ized bool array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
Luc Va
n
O
ost
e
nry
c
k
Te
a
c
h
sparse abou
t
t
h
e
__COUNTER__ predefined macro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc V
a
n
O
os
t
enry
c
k
[P
A
TCH] Fix member offset calculation
commit
|
commitdiff
|
tree
2005-11-26
Luc V
a
n
Oosten
r
yck
[PATCH] avoid a crash caused b
y
the ph
i
src OP_COPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Lu
c
Van Oos
t
enryck
[PATCH] rem
o
ve old comment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc
Van Oos
t
enryck
[PATCH] unssa: updat
e
the l
i
v
e
ness info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
L
u
c
Va
n
Oostenry
c
k
[
P
ATCH] Rewri
t
e of unssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van
Ooste
n
ryck
[PATC
H
] Add a f
u
n
ction
t
o translate the SSA form
b
a
ck
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
L
uc Van Oos
t
enryck
[PATCH
]
Add a new
opcode: OP
_
COPY
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
uc V
a
n Oostenryck
[
PA
T
CH] makes
s
ome needle
s
sly g
l
o
b
al co
d
e static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Ooste
n
ryck
[PATC
H
] remove multi-inclusion gu
a
rd fr
o
m target
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
an
O
ost
e
n
ryck
[PATCH] avo
i
d segfault in
a
d
d_a
s
m_
o
utpu
t
() after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATCH] avoid segaf
u
lt after parse
e
r
r
ors in casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van O
o
stenryck
[PATCH] av
o
i
d segfault afte
r
parse errors
in assi
g
nements
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
O
o
s
te
n
ry
c
k
[PAT
C
H] avoi
d
s
egfault
a
f
t
e
r parse err
o
rs in array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
Van Oostenr
y
ck
[PATCH] avoi
d
segf
a
ult
in ch
e
c
k_byte_c
o
unt
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c V
a
n O
o
stenryck
[PA
T
CH] av
o
id
segfault i
n
lin
e
arize_asm_statem
e
nt(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Lu
c
Van
O
ostenry
c
k
[PATCH]
A
void seg
f
aul
t
when
code
i
s pres
e
nt after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Luc
V
an Oosten
r
yck
[
P
ATCH] segfault on bad ternary conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oost
e
nryck
[
PATCH] Fix segfault
on n
o
n-ANSI function-l
i
ke decl
a
r
ation
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Va
n
O
ostenryck
[
PATCH] Fix SIG
S
EGV on unterminated preprocessor conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oos
t
enryck
[PATCH] avoi
d
a
crash
on
bad asm statement
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree