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
define __LONG_MAX__ & __SIZEOF_POINTER__
2017-02-13
Luc
Van Oostenryck
define __LONG_MAX
_
_ &
_
_S
I
Z
EOF_POIN
T
ER__
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
add
an h
e
lper for co
m
mon predefined
m
acro
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenryc
k
define
__LP64_
_
& _
L
P64 if arch
_
m64 is e
n
abled
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van
Oostenryck
fix k
i
lling OP_SETVAL instruct
i
ons
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenryck
re
m
ove
'
E
scape' from token character class
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oosten
r
yck
warn on unk
n
own escapes
a
fter preprocessi
n
g
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
add tes
t
case for
w
r
ong early escape
c
onver
s
i
o
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
re
m
ove unused
arg in
u
ses/defs
functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Va
n
Oostenryck
val
i
date expressi
o
n's type
in conditionals
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Ooste
n
ry
c
k
add helper: is
_
scalar_type()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
fix conditional
context test c
a
se wit
h
void
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
cleanup kill_
i
nstr
u
ctio
n
()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
Oostenry
c
k
explicit
e
ly ig
n
ore killing OP_ENTRY
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
fix kill
i
ng OP_C
O
MPUTEDGOTO
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fix killing OP_
S
ELECT
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
stenry
c
k
fix killing OP_CAST & f
r
iends
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Ooste
n
r
y
ck
fi
x
k
i
lling OP_PH
I
ins
t
ructions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enryck
ki
l
l uses of
r
ep
l
aced instruction
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
r
y
c
k
fix crash whi
l
e
t
esting between conditional & un
c
onditional
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oo
s
tenryck
f
i
x ca
s
t's targ
e
t type in
f
o
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenryck
C
11: tea
c
h sparse
about '--std={c11,gnu
1
1}'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oos
t
enr
y
ck
C11
:
teach
sparse
about '_Alignas()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenr
y
ck
C11:
teach
sparse abou
t
'_Alignof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van Oos
t
enryck
C11: teach
spar
s
e ab
o
ut '_Noreturn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenry
c
k
C11: teach sparse abou
t
'_Thread_local'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
fix value of label
statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
m
i
ssing l
o
ad simpl
i
ficat
i
on
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix phisrc mix
u
p
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
fi
x
supe
r
fluous phisrc
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van O
o
stenr
y
c
k
vola
t
ile
l
oa
d
s must not be simplified
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
unssa: upd
a
te
c
omment about t
h
e un
n
eeded copies
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Va
n
O
ostenry
c
k
u
nssa: e
l
imi
n
ate
tr
i
v
ial phisrc cop
i
es
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
n
s
sa: try to avoid
som
e
OP_PHI cop
i
es
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oostenryck
uns
s
a: simplif
y
rewrit
e
of OP_PHIS
O
URCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
an Oostenryck
u
n
s
s
a:
d
o
not try to u
p
date liveness
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryck
fix cast to bo
o
l
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n
O
ostenryc
k
llvm:
r
emo
v
e unne
e
ded OP_
C
OPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
l
l
vm:
f
ix typing
when
c
omparin
g
to a constant
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oostenryck
fix
t
yping error in compound
a
ssig
n
ment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van
O
os
t
e
n
ry
c
k
add sup
p
ort for __int128
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oo
s
ten
r
yck
f
i
x missing element
i
n
types decl
a
ration
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Ooste
n
ryck
recursive phi_defines
cannot
h
appen
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
s
t
e
n
ryck
cgc
c
should not define
n
on-
r
eserved identifiers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryc
k
Update maintainers in the m
a
npage
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
some m
o
dif
i
ers need t
o
b
e prese
r
ved by
'
typeo
f
()
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an
Ooste
n
ryck
t
e
stsuite:
t
est modifiers
preserved by 'typeof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oostenryck
testsuit
e
:
test modifiers pr
e
s
e
r
v
e
d
by '&' operator
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
use a
s
horter name
f
or function-pointer-modif
i
er-i
n
heritance
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
t
estsuite: simp
l
ify test fun
c
t
ion-poi
n
ter-inheritanc
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
tenr
y
c
k
stor
a
ge shou
l
d not be inher
i
ted by
poi
n
te
r
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van O
o
ste
n
ryck
remove unused field 'multijump'
i
n st
r
uc
t
instruct
i
on
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
OP_
S
WIT
C
H should use 'insn
-
>cond' inste
a
d o
f
'in
s
n
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
t
e
n
r
yck
give
com
p
ar
a
ble label's names to basic bl
o
cks
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
V
a
n Oos
t
en
r
yck
let "c
o
m
pile"
n
o
t
crash on bools
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
make ptrli
s
t walking
a
gainst robust against empty block
s
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
d
d test case for
b
u
iltin bswap with cons
t
ant args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fix disc
a
rded la
b
e
l statement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van O
o
stenryck
R
e
m
ove unnee
d
ed
v
ariable in integer_
p
romotion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oostenr
y
ck
W
arn o
n
unknown
a
ttributes i
n
stead of throwing error
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
cleanup: remove evalu
a
te_ar
g
ument
s
()'s unus
e
d
argument
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Lu
c
Van Oostenryck
mak
e
'i
g
nor
e
d_attributes[]' static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
L
uc Van Oostenryck
ad
d
missing #includ
e
"c
h
ar
.
h
" to char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an Oostenryck
Fix 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
V
an Oostenryck
fix
m
i
xu
p
i
n "Handle SForce
d
in storag
e
_modifi
e
rs"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc Va
n
Oo
s
t
enry
c
k
Do not
dr
o
p 'nocast' modifier when taking th
e
a
d
dress
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Luc
V
an Oos
t
enryck
F
ix size calculation of unsi
z
ed b
o
ol array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
L
uc Van Oostenryck
T
each s
p
a
rse about th
e
__
C
OUNTER__ p
r
e
def
i
ned macro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc V
a
n
O
ost
e
nryck
[
PATCH] Fix member
o
f
fset
ca
l
culation
commit
|
commitdiff
|
tree
2005-11-26
L
uc
Van
Oos
t
en
r
yck
[PA
T
CH] avoid a crash
caused b
y
the phisrc OP
_
C
OPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Oostenryck
[PATCH] remove
ol
d
com
m
ent
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
L
uc V
a
n Oostenryck
[PATCH] u
n
ssa: u
p
date the l
i
ven
e
ss info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc
V
a
n
O
ostenryck
[PATCH] Rewrite of unssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
L
uc Van Ooste
n
ryck
[PATCH] Add a fu
n
c
t
ion to tra
n
slate the S
S
A form bac
k
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oostenryck
[PATCH] Add
a n
e
w opcode: OP_COP
Y
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
an
O
oste
n
ryck
[
P
ATCH
]
makes so
m
e
needl
e
ssl
y
glob
a
l code
static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Lu
c
Van Oostenry
c
k
[PATCH
]
remove mu
l
ti-incl
u
sion guard
from target
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
Van Oostenryck
[PATCH] avoid segfault in add_asm_output() after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATCH] av
o
id
segafult after pa
r
se
e
rrors in cas
t
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
Oostenryck
[
P
ATCH] avoi
d
segf
a
ult after parse e
r
r
o
rs in assigneme
n
ts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
a
n Oostenryck
[PATCH] a
v
oid segfault after p
a
r
se er
r
ors in array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Lu
c
Van Ooste
n
ryck
[PATC
H
] avoid segfault in ch
e
ck_byte_
c
ount()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[
P
ATCH] avoid segfault in lineari
z
e_asm_statement(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
V
a
n
Oostenry
c
k
[PATCH] A
v
oid segfault when code is
present after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
Lu
c
V
a
n Oostenr
y
c
k
[
P
ATCH] segfa
u
l
t
on bad tern
a
ry con
d
itional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oost
e
nryc
k
[PATCH
]
Fix segfau
l
t on
n
on-ANSI function-like declarat
i
on
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Lu
c
Va
n
Oos
t
enryck
[PATCH] Fix
SIGSEGV on unter
m
inated pr
e
proces
s
or conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van
Oostenryck
[PATCH]
avoid a
c
rash
o
n bad asm statement
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree