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
remove unused arg in uses/defs functions
2017-02-13
Luc
V
an Oostenry
c
k
remove unused arg
i
n
uses/defs func
t
ions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
ryc
k
va
l
idat
e
ex
p
ression
'
s type
i
n
conditio
n
als
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
a
d
d
h
e
lper: is_
s
c
a
lar_type
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cond
i
t
i
onal co
n
text
tes
t
c
ase wit
h
void
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
cl
e
anup kil
l
_inst
r
uction()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oostenryck
exp
l
icitely igno
r
e ki
l
lin
g
OP_EN
T
RY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oos
t
en
r
yck
fix killing
O
P_COMPU
T
EDGO
T
O
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
ix killing OP_SEL
E
CT
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oostenryc
k
fix killing OP_CA
S
T
& friends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenry
c
k
fix
killi
n
g
OP_PHI instructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
kill us
e
s of replaced inst
r
uctio
n
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
f
ix crash whi
l
e
testing between con
d
itiona
l
& uncondi
t
ional
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
fix cast'
s
target type
info
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Ooste
n
ry
c
k
C11:
t
e
ach spar
s
e about '--std={c11,
g
nu11}'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
os
t
enryck
C11:
t
each
sp
a
rse ab
o
u
t
'_Alignas(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C11: t
e
ach spars
e
about '_Alignof
(
)'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
C
11:
t
each sparse about
'
_Noreturn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
C
1
1: teach sparse about
'
_Thread_local'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
fix
v
a
lue
o
f label statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Ooste
n
ryck
mis
s
ing load simplificati
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
O
o
stenryc
k
f
ix phis
r
c mixu
p
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
Oostenryck
fi
x
sup
e
r
fluo
u
s
p
h
i
src
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
v
o
latile loads m
u
st not
be simplified
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
n
s
sa:
u
p
d
ate c
o
mment abou
t
the unneeded
c
opies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oost
e
nr
y
ck
uns
s
a
:
e
l
i
m
inate t
r
ivial p
h
isrc cop
i
es
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
unssa: try to
avoid some
O
P_PHI cop
i
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
s
tenryck
u
n
ssa:
simpl
i
fy rewrit
e
of O
P
_PHIS
O
U
RCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
enryck
unssa
:
d
o not try to update
l
i
v
eness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Ooste
n
ryck
fix cas
t
to
bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oo
s
tenryck
llvm: rem
o
ve unneed
e
d O
P
_COPY suppo
r
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n
Oo
s
tenryck
llvm
:
fix
typin
g
wh
e
n co
m
paring
t
o
a
c
onst
a
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
f
i
x typing error in compound assignment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
a
n Oostenryck
add support f
o
r __int
1
28
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
fix mis
s
ing element in types dec
l
arat
i
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
y
ck
rec
u
rsive phi_de
f
i
n
es cannot happe
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
c
gcc should not def
i
ne non-reserved identifiers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
Van Oostenryck
U
p
date maintainers in t
h
e manpage
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
some m
o
difiers
n
eed t
o
be p
r
eserved by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
te
n
ryck
testsuite: te
s
t
m
o
d
ifiers
p
reserved by 't
y
peo
f
(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
testsuit
e
: test modifier
s
p
res
e
rved
b
y '&'
o
perat
o
r
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
use a short
e
r name
f
or func
t
ion-pointer-modifier-inh
e
ritan
c
e
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
t
estsui
t
e
:
simpl
i
fy
t
e
s
t
fu
n
ction-pointer-in
h
eritance
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Va
n
Ooste
n
ryck
storage should not be inhe
r
ited b
y
poin
t
ers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n O
o
s
t
e
nr
y
ck
remove unused f
i
eld '
m
ultijump' i
n
struct instruct
i
on
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
OP_SWIT
C
H should use 'insn->cond'
i
n
stead
of 'insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
give com
p
a
r
a
ble label's
n
ames to basic bloc
k
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
l
et "
c
om
p
ile" not crash on bools
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
make p
t
r
l
is
t
w
a
l
king against
r
o
b
ust a
g
ain
s
t emp
t
y 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
V
an
O
o
s
t
enryck
add test case fo
r
bu
i
l
t
in
b
swap with c
o
nstant
arg
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
f
i
x discarded la
b
el statemen
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
R
emov
e
unneeded v
a
riable in
integer_promotion
(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
Warn o
n
unknown attri
b
u
t
e
s
inst
e
ad of throwing
e
rrors
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
cleanup:
remo
v
e eval
u
at
e
_a
r
gum
e
nts
(
)'s unuse
d
argu
m
ent
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oos
t
enryck
m
a
k
e 'ignored_attributes[]' static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Ooste
n
r
y
ck
ad
d
missing #include
"
char
.
h" to
c
h
a
r
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenryck
Fix type checking of v
a
riadic functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an O
o
stenr
y
ck
fix mixup in "Handle SForced in st
o
rage_modifiers"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van O
o
stenryck
Do not drop
'nocast' modifier
when taking the address
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc V
a
n Oostenryc
k
Fix size c
a
l
c
ula
t
i
on of
unsized bool array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
Luc V
a
n O
o
stenryck
Te
a
c
h spars
e
about the
__C
O
UNTER_
_
predefi
n
ed ma
c
ro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc Van Oosten
r
yck
[PATCH] Fix
memb
e
r
o
ffset calculatio
n
commit
|
commitdiff
|
tree
2005-11-26
L
u
c Van Oostenryck
[PATCH]
a
voi
d
a
cra
s
h caused by the phisrc O
P
_COPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Va
n
Oostenryck
[PATCH] remove old comment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
L
u
c V
a
n Oostenr
y
ck
[
PATCH] unss
a
: update the livene
s
s
info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc Va
n
Oostenryck
[
P
ATCH] Re
w
r
it
e
of unssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenry
c
k
[PATCH] Add a function to translate the SSA form b
a
ck
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenryck
[PATCH]
A
dd a new o
p
c
ode: OP_COP
Y
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
O
o
ste
n
r
y
ck
[PATCH] makes
s
ome
n
e
e
d
lessly glo
b
al code stati
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oos
t
enryck
[PATCH
]
remove m
u
lti-in
c
lus
i
on guard
from target
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
O
ostenryck
[
P
AT
C
H
] avoi
d
s
egf
a
ult in add_asm_output
(
) after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oo
s
t
e
nryck
[PAT
C
H] avoid s
e
g
afult a
f
t
e
r
parse erro
r
s
in ca
s
ts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van O
o
stenr
y
c
k
[PAT
C
H] avo
i
d segfau
l
t a
f
ter
p
a
r
se err
o
rs in assignemen
t
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
Van Oo
s
t
e
nry
c
k
[
PAT
C
H
]
a
v
o
i
d
s
e
gfault after parse errors in array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
Van
O
o
stenryc
k
[PATCH] av
o
id segfault
in chec
k
_
b
yte_count()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oosten
r
yck
[PATCH] avoid
se
g
faul
t
in linearize_
a
sm_stateme
n
t(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc V
a
n Oostenryck
[P
A
TC
H
]
Avoid
s
egfault when code is present after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Luc Va
n
Oostenry
c
k
[P
A
T
C
H
]
s
egfault on bad ternar
y
con
d
itional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oostenryck
[
P
ATCH
]
Fix se
g
fault on non
-
ANSI
f
un
c
tion-like de
c
laration
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oost
e
n
ryck
[PA
T
CH] Fix SIGS
E
GV on
u
n
te
r
minate
d
preprocessor condition
a
l
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oostenryck
[PATCH] avoid a c
r
a
sh on bad asm
statement
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree