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 is_scalar_type()
2017-02-13
Luc Van Oostenryck
C
11: teach sparse
a
bout '_Alignas()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
C1
1
: teach spa
r
se about '_Al
i
gnof(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
C11: te
a
ch sparse ab
o
ut '
_
Noreturn'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc V
a
n Oo
s
te
n
ryck
C1
1
: teach sparse about '_Th
r
ead_local'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryck
fix value of label st
a
tement
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Ooste
n
ryck
missi
n
g load
s
implification
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix phisrc mixup
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
ck
fix super
f
l
u
ous ph
i
src
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oost
e
nryck
volatile lo
a
d
s
must
n
ot b
e
simp
l
ified
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an Oostenr
y
c
k
un
s
sa: update com
m
ent about the
u
nneeded copie
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van
O
ostenryck
unss
a
: eliminate
t
r
ivial phisrc copi
e
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc
Van Oostenryck
u
n
ssa: tr
y
to
a
void some OP_PHI copie
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
oste
n
ryck
unss
a
: sim
p
lify rew
r
i
te o
f
OP_PHI
S
OURCE
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
u
n
ssa: do
n
ot
t
ry
to u
p
d
a
te livenes
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenry
c
k
fi
x
cast
to bool
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van O
o
stenryck
llvm:
rem
o
v
e
u
n
ne
e
de
d
OP_COPY support
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oosten
r
y
c
k
llvm: f
i
x
t
y
p
ing whe
n
c
o
mpa
r
ing to a const
a
nt
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
fix typing
e
rror
i
n
c
ompound
a
ssignme
n
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenr
y
c
k
add s
u
p
p
o
r
t fo
r
__
i
nt128
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
fix
m
is
s
ing element in
t
y
p
e
s
declaration
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
O
ostenryck
recur
s
ive
p
hi_defines
ca
n
n
o
t happe
n
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
o
stenryck
cgc
c
should not d
e
fine non-reserved iden
t
i
f
iers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Van Oostenryck
Up
d
ate maintainers in
the m
a
n
pag
e
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oost
e
nryck
s
o
me modifi
e
rs need
t
o be preserved by
'
t
y
p
eof()'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c
V
an Oos
t
enryc
k
testsuite: test modifier
s
pre
s
erved by
'
type
o
f(
)
'
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenryck
t
estsuite: test modifiers preserved by '&' operat
o
r
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c V
a
n Oostenr
y
ck
u
s
e
a shorte
r
n
a
m
e
for f
u
nction-p
o
inter
-
modifier-inheritance
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oostenryck
testsu
i
te:
s
impl
i
fy t
e
st funct
i
on-poin
t
e
r
-inheritance
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
uc Van
Oos
t
enryck
storag
e
s
h
ould not be inherited
by pointers
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
V
an
Oostenryc
k
rem
o
ve un
u
s
e
d
field 'm
u
ltijump' in struct
i
ns
t
ruction
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oostenryck
OP_SWITCH should use '
i
ns
n
->
c
ond' instea
d
of
'insn
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc
Van Oosten
r
yck
give comparable la
b
el's names
t
o
basic blocks
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
O
ostenryck
let "c
o
mpile
"
no
t
cra
s
h on b
o
ol
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van
Oo
s
tenryck
make p
t
rlist walking a
g
ainst r
o
bust ag
a
inst
empty 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
Lu
c
Van
O
o
stenryck
add
t
est case for built
i
n b
s
w
ap with constant args
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Lu
c
Van Oostenryc
k
fix disc
a
rded
la
b
el
s
tat
e
ment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Va
n
Oost
e
nryck
Remove unneeded variable in integer
_
p
r
omotion()
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
L
u
c Va
n
Oostenryck
Warn
o
n unkn
o
wn at
t
ribu
t
es instead of throwing error
s
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-02-13
Luc Van Oo
s
t
e
nryck
clean
u
p: re
m
ove
e
valuate_arguments()'
s
unu
s
ed argumen
t
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oost
e
nryck
make 'ignored_
a
t
tributes[]' static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc Van Oostenr
y
ck
add
mi
s
sing #incl
u
d
e "char
.
h" to char
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
L
u
c Va
n
Oostenryck
Fix type c
h
e
cking
o
f
varia
d
ic functions
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2017-01-27
Luc
V
an O
o
s
ten
r
yc
k
fix mixu
p
i
n "Handle SForced in storage_mod
i
fiers"
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-22
Luc Van Oostenryck
Do not
d
rop 'nocas
t
'
m
odifie
r
when takin
g
the
a
d
d
ress
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2016-02-04
Lu
c
Van Oostenryck
Fix s
i
ze c
a
lculation of
unsized b
o
ol array
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2015-02-09
L
u
c
Van Oostenryck
Teac
h
spars
e
about
t
he __CO
U
NTER__ predefined
m
a
cro
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@gmail.com>
commit
|
commitdiff
|
tree
2005-11-28
Luc
Van Oostenryck
[PATCH] Fix me
m
ber offs
e
t calculation
commit
|
commitdiff
|
tree
2005-11-26
Luc Van Oo
s
tenr
y
c
k
[
PATCH] avo
i
d a cras
h
cau
s
ed by the phis
r
c OP_COPY
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc
Van Oost
e
nryck
[PATCH] remov
e
old comment
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-26
Luc
Van Oostenryck
[PATCH] unssa:
update t
h
e livene
s
s
info
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-23
Luc Van Oostenryck
[PATCH] Rewrite of unssa()
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc V
a
n Ooste
n
r
y
ck
[PATCH] Add a function
t
o
t
ranslate t
h
e SS
A
form
b
ac
k
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-11-22
Luc Van Oost
e
n
r
y
c
k
[
P
A
T
CH] Add a new op
c
ode: OP_COPY
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c Van Oostenryck
[PATC
H
] makes some needless
l
y gl
o
ba
l
code
static
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATCH] remove multi-i
n
c
lusion guar
d
f
rom
tar
g
et
.
c
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
Oostenryck
[PATCH] av
o
id s
e
gfault in
add_a
s
m_output
(
)
afte
r
a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van
O
ostenryck
[PATCH] avoid segaf
u
lt after par
s
e err
o
rs in casts
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Lu
c
Van
O
o
sten
r
yck
[
P
ATCH]
a
vo
i
d segfault af
t
er parse errors in assign
e
m
ents
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c Va
n
Oostenry
c
k
[PATCH] avoid segfault after
p
a
rs
e
er
r
o
r
s
i
n
array
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc Va
n
Oostenryck
[P
A
TCH] avo
i
d
s
e
g
f
a
ult i
n
check_byte_count(
)
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
L
u
c
Van Oostenryck
[P
A
TCH] av
o
id segfault i
n
line
a
rize
_
asm_statem
e
nt(
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-27
Luc
Van Oostenryck
[
P
ATCH] Avoid se
g
fault
when code is pre
s
ent after a
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-06-20
L
uc Van Oostenr
y
ck
[PATCH]
s
egfault o
n
bad ternary conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
L
u
c Van Oo
s
tenryck
[PATCH
]
F
i
x segfault o
n
n
o
n-ANSI func
t
ion-like d
e
clarat
i
on
.
.
.
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-19
Luc Va
n
Oostenryc
k
[PATCH]
F
ix SIGSEGV on unterminate
d
p
reprocessor conditional
Signed-off-by:
Luc Van Oostenryck
<luc.vanoostenryck@looxix.net>
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oos
t
en
r
y
ck
[PATCH] avoid a crash on bad asm statemen
t
Signed-Off-by:
Luc Van Oostenryck
<luc.vanostenryck@looxix.net>
commit
|
commitdiff
|
tree