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
avoid warning on explicit 'bool <- restricted' casts
2017-02-13
Luc Van O
o
stenryck
remove
u
nused arg in use
s
/
d
e
f
s func
t
ions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
va
l
idate expre
s
sion's ty
p
e in conditionals
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
a
dd he
l
p
e
r:
i
s_s
c
alar_
t
ype()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
fix
c
on
d
i
t
ional
c
ontext test case with void
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oo
s
tenryck
cl
e
a
n
up kill_
i
nstruction()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
explic
i
tely i
g
nore killing OP_ENTRY
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
fix
k
i
l
l
i
ng OP_COM
P
U
T
EDG
O
TO
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
fix killing OP_
S
E
LECT
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fi
x
killing OP_CAST &
friends
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenr
y
ck
fix killing OP_PHI instructio
n
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
k
ill uses
of replaced instructions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cr
a
sh while testing
between conditional & u
n
cond
i
tional
.
.
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix cast's t
a
rge
t
type info
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van O
o
stenryck
C11: teach spar
s
e about
'
--std
=
{c11,gnu11}'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Ooste
n
ryck
C11:
t
e
ach sparse about
'_Alignas()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
C11:
t
e
a
ch sparse about
'
_Align
o
f()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
os
t
enryck
C11: teach sp
a
rse about '_Noreturn
'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C11:
t
each sparse
about '_Thread_l
o
cal'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
st
e
nry
c
k
f
ix va
l
ue of labe
l
statement
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenry
c
k
missing load s
i
mplificatio
n
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
f
ix
p
hisrc
m
i
xup
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix superf
l
uous phisrc
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
volatile loads must n
o
t be sim
p
li
f
i
e
d
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oost
e
nryck
unss
a
: upda
t
e
comme
n
t about the
u
nneede
d
copi
e
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
unssa: elim
i
nate trivia
l
p
hisrc copies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
ten
r
yck
unssa:
tr
y
to
a
void some
O
P_PHI copies
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
un
s
sa: si
m
pli
f
y rewrite of OP_PHISOURCE
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
uns
s
a
:
do
not try
t
o up
d
ate live
n
ess
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenryck
f
ix
c
ast to
b
oo
l
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
O
os
t
enryck
ll
v
m
:
r
e
move u
n
needed OP_COPY support
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryc
k
llvm: f
i
x typing when compa
r
i
n
g t
o
a constant
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fix typing erro
r
in compound assi
g
nment
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
add s
u
pp
o
rt for __in
t
1
2
8
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix missing element
in
types
dec
l
ar
a
t
i
on
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
recursive phi_de
f
ines cannot happe
n
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
c
gcc should
not de
f
ine non-r
e
served iden
t
ifiers
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
U
pdate
main
t
aine
r
s
in the manpage
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenry
c
k
some
modifi
e
rs
n
eed to be p
r
ese
r
ved by
't
y
p
e
of()
'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
ste
n
ryck
test
s
uite:
t
es
t
modif
i
e
r
s preserved by 'type
o
f()'
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
ostenryck
testsuite: test
m
odifiers preserved by '&' operator
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nry
c
k
u
se a shorter name for
function-pointer-modifier-in
h
eritance
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oo
s
tenry
c
k
testsuit
e
: simplif
y
test
function-pointer-inhe
r
itance
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enry
c
k
storage should n
o
t be inherited by pointer
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oostenryc
k
remove
u
nused
f
ield 'multijump'
in struct instr
u
ct
i
on
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
giv
e
comparable label
'
s names
to basic blocks
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
let "co
m
pi
l
e
" not crash on bo
o
l
s
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
make p
t
rlist walking again
s
t robu
s
t against e
m
pty blo
c
k
s
...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 t
e
st
c
as
e
for bui
l
tin
b
swap wi
t
h constant args
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
fix discar
d
ed label state
m
en
t
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
R
emove unneeded varia
b
le in integer_promotio
n
()
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
W
arn
o
n unknown a
t
tributes i
n
ste
a
d
of throwi
n
g errors
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
V
an Oosten
r
yck
cleanup: remove
ev
a
luate
_
arg
u
ments()'s un
u
sed argument
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oo
s
t
enryck
m
a
k
e 'ignored_att
r
i
b
u
tes[]' stat
i
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van
Oostenryck
a
d
d missing #include "char
.
h" t
o
c
h
a
r
.
c
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fix type checki
n
g of variadic f
u
nctions
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2017-01-27
Luc Va
n
Oostenryck
fix m
i
xup in "Handle SForce
d
i
n
storage_
m
o
d
ifiers"
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do not drop
'
n
ocast' modifier when taking the addre
s
s
.
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2016-02-04
Luc Van Oostenryck
F
i
x siz
e
c
a
lcu
l
a
tion o
f
unsized
b
ool
a
r
ray
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree
2015-02-09
L
u
c
Van
O
o
s
tenryck
Teach sparse about the __COUNT
E
R__ predefined
m
acr
o
...off-by: Luc Van Oostenryck <
luc.vanoostenryck@gmail.com
>
commit
|
commitdiff
|
tree