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
[PATCH] avoid segfault after parse errors in array designated initializer
2005-06-27
Luc Van
Ooste
n
ryck
[PATCH] avoid segfa
u
lt after parse erro
r
s in array
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-27
Luc V
a
n Oostenryck
[PAT
C
H]
a
vo
i
d segf
a
ult in
chec
k
_
b
yte_count()
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-27
L
uc Van Oostenryck
[PATCH] avoid segfault i
n
linearize_a
s
m
_
statement(
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-27
Luc Van Oostenryck
[PATCH]
Av
o
id segfault
w
hen code is present after a
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-21
Li
n
us Torvalds
Be more
car
e
f
u
l about l
i
nea
r
izing condit
i
on
a
l
s
commit
|
commitdiff
|
tree
2005-06-21
Mika K
u
kkonen
[PATCH
]
Fix compile
w
arning in symbo
l
.
c
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-20
L
uc
V
an Oostenryck
[PATCH]
s
egfault
on
bad ternary conditiona
l
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-06-20
Peter
J
ones
[
PATCH] _
_
attribu
t
e_
_
handling for attribute
s
used
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus
T
orvald
s
Initial cut at __buil
t
in_expect() imple
m
entati
o
n
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
D
efault
to reporting
the
s
ame GNU
C
version
as the
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus T
o
rvalds
F
ix assignment an
d
co
n
d
i
t
io
n
al expressio
n
p
a
rs
i
ng with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus
Torvald
s
Fix
SIGS
E
GV on
ass
i
gnment to ba
d
le
f
t side
.
commit
|
commitdiff
|
tree
2005-06-17
L
i
nus Torvalds
F
ix up a
few
m
i
ssing b
a
se type evaluati
o
ns
commit
|
commitdiff
|
tree
2005-06-17
Li
n
us Torval
d
s
F
i
x up ty
p
e examination
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torva
l
ds
Don't warn abou
t
undeclared
"
main(
)
" function
.
commit
|
commitdiff
|
tree
2005-05-19
Luc V
a
n
O
ostenryck
[
P
AT
C
H] Fix segfault on non-ANSI function-like declaration
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-19
L
u
c
V
a
n
O
ostenry
c
k
[
PATCH
]
Fix S
I
GSEGV on unterminated
p
reprocessor cond
i
tion
a
l
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-19
Lin
u
s
Torvald
s
Fix po
s
i
tion
reporting on unterminated
p
reprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oostenryck
[PATCH] avoi
d
a
crash on bad asm st
a
tement
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-17
Linus
To
r
valds
Fix SIGSEG
V
on no
n
-ANSI functi
o
n-line dec
l
ara
t
ions
.
.
.
commit
|
commitdiff
|
tree
2005-04-27
Da
v
e
Jones
[P
A
TCH] sparse
fix
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
is
t
opher Li
[PATC
H
] sta
t
ic decl
e
ar
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torv
a
lds
Give function name in
non-ANSI declaration warni
n
g
.
commit
|
commitdiff
|
tree
2005-04-08
B
ernh
a
rd Fischer
[PATCH] spars
e
:
add function name
t
o warning
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s
Torvalds
Ma
k
e enum symb
o
ls be reg
u
lar symbols with
c
o
n
stant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn a
b
out impl
i
cit
cast
s
to/
f
r
o
m
"n
o
cast" types
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
ald
s
Move the ptrlist macros out of the spars
e
"lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Al
e
x
ey Dobri
y
an
[PATCH] spar
s
e: Mak
e
f
i
le trivialities
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Handle bad enum ex
p
ression typ
e
s
gra
c
efully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Add support
f
o
r
c
ontext checking
fu
n
c
tions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Name
s
t
atic librar
y
"libsp
a
rse
.
a" to m
a
tch shared
l
ibrary
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
rmps@joe
l
.
ist
.
utl
.
pt
[PATCH] : "mak
e
cl
e
an"
d
oesn't delete libsparse
.
so
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
orvalds
D
o
n't warn about
zero-sized
"
si
z
eof"
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
W
arn ab
o
ut undeclared identifiers
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Sup
p
ort
b
u
i
l
d
i
ng sp
a
r
se
as
a shared lib
r
ary
.
commit
|
commitdiff
|
tree
2005-04-08
Ch
r
is
t
o
pher Li
[
PATCH] us
i
ng
0 as NU
L
L i
n
sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
a
rn abo
u
t sizeo
f
o
f
z
e
ro siz
e
.
commit
|
commitdiff
|
tree
2005-04-08
A
l
exander Viro
[
P
A
T
C
H
] bogus initializ
e
r offsets
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Be more careful about re
m
oving implicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torv
a
lds
Make s
u
r
e to re-examine
a
struct/u
n
ion/enum ty
p
e after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mak
e
"
c
heck" (aka sparse) check argu
m
ents to some functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Fix typo (dupl
i
cate src2
should be
src3)
i
n si
m
plify_range
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Remove old stale poi
n
t
er der
e
ference type mess,
that
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Ex
p
ort "is_ptr_
t
y
pe(
)
" helper funct
i
on to others
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
r
valds
Avoid SI
G
SEGV w
h
en l
i
neari
z
i
ng bad expr
e
ssions
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
T
o
rvalds
D
o
n't drop modifier bits from a member dere
f
erence
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Use the new per-instruc
t
ion pos
i
tion
i
n
f
ormation for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
M
a
k
e
each instruction have a pos
i
tion of its own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Make range
c
heck code
a bit more readabl
e
(an
d
more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add compile-time "r
a
n
g
e-che
c
k" infra
s
tructure to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make s
u
re we evaluate p
o
inter comparisons as unsi
g
ne
d
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
S
h
u
t
u
p
informati
o
nal messages onc
e
we've hit the
m
aximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Make
"
chec
k
" (aka "sparse
"
)
check data-drop
p
ing ca
s
ts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Make
s
implif
i
cation remove casts that change nei
t
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Spli
t
OP
_
CAST into si
g
ned, uns
i
gned a
n
d FP casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simp
l
ify OP_CAST of OP_AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't
optimize away casts to
o
e
arly
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
D
uh
.
W
h
en a function r
e
t
urns
V
OID, we s
h
ould
_
not_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s T
o
r
v
a
lds
Fix c
o
de
gener
a
tion confusi
o
n between
O
P
_
ADDR an
d
the
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Make the example code
g
enerator d
o
something half-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Make
consta
n
t instructi
o
n simplif
i
cation tak
e
the sig
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
ld
s
Split the binops where signedness matter
s
into
u
n
signed
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Tor
v
alds
Make linea
r
izer able to h
a
ndle assignmen
t
ops where the
commit
|
commitdiff
|
tree
2005-04-08
Sam
R
avnbo
r
g
[PATCH] make
includ
e
path h
a
ndling gcc co
m
patible
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvald
s
Evaluate
asm outputs as assignments
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
e didn't mark symbols with their address
taken as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torv
a
lds
Make e
x
p
ression type enu
m
s
start at one
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
in
l
ining:
d
on
'
t copy an
initiali
z
er ex
p
ression for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
S
a
m Ravnborg
[PAT
C
H] sparse: fail
s
to locate stdarg
.
h
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s Torv
a
ld
s
Linearize EX
P
R_POS
in
i
t
i
alizers
m
ore carefull
y
: they can
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torva
l
ds
Add opt
i
on
"
-Wptr-subtr
a
ction-b
l
o
w
s" t
o
warn abo
u
t
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Mak
e
"check_ac
c
ess()" take
the size of the
a
ccess
p
ro
p
erly
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rv
a
l
ds
Don't
d
o the pointer
offset update fo
r
a pointer ad
d
i
t
i
on
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't try to recursively check for
an
ass
o
c
iative i
n
sn
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Add war
n
i
ng for
a
ccessin
g
outs
i
d
e of a symbol
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
o
rval
d
s
Simp
l
if
y
OP_PTRCAST ops too for now
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torva
l
ds
F
i
x
array si
z
e calculat
i
on w
h
en the last e
n
try is
a
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
output
_
insn
(
) te
l
l
where it was called from, a
n
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Make "fill_
r
eg" do
somewhat the right t
h
ing when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
d
s
Oops
.
Misse
d
a place where we
still
t
e
s
ted fo
r
"b
u
sy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Tor
v
alds
Make t
h
e
argument stora
g
e
s
etup
be a bit more accurate
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s
T
o
rvalds
To
p
level sy
m
bols are externally address
a
ble
o
n
ly
if
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
"reg
-
>busy"
me
a
n how many "ope
r
ands" actua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
d
s
Start movin
g
to
a more
s
y
mbol "struct operand" notion
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Fix "addres
s
_
taken()" function
to
w
o
rk at
least pit
i
f
u
lly
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Get c
o
m
p
arison
sizes
r
ight
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Split
O
P_S
E
TVAL into OP_SE
T
VAL (fp expre
s
s
ions and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
Make sure to mark al
l
regis
t
ers that hav
e
already be
e
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
The stack offset is gl
o
bal,
n
ot per-bb
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Du
h
.
W
e
marke
d
the wr
o
ng register REG_FIXED
w
hen we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Add some back-
o
f
-
the-envelope support for
a
sm
i
nputs
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Do
absolutely horr
i
d job of generating code
f
o
r a
s
ms
.
commit
|
commitdiff
|
tree
2005-04-08
s
a
nt
t
u
.
hyrkko@gmail
.
c
o
m
[PATCH]
Diff to
m
ake spa
r
s
e
not complain about
_
_format
_
arg_
_
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Use the
o
n
e-d
e
ep
C
C-cache for
OP_SEL too
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus To
r
v
a
lds
Simplif
y
conditional on cast-to-
l
arg
e
r-size to conditi
o
nal
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
I
f we decide to mark a
r
e
g
i
st
e
r as be
i
ng
i
ts own stor
a
ge,
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s Torvalds
A
dd a one-deep CC-cac
h
e for condition code
s
etting
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Verify that o
u
tput/input
a
sm co
n
str
a
ints
r
eally look
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s
T
or
v
a
lds
Save o
f
f
t
he asm parameter na
m
e too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Show
a
s
m inputs/o
u
tputs as bugus inst
r
uctions as opposed
.
.
.
commit
|
commitdiff
|
tree
next