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 a crash on bad asm statement
2005-05-17
Luc
V
a
n
Oost
e
nryck
[PAT
C
H] avoid
a
c
rash on bad asm statement
commit
|
commitdiff
|
tree
2005-05-17
Linus To
r
va
l
ds
Fix SI
G
S
EGV on non-ANSI function-line decla
r
a
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2005-04-27
D
a
ve
Jones
[PATCH] spar
s
e f
i
x
commit
|
commitdiff
|
tree
2005-04-08
Chr
i
stop
h
er Li
[PATCH] stati
c
decle
a
r
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Give func
t
ion
name in
non-
A
NSI declarati
o
n warning
.
commit
|
commitdiff
|
tree
2005-04-08
B
ern
h
ard Fischer
[PATCH] sparse:
add f
u
nction nam
e
to warning
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torv
a
lds
Ma
k
e enum symbols be re
g
u
lar symbols w
i
th constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Warn about impli
c
it
cas
t
s to/from
"nocast" types
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mo
v
e the
ptrlist
m
acros out of
the s
p
arse
"
lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
A
l
exey
D
obriy
a
n
[PATCH] s
p
arse:
M
a
k
e
f
ile tr
i
v
i
al
i
t
i
es
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
Torvalds
Handl
e
bad enum ex
p
ression types gracefull
y
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Add s
u
pport for context c
h
ecking func
t
ions
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us To
r
va
l
ds
Name
s
tatic libra
r
y
"libspa
r
s
e
.
a" to match shared
l
ibr
a
r
y
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
rmps@joel
.
ist
.
u
tl
.
pt
[PATCH] : "make clean" doesn't
delete libsp
a
rse
.
so
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
Torvalds
Don
'
t
warn about
z
ero-sized "sizeof"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Warn about undeclar
e
d ide
n
ti
f
iers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
val
d
s
Support build
i
ng spa
r
se
as
a
shared librar
y
.
commit
|
commitdiff
|
tree
2005-04-08
C
h
ristoph
e
r Li
[PATCH] using 0 as N
U
LL in sparse
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Warn about sizeof of zero size
.
commit
|
commitdiff
|
tree
2005-04-08
Alexander
V
i
r
o
[PA
T
C
H
]
b
o
gus in
i
tial
i
zer offsets
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Be more careful about r
e
moving implicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
Torvald
s
Make sure
t
o re-exa
m
i
n
e a
s
truct
/
union
/
enum
t
y
p
e
a
fter
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
d
s
Make "chec
k
" (aka sparse) c
h
eck arguments to some function
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Fix typo (
d
uplic
a
te src2 sh
o
uld be src
3
) in simplif
y
_ra
n
ge
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
d
s
Rem
o
ve old stale pointer
der
e
fe
r
ence type mess, that
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
ds
E
xport "is_ptr_type
(
)" h
e
lper f
u
nction to ot
h
e
r
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
v
alds
A
void SIGSEGV when
linearizing
bad ex
p
ressions
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us
T
orvalds
Don't dr
o
p modif
i
er bi
t
s from
a member d
e
reference
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Use the ne
w
pe
r
-
i
ns
t
ruc
t
ion
posit
i
on information for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Make ea
c
h
instructio
n
h
a
ve a position
o
f
its own
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
Torvalds
Make range check c
o
de a bit more reada
b
le
(and more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Add compile-tim
e
"r
a
nge-check" in
f
rast
r
u
c
ture to
s
p
arse
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
valds
Make sure we eva
l
uate poin
t
e
r
com
p
ar
i
son
s
as unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Shu
t
up
i
n
formational me
s
sages once w
e
've hit
t
he m
a
ximu
m
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Make "check" (aka "s
p
arse") check data-d
r
op
p
ing casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make simplifica
t
i
o
n
remove casts that
c
ha
n
ge
n
e
i
t
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
val
d
s
S
p
lit OP_CAST into signed
,
unsigned an
d
FP cas
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Simplify OP_C
A
ST o
f
OP_AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Don't
o
ptimize away casts too e
a
rly
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
T
orvalds
Duh
.
When a functio
n
return
s
VOID,
w
e should
_
not
_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torvalds
Fix code
gene
r
ati
o
n confusion betwe
e
n OP
_
A
D
DR
a
nd the
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
orvalds
M
a
ke the examp
l
e co
d
e generator do something half-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
vald
s
M
ake constant instruction simplificati
o
n
take
t
he sig
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
orvalds
S
p
lit the binops wher
e
s
i
g
n
e
dness mat
t
ers into unsigne
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torv
a
lds
Make
l
inear
i
zer able
t
o
handle as
s
ig
n
ment ops where the
commit
|
commitdiff
|
tree
2005-04-08
Sam Rav
n
borg
[PATCH] make
i
nclu
d
e path h
a
ndling gcc compatible
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Eval
u
at
e
asm output
s
as assignments
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvald
s
W
e
d
i
dn't mark symbol
s
wi
t
h their address taken
as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make expres
s
i
on type enums st
a
rt at
one
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Tor
v
alds
i
n
lining:
don't copy an initializer expression for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Sam
Ravn
b
org
[PATCH] s
p
arse: fails to loc
a
te stdarg
.
h
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
T
orvalds
Linearize EXPR_POS initializers more carefully:
t
hey can
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add
o
pt
i
on "-Wp
t
r-subtra
c
tion-
b
lows" to warn about
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torvalds
Make "check_acc
e
ss()" take the size of the access properly
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orval
d
s
Don
'
t do the pointer of
f
set update for a pointer
a
dditio
n
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
D
o
n'
t
try to recursively check for an
a
ss
o
ciative
i
nsn
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add warning for accessing o
u
tsi
d
e
of a symbol
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Simplify
O
P
_PTRCAST
o
ps
too for now
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus T
o
rvalds
F
i
x array size cal
c
u
lati
o
n when the l
a
st en
t
ry is an
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Ma
k
e output_insn(
)
tell where it was called from, and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvald
s
Make "
f
ill_reg" d
o
somewhat the ri
g
ht thing when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Oops
.
Mis
s
ed a
p
l
a
ce
w
h
ere we still tested
for "busy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvalds
M
ake th
e
argume
n
t s
t
orag
e
s
e
tup be a b
i
t m
o
re accurate
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
T
o
plevel symbols are e
x
te
r
nally addressable only
i
f
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Make
"
r
e
g->busy" mean
h
ow ma
n
y "operands" actual
l
y
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Sta
r
t moving to a more symbol
"
struct ope
r
a
nd" n
o
tion
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Fix "addre
s
s_take
n
()" fun
c
tion to work at least pitifully
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Get comparison sizes right
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
Spli
t
OP_SETVAL into OP
_
SETVAL (fp expre
s
sion
s
and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make sure to mark all registers that h
a
v
e
a
lrea
d
y been
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
r
v
a
lds
The stack
offset is
g
lo
b
al, not per-bb
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
u
h
.
We marked the
wro
n
g r
e
gister REG_FIXED when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ad
d
some bac
k
-o
f
-the-envelope sup
p
ort for asm
i
np
u
ts
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
ds
Do absolutely horrid jo
b
of gene
r
a
t
ing code for asms
.
commit
|
commitdiff
|
tree
2005-04-08
santtu
.
hyrkko@gmail
.
com
[
P
ATCH] Di
f
f to mak
e
sparse
n
ot complain about __format_
a
rg__
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
ld
s
Use the one
-
dee
p
CC-cache for OP_SEL to
o
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
S
i
mpli
f
y con
d
itional on ca
s
t-to-lar
g
er-size
to con
d
itional
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
If w
e
decid
e
to mark a re
g
ister as being its own
s
torag
e
,
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvald
s
A
d
d a one-deep CC-cac
h
e for
c
ondition
c
ode settin
g
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
T
orvalds
Verify
that output/in
p
ut asm c
o
nstrain
t
s re
a
lly look
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Save off the
a
s
m
p
a
r
ameter name t
o
o
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Show as
m
inputs/outputs as bugus instr
u
ct
i
ons as opposed
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
rvalds
Star
t
l
ooking at asms
i
n code gener
a
tion
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
M
a
ke asm
linearization not d
r
op the
c
onstraints
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
o
r
valds
D
o
s
ome
k
i
nd of signe
d
cast too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do s
l
ightly better on
c
asts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
T
e
ach c
o
de generator a
b
out commutative operation
s
.
commit
|
commitdiff
|
tree
2005-04-08
L
inu
s
T
o
r
valds
O
op
s
.
Di
d
n't
remember about BINCMP ops wh
e
n doing the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvald
s
Teach
s
implifi
c
ation abo
u
t associat
i
v
e
operators
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ma
k
e commutative o
p
e
rati
o
ns
use a c
a
nonical order
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Mark th
e
backing store storage dea
d
w
h
e
n mark
i
ng a
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Make "find_pseud
o
_storage()"
r
etu
r
n the storag
e
has
h
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Split up the
c
ode th
a
t finds the underlyin
g
sto
r
a
ge
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torval
d
s
Add s
t
or
a
ge u
s
age verification ph
a
s
e
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add
s
upp
o
rt for various ar
c
h-specific
s
t
o
rage allocation
commit
|
commitdiff
|
tree
2005-04-08
L
inus
T
orvalds
Add the argument pseudos to the "enter" instruction
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Expose lookup_
s
torage/ad
d
_st
o
rage
to co
d
e
g
enerator
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
T
orva
l
ds
Sort swit
c
h target
list
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Kill
o
f
f dead pse
u
d
os before doing target allocation
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
K
e
e
p
dead pse
u
d
os
i
n the register
"busy" count, add
.
.
.
commit
|
commitdiff
|
tree
next