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
fix: kill unreachable BBs after killing a child
2017-02-13
Luc Van Oostenryck
r
e
m
ove unu
s
e
d arg
i
n
u
s
e
s
/
defs
f
unctions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
validat
e
expression's type in con
d
itionals
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add helper: is_scal
a
r_type()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenr
y
ck
f
ix condit
i
onal cont
e
xt test case with vo
i
d
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenryck
cleanup k
i
ll_in
s
truction()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
explicitely ignore killing O
P
_E
N
T
R
Y
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix killi
n
g OP
_
COMPUTEDGOTO
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oosten
r
yck
fi
x
killing
OP_SELECT
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
yck
fix kil
l
i
n
g
OP_CAST & friends
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
fix kill
i
ng OP_PHI instructions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
kill uses of replaced
ins
t
ructions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
yck
fix
crash while
testin
g
between
conditio
n
a
l
& uncondi
t
ion
a
l
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
f
ix
cast's target type info
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
ste
n
ryck
C11: teach spa
r
se about '--std={c11,gnu11}'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenry
c
k
C11: teach sparse about '_Ali
g
nas()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
C11: te
a
ch sparse about
'_Alignof()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenr
y
ck
C1
1
: teach sparse about '_Noreturn'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Ooste
n
ryc
k
C11: teach sparse a
b
o
u
t '_Thread_local'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix value of
l
abel state
m
ent
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oosten
r
yck
missing load simplification
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix phisrc
m
i
x
up
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix
s
up
e
rf
l
uous ph
i
s
r
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
volat
i
le load
s
m
u
st not
be simplified
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
uns
s
a: up
d
ate comment about t
h
e unn
e
eded c
o
pies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Ooste
n
ryck
u
nssa: eliminate
t
r
ivial phisr
c
c
o
pies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
n
ssa: try to
avo
i
d s
o
me OP_PHI co
p
ies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
u
nssa: sim
p
lify rew
r
it
e
of OP_PHIS
O
URCE
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an
O
ostenryck
unssa:
do not t
r
y
to update liveness
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix c
a
st to
bool
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
llvm: remove
u
nneeded O
P
_CO
P
Y support
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenry
c
k
llvm: fix t
y
p
ing w
h
en comparing to a consta
n
t
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nryck
fix
t
yping error in
comp
o
und
a
ssignment
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
add support for __int128
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
ostenryck
fix
m
issing
ele
m
e
nt in types declaration
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
recursive phi_
d
e
fines cannot happen
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenr
y
ck
cgcc shoul
d
no
t
de
f
i
n
e non-reserved identifiers
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryc
k
U
p
date maintainers in
t
h
e
m
a
npage
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenry
c
k
some
modifier
s
need to be
preserve
d
by 'typeof()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
stenryck
testsuite: test modi
f
iers preserv
e
d by
'
typeof()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
t
e
stsuite: test modifiers prese
r
ved by '&' oper
a
tor
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
use a shorter name
f
or functio
n
-
p
ointer-modifier-inheritance
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
tests
u
ite: simplify tes
t
function-pointer-inheritance
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
storage should not
b
e inh
e
rited by point
e
rs
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenr
y
ck
r
emove unu
s
ed fi
e
ld
'
multiju
m
p' in struct instruction
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
g
i
ve comparabl
e
label's na
m
es t
o
basi
c
blocks
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
let "comp
i
l
e" not
c
r
ash
o
n b
o
o
ls
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
n
ryck
make
pt
r
list wal
k
ing agains
t
robust again
s
t
empty blocks
...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 te
s
t ca
s
e for b
u
i
l
ti
n
bswap with co
n
stant
a
rgs
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
nryck
fix
d
iscarded label statement
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
Remov
e
unneeded varia
b
le in
int
e
g
e
r_promotion()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nryc
k
Warn
on unknown
attributes instead of th
r
owing errors
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oosten
r
yck
c
l
eanup: remove ev
a
lu
a
te_argume
n
t
s
()
'
s unused
a
rgu
m
e
n
t
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Ooste
n
r
yck
ma
k
e 'ignore
d
_attribut
e
s[]' st
a
ti
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc
Va
n
Oostenryc
k
add miss
i
ng
#inc
l
ud
e
"cha
r
.
h"
t
o char
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c V
a
n
Oostenryck
F
ix type checkin
g
o
f
variadic f
u
nctions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
fix mi
x
up in "Hand
l
e SForced
i
n s
t
or
a
ge_modif
i
ers"
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do not
d
r
op 'nocast' modifier w
h
en taking the address
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oost
e
nryck
Fi
x
size calculation of unsized bool array
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2015-02-09
Luc Van O
o
stenryck
Te
a
ch sparse about
t
he __CO
U
NTER__ pr
e
d
efined macro
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree