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] Fix segfault on non-ANSI function-like declaration for real
2005-05-19
Lu
c
Van Ooste
n
r
y
ck
[
PATC
H
] Fix segfau
l
t on non-ANSI func
t
ion-like declarati
o
n
.
.
.
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-19
Luc Van Oosten
r
yck
[
P
ATCH] Fix SIGSEG
V
o
n
unt
e
r
m
inated preprocessor conditiona
l
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-19
Linu
s
Torva
l
ds
Fix positi
o
n report
i
n
g
on unterminated pre
p
rocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Luc Van Oo
s
te
n
ryck
[PATCH] avoid a
cr
a
sh on bad a
s
m
s
tatement
Signed-off-by:
Linus Torvalds
<torvalds@osdl.org>
commit
|
commitdiff
|
tree
2005-05-17
Linus Torvalds
Fi
x
SIGSEGV on non-
A
NSI
functio
n
-line declarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-27
D
a
ve Jones
[PATC
H
] sparse fix
commit
|
commitdiff
|
tree
2005-04-08
C
h
r
i
stopher Li
[PA
T
CH] stati
c
d
e
clea
r
commit
|
commitdiff
|
tree
2005-04-08
L
inu
s
T
o
r
va
l
ds
Give funct
i
o
n
n
a
me
i
n n
o
n-ANSI decl
a
rat
i
on warni
n
g
.
commit
|
commitdiff
|
tree
2005-04-08
Be
r
nhard Fischer
[PATCH]
spar
s
e: a
d
d function name
to warning
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Make
enum symbols
b
e
regular sy
m
bols wi
t
h
c
o
n
stant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Warn a
b
o
ut implicit
casts to
/
from "noca
s
t"
types
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
or
v
a
lds
Move
t
h
e
ptrlist
m
a
c
ros out
o
f the sparse
"
li
b
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Alexey
D
ob
r
i
yan
[
PATCH
]
sparse:
M
akef
i
le trivialit
i
e
s
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
H
andle ba
d
enum expression typ
e
s gracefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Add
s
upport
for con
t
e
x
t
checkin
g
functi
o
ns
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
N
a
me
s
tatic library "lib
s
parse
.
a
"
t
o
matc
h
shared library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
r
m
p
s@joel
.
ist
.
utl
.
p
t
[PATCH]
: "make cl
e
an"
d
o
e
s
n
't d
e
lete libspar
s
e
.
so
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
rv
a
lds
Don't warn
a
b
out zero-sized "
s
iz
e
of"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn about undec
l
ared identifiers
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
orvalds
Suppor
t
building sparse as a share
d
librar
y
.
commit
|
commitdiff
|
tree
2005-04-08
Christopher
Li
[PATCH] using 0 as NULL
in sparse
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s Torvalds
W
a
rn
a
bo
u
t si
z
e
o
f of zero si
z
e
.
commit
|
commitdiff
|
tree
2005-04-08
Alex
a
nder V
i
r
o
[
P
ATCH] bo
g
us
initializer offsets
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
B
e more careful a
b
out removing
i
mplicit
c
as
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
ds
Make sure to
r
e
-examine a struct/un
i
on
/
enum type aft
e
r
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "check" (ak
a
spars
e
) check argum
e
nts
to
s
ome function
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
To
r
valds
F
i
x typo
(
duplicat
e
src2 s
h
ould
b
e
src
3
)
in simpli
f
y_r
a
n
g
e
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Re
m
ove old
s
ta
l
e
p
o
int
e
r dereferen
c
e type mess,
that
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Exp
o
r
t "is
_
ptr_type()" helpe
r
func
t
ion to
o
thers
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Avoid SI
G
SEGV when li
n
ea
r
izing bad e
x
p
ress
i
ons
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
T
orvalds
D
o
n't drop modi
f
i
er b
i
ts f
r
om a m
e
mber
dereference
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
U
se the new per-instructi
o
n
p
ositio
n
i
n
f
o
r
mati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torval
d
s
Make each
inst
r
uction have a positi
o
n of its
o
wn
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
M
a
ke range check code a bit mor
e
rea
d
able (and more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add compile-tim
e
"range-check"
i
nfrastr
u
cture
to spa
r
se
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
ke
s
ure we evaluate point
e
r com
p
a
r
i
s
o
n
s
as un
s
i
gned
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvald
s
Shut up informational
messages once
w
e've hit the maximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Mak
e
"check" (aka
"
sparse") che
c
k data-droppi
n
g casts
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Tor
v
alds
Make simp
l
ification remove ca
s
ts tha
t
c
h
ange neit
h
er
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Spl
i
t OP_CAST into signed, unsigned and
F
P c
a
s
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simp
l
ify OP_CAST of OP_A
N
D
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Tor
v
alds
Don't optimize
away casts
t
o
o early
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Duh
.
W
hen a fu
n
ctio
n
returns VOID,
we
should _not_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Fix code gene
r
ation c
o
nfusion
b
e
tween OP_ADDR
and the
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make the example co
d
e
g
enerator do some
t
hing
h
alf-
w
ay
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
constant inst
r
uc
t
i
on
si
m
plification take
the sign
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Split the binop
s
where s
i
gnedness matters into unsign
e
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make linear
i
zer ab
l
e to handle assignment ops whe
r
e the
commit
|
commitdiff
|
tree
2005-04-08
S
am Ra
v
n
b
o
r
g
[PATCH] make include path handling gcc co
m
patible
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
E
v
aluate asm
o
utputs as
ass
i
gnments
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
We didn't
mark s
y
mb
o
ls with
t
heir addr
e
s
s
take
n
as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s Torvalds
Ma
k
e
ex
p
ression typ
e
enums start at one
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
inlin
i
ng: don't copy an
i
nitializer
expression for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Sam
Ravnborg
[PATCH] sp
a
rse: fa
i
ls
t
o locate stdarg
.
h
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torvald
s
L
inearize EXPR_PO
S
initializ
e
r
s
m
ore car
e
fully
:
they can
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add o
p
tion "-W
p
t
r
-sub
t
r
a
ction-blows" to
warn abou
t
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Ma
k
e "check_access()" take the size of the
a
ccess p
r
operly
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Don't do the pointe
r
of
f
set
up
d
ate for
a
point
e
r addition
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't tr
y
t
o
r
ecursively check
f
or an associative insn
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
A
d
d warning for
acc
e
ssi
n
g
ou
t
side of a symbol
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
v
alds
Si
m
pli
f
y OP_
P
TRCAST
o
ps too f
o
r now
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
F
i
x array size cal
c
u
lation whe
n
the last
e
ntry is an
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
Torvalds
Make o
u
tput_insn() tell whe
r
e it was calle
d
fro
m
, and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Make "f
i
ll_reg" do som
e
w
hat the
right thing when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Oops
.
Missed a
p
lace where
we still teste
d
for "busy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Mak
e
the argument storage setup be a bit more accur
a
te
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
orvalds
Top
l
eve
l
s
y
mbols are externally addressabl
e
only if
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "re
g
->busy" mean
h
ow many "oper
a
nd
s
" actually
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torval
d
s
Start moving to a more sy
m
b
ol
"str
u
ct o
p
erand"
n
otion
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Fi
x
"a
d
dr
e
ss_taken()" functi
o
n to work at least pitifully
commit
|
commitdiff
|
tree
2005-04-08
L
inus T
o
rv
a
l
d
s
G
e
t
c
ompar
i
so
n
sizes r
i
ght
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s Torvalds
Spli
t
OP_SE
T
VAL i
n
to OP_SETVAL (fp
ex
p
ressions and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ma
k
e s
u
re to mark all
register
s
t
h
at hav
e
already been
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
The
s
tack offs
e
t
is g
l
obal, not per-bb
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Duh
.
We marked the wrong register REG_FIXED
when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
r
valds
Add som
e
back
-
of-
t
he-envelope support for a
s
m input
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rval
d
s
Do absolu
t
ely horrid job of
g
enerating code
f
or asms
.
commit
|
commitdiff
|
tree
2005-04-08
s
a
n
t
t
u
.
h
y
rkko@
g
mail
.
com
[
PATCH] Diff to ma
k
e
sparse not complain about
_
_
f
o
r
mat_arg__
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Use the on
e
-d
e
ep CC
-
cac
h
e fo
r
OP_
S
EL too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simplif
y
c
o
nd
i
tional
on cast-to-larger-size to cond
i
tional
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
ds
If we
decide to m
a
rk a regis
t
er as b
e
ing its own storage,
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Add a
one-deep CC-cache for condition code set
t
ing
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
V
erify that output
/
input as
m
cons
t
raints re
a
lly look
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Sa
v
e
off the
a
s
m par
a
me
t
er name too
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s
T
o
r
val
d
s
Show asm inputs
/
outputs as bugus in
s
truct
i
ons as
op
p
osed
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torva
l
ds
Start l
o
oking at asm
s
i
n code generation
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
r
valds
Make
a
sm linea
r
izatio
n
not drop
t
he constr
a
in
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do some kind of signed cast too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
o
sli
g
htly
b
e
tter on casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Teach code generator
about co
m
mutative operatio
n
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
O
ops
.
Did
n
'
t
rem
e
mber about
B
I
NCMP op
s
when do
i
ng the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Teach simplification about asso
c
iative
o
pe
r
ators
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Make commutative o
p
eration
s
use a cano
n
i
cal
order
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Mark the
b
a
c
k
i
ng store storage
dead wh
e
n marking a
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Make "find_p
s
e
u
d
o_storage()" retur
n
the
s
to
r
age hash
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Sp
l
it up the co
d
e that
finds th
e
underlyi
n
g storage
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Add
s
t
or
a
ge us
a
ge verification phase
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
ds
Add s
u
pport f
o
r various
arch-spe
c
ific storage
a
ll
o
c
ation
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
Add the argum
e
nt
pseudos to the "enter" instruction
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
Expo
s
e lo
o
k
u
p_storage/a
d
d_stor
a
ge to code
gene
r
ato
r
.
commit
|
commitdiff
|
tree
next