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
Don't free expressions after preprocessing
2005-08-03
Linus To
r
valds
Don't fre
e
expressions a
f
ter prep
r
ocessing
commit
|
commitdiff
|
tree
2005-08-03
Lin
u
s
T
orvalds
Ad
d
D
E
B
U
G
m
ode,
w
hi
c
h
enables vario
u
s expensive de
b
ug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Lin
u
s
T
orva
l
ds
M
a
ke types have file sco
p
e,
not
g
lob
a
l scope
commit
|
commitdiff
|
tree
2005-08-03
L
inus To
r
valds
Make
"sparse
(
)" handle multiple
i
nput files on
the
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Make macros h
a
ve
f
ile scop
e
commit
|
commitdiff
|
tree
2005-08-03
L
i
nus Torva
l
ds
W
h
en dro
p
ping al
l
all
o
cations, c
l
e
a
r the freelis
t
too
commit
|
commitdiff
|
tree
2005-08-02
Linus Torval
d
s
Sta
r
t work on
p
roper scoping with mu
l
t
i
p
le files
commit
|
commitdiff
|
tree
2005-07-11
Linus T
o
rvalds
Don't warn a
b
ou
t
"no
c
ast" warnings
t
hat only change
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
L
i
nus Torval
d
s
Add "_
_
buil
t
in_offsetof()" to wor
k
wit
h
newer g
c
c's
commit
|
commitdiff
|
tree
2005-06-21
Lin
u
s Torva
l
ds
Be more care
f
ul abou
t
l
i
nearizi
n
g conditionals
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Initial
cut at __built
i
n_expe
c
t() imple
m
entation
commit
|
commitdiff
|
tree
2005-06-20
Linus Tor
v
alds
D
e
fau
l
t to
r
eporting the same G
N
U
C
ver
s
ion as
t
he
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Fix assi
g
nm
e
nt and conditional e
x
pressi
o
n
parsi
n
g with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Fix SIGSEG
V
o
n assig
n
ment to bad lef
t
side
.
commit
|
commitdiff
|
tree
2005-06-17
Linu
s
Torval
d
s
Fi
x
up a few
m
issing base type evaluatio
n
s
commit
|
commitdiff
|
tree
2005-06-17
L
i
nus
Torva
l
ds
Fix up type examination
.
commit
|
commitdiff
|
tree
2005-05-19
Linus
T
orvalds
Don't
warn about undecla
r
ed "m
a
in()" f
u
n
c
tion
.
commit
|
commitdiff
|
tree
2005-05-19
Linu
s
Torval
d
s
Fix
p
osition repo
r
t
i
ng
o
n unt
e
rminated preprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Lin
u
s
Torv
a
l
d
s
Fix SIGSE
G
V on non-ANSI funct
i
o
n-line declarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Give function name in non-
A
NSI
de
c
laration warning
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Make enum symbols be regular symbols with constant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s Torvalds
Warn abo
u
t implicit casts to/from "nocast" ty
p
es
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Move the ptrlis
t
macros out
o
f the sparse "lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
Torvalds
Handle bad enum expression type
s
gr
a
cefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Add suppo
r
t for
context
c
h
ecking functions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Name
s
tati
c
lib
r
ary "libsparse
.
a
"
to match sh
a
red library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Don't w
a
rn
about ze
r
o-sized
"
sizeof
"
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
or
v
alds
Warn about undecla
r
e
d identifiers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Suppo
r
t
b
uildi
n
g sparse as a shared libr
a
r
y
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
W
a
rn about si
z
eof of ze
r
o size
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Be mo
r
e care
f
ul about remo
v
ing implicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Ma
k
e sure to
r
e-exami
n
e a struct/union
/
e
num type after
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rv
a
lds
Make
"
check" (aka sparse) check ar
g
u
men
t
s to some functio
n
s
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Fix
t
ypo (duplicate src2
s
hou
l
d be src3)
in
s
implify_ran
g
e
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
Remov
e
old sta
l
e pointer d
e
ref
e
rence type m
e
ss, tha
t
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Expor
t
"is_ptr_type()" he
l
per function
to
ot
h
ers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torv
a
l
d
s
Avoid
S
IGSEGV when linearizin
g
bad exp
r
essions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't
d
rop modifier b
i
ts from a memb
e
r derefe
r
ence
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
U
s
e the
n
ew p
e
r-inst
r
u
c
tion position in
f
ormation for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torval
d
s
M
ake
e
a
ch
i
nstruction have a
p
os
i
t
i
on of its own
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make range check code a bit mor
e
readable (and more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Add com
p
i
le-time "ran
g
e-ch
e
ck" infrastr
u
cture
to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
s
ure we evaluate pointer com
p
arisons
a
s unsi
g
ned
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torv
a
lds
Shut
u
p informat
i
onal messages once we've hit the maximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Make "check" (aka "sparse"
)
c
heck d
a
ta-dro
p
ping
casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
ke simplification remove casts that change neith
e
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
To
r
val
d
s
Split OP_CAST into signed,
unsigned and
F
P casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Simplify OP_CAST
o
f
O
P_A
N
D
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s To
r
valds
D
o
n't opt
i
mize away
casts too
e
arly
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Duh
.
When a function return
s
V
OID,
w
e should _
n
ot_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torv
a
lds
Fix code generat
i
on confu
s
ion between OP_ADDR and the
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torva
l
ds
Make t
h
e
e
xample code generator do something
hal
f
-
wa
y
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
ake
c
onstant in
s
tru
c
tion
s
i
mplif
i
catio
n
t
a
k
e
the sign
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Spli
t
the bi
n
ops
w
he
r
e s
i
g
n
edness
m
atters
i
n
to
u
nsigned
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orva
l
ds
Ma
k
e linearizer able to h
a
nd
l
e assi
g
nment
ops wh
e
re t
h
e
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Eva
l
uate asm outputs as ass
i
gnmen
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
We
d
i
d
n't m
a
rk symbo
l
s with their addre
s
s taken
a
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
vald
s
Make expre
s
sion type enums star
t
at o
n
e
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
i
n
lining: d
o
n't
c
o
p
y
an initializ
e
r expressi
o
n for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
Torvalds
Lineariz
e
EXPR_P
O
S i
n
itializers more carefully: they can
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Add option "-Wptr-subt
r
ac
t
i
o
n-blows" to war
n
about
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
M
ake "ch
e
ck_access()" tak
e
the size of
t
h
e
access p
r
oper
l
y
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Don't
d
o the pointer o
f
fset
u
p
date for a pointer addi
t
ion
commit
|
commitdiff
|
tree
2005-04-08
L
inus
T
orvalds
Don
'
t try
t
o re
c
ursiv
e
ly chec
k
for
a
n
ass
o
ciative
i
nsn
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Add warni
n
g fo
r
a
cc
e
ssing outside o
f
a symbol
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
va
l
ds
Simplify O
P
_PTRC
A
ST ops too f
o
r
now
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
valds
Fix ar
r
ay size calculation w
h
en
t
he last entr
y
is an
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Make out
p
ut_insn() tell
wh
e
r
e
it
w
as c
a
lled from
,
an
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Make "fill_reg"
d
o somewha
t
t
he
r
ight thing when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torv
a
lds
Oops
.
Missed a
p
lace where we still tes
t
ed f
o
r "busy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
or
v
a
lds
M
ake the argument st
o
rage setup be a bit
m
ore
accurat
e
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Toplevel
symbols are e
x
te
r
nally
addr
e
ssable only i
f
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us To
r
v
alds
Make
"reg->busy" mean how ma
n
y "op
e
r
a
nds" actually
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Start mo
v
ing to
a more symbol "st
r
uct o
p
era
n
d" notio
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torv
a
lds
F
ix "add
r
ess_taken()"
f
u
n
ction to work at lea
s
t
p
itiful
l
y
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
G
e
t
compa
r
ison s
i
zes ri
g
ht
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
ds
Split OP_SETV
A
L i
n
t
o
OP_S
E
TVAL (fp expressio
n
s and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Make sure to ma
r
k all regi
s
ters
t
hat ha
v
e already been
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
The
s
tack offse
t
is global,
n
o
t pe
r
-b
b
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
D
uh
.
We marke
d
the wrong register
REG_FIXE
D
w
h
en we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
A
d
d
some
b
ack-of-the-envelop
e
support for
a
s
m i
n
puts
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do absolutely horrid jo
b
of
generatin
g
code for asms
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torv
a
l
d
s
Use
the o
n
e-deep CC-cache f
o
r
O
P_SEL
too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simp
l
ify conditiona
l
o
n cast-to-larger-
s
i
z
e to conditional
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
If we decide to
m
ark
a
r
egist
e
r as bein
g
its
o
wn storage,
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Add a one-deep CC-cache for
c
on
d
i
t
ion code setting
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Verify th
a
t out
p
u
t/input asm
c
onstraints really
l
ook
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Sa
v
e off the asm par
a
meter name t
o
o
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
S
how asm inputs/outputs as
bugus instr
u
ctions as opposed
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
S
tart
looking at
a
sms
in code
g
en
e
ration
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make asm linea
r
izati
o
n not drop the cons
t
ra
i
nts
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torval
d
s
Do some
kin
d
of
s
igned cast too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do s
l
ightly bet
t
er on c
a
sts
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us T
o
rvalds
Teach code
g
e
nera
t
o
r
about com
m
ut
a
ti
v
e op
e
rations
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
T
o
r
v
alds
O
ops
.
Did
n
't
r
emember about BINC
M
P ops when d
o
ing the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Teach
s
impl
i
f
i
c
a
ti
o
n
about
asso
c
iative o
p
erator
s
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Make
c
omm
u
tative oper
a
tions u
s
e
a canoni
c
al ord
e
r
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Mark the ba
c
king
store storage dead when
m
arking a
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Mak
e
"find_pseudo
_
st
o
r
a
ge()" return the storage
ha
s
h
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Spl
i
t up the co
d
e
t
h
at finds the
u
n
der
l
ying
st
o
rage
.
.
.
commit
|
commitdiff
|
tree
next