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 Torvalds
Don't
fre
e
exp
r
es
s
ions after
pre
p
rocessing
commit
|
commitdiff
|
tree
2005-08-03
Linus Torva
l
ds
Add
DEBUG mode, which enables various expens
i
ve debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
L
i
n
u
s Torvalds
M
a
ke types have file scop
e
, not gl
o
bal sco
p
e
commit
|
commitdiff
|
tree
2005-08-03
Li
n
us Torvald
s
Mak
e
"spar
s
e()" h
a
ndle
multiple input fi
l
es on the
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
Tor
v
a
l
ds
Mak
e
macros hav
e
file
s
cope
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
When droppin
g
all a
l
locations, clear t
h
e
f
r
eelist
too
commit
|
commitdiff
|
tree
2005-08-02
Linus T
o
rv
a
lds
S
ta
r
t work
o
n p
r
ope
r
sc
o
p
ing wit
h
multiple files
commit
|
commitdiff
|
tree
2005-07-11
Linus Torvalds
Don't warn a
b
out "
n
o
c
a
s
t" warnings t
h
at onl
y
chang
e
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
Linus To
r
valds
A
dd "_
_
built
i
n_
o
ffsetof()" to work with newer gcc's
commit
|
commitdiff
|
tree
2005-06-21
Linus Torv
a
l
d
s
Be more careful about linearizing conditi
o
na
l
s
commit
|
commitdiff
|
tree
2005-06-20
L
i
n
u
s Torvalds
Initial cut at
_
_builtin_expect()
i
mplementation
commit
|
commitdiff
|
tree
2005-06-20
L
i
nu
s
Torvalds
Defau
l
t
t
o
repo
r
ti
n
g
the same GNU C v
e
rsion as the
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
inus T
o
rvalds
Fix assignment
and
c
ondit
i
ona
l
expression parsing with
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Linus Torval
d
s
Fix SIGSEGV
on
a
s
signment to bad left side
.
commit
|
commitdiff
|
tree
2005-06-17
L
i
n
u
s Torvalds
F
i
x
up a few missing base type e
v
aluations
commit
|
commitdiff
|
tree
2005-06-17
Linus T
o
r
v
al
d
s
Fix up type examination
.
commit
|
commitdiff
|
tree
2005-05-19
Linus T
o
rvalds
Don't warn abo
u
t undeclared
"ma
i
n(
)
" function
.
commit
|
commitdiff
|
tree
2005-05-19
Linus
To
r
valds
Fix posi
t
ion reporting on unte
r
minate
d
p
rep
r
ocesso
r
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Linus Torvalds
Fix SIGSEGV
on
n
on-ANSI fun
c
t
ion-line
decla
r
a
t
ions
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Give func
t
ion name in
no
n
-ANSI de
c
laration warning
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
M
a
ke
e
num symbols be regula
r
s
ymbols with
c
onstant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
arn about implicit
c
ast
s
to/fr
o
m "noc
a
st" types
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Move the ptrlist
ma
c
ros out of the spar
s
e "lib
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torval
d
s
Han
d
le bad enum expression t
y
pes gracefully
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Add support for context checking funct
i
ons
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Name static
l
i
b
r
ary
"
libspars
e
.
a
" to
m
atc
h
shared library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
D
o
n't warn ab
o
ut
zero-sized "sizeof"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn
a
b
out undeclared
i
d
ent
i
fiers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Support b
u
ild
i
ng sparse as
a
shared lib
r
ary
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
Warn a
b
out siz
e
of of zero si
z
e
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
To
r
valds
Be more careful abo
u
t rem
o
ving implicit casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
alds
Make sure to
re-e
x
a
mine a st
r
uct/un
i
on/enum type after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
d
s
Make "check" (aka sparse) che
c
k a
r
guments to some functions
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Fix typo (duplicate src2 should be s
r
c3) in simplify_r
a
n
g
e
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
R
e
move
o
ld stale pointe
r
dere
f
erence ty
p
e mess, that
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
E
xport "is_ptr_type
(
)" helper
f
u
nction to oth
e
rs
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orv
a
lds
Avoid SIGSEGV when linearizing ba
d
e
x
pr
e
ssions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't d
r
op modifier bits from a mem
b
e
r dereference
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
U
s
e the
n
ew
p
e
r-inst
r
uct
i
o
n
position informa
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make each instru
c
tion have a position of its own
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torval
d
s
M
a
ke
range check code a bit more readable (a
n
d more
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
al
d
s
A
d
d compil
e
-
t
ime
"
ra
n
ge
-
check" infrastruc
t
ure to sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rv
a
lds
Make sur
e
we evaluate point
e
r comparisons a
s
unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
orval
d
s
Sh
u
t up inf
o
rmational messages once we've hit
t
h
e
m
aximum
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
l
ds
M
ak
e
"check" (aka "
s
pa
r
s
e
") che
c
k data-d
r
opping casts
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
M
a
ke sim
p
lification rem
o
ve ca
s
ts tha
t
c
hange neither
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
To
r
v
a
lds
Split OP_CAST into signed, un
s
ig
n
e
d
and FP casts
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
T
orvalds
S
i
mplif
y
OP_CAST
o
f O
P
_
AND
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torval
d
s
Don't optimize away
c
asts too earl
y
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torva
l
ds
Duh
.
W
h
e
n
a function
r
e
turns VOID,
we should
_not_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Fix code generatio
n
c
o
n
f
usion between OP_ADDR a
n
d
the
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
rvalds
M
a
ke the example c
o
de ge
n
erato
r
do something
half-way
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
c
onstant instruction simplifica
t
io
n
take
t
he si
g
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
o
rvalds
S
p
lit the bi
n
ops where
s
ignedness matters into unsign
e
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
lineari
z
er able to
h
andle assignment ops wh
e
re the
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
v
alds
Evaluate asm outputs as assignm
e
nts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
We didn't m
a
rk symbols with the
i
r add
r
ess taken
as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
Torval
d
s
M
a
ke
expression t
y
pe enum
s
s
tart at
o
n
e
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvald
s
inlining:
don't copy an initializer expression for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvald
s
L
i
nearize
E
XPR_POS initializers more carefull
y
: th
e
y can
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Add option "-
W
ptr-subtra
c
tion-blow
s
"
to
w
a
rn
a
bout
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
orvalds
Make
"check_access()"
ta
k
e the si
z
e of the access properly
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don'
t
do the
p
o
inter o
f
fset update
f
or a p
o
i
n
t
e
r addition
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
D
o
n't
t
ry to re
c
ursively
c
heck for an associative ins
n
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Ad
d
warning
f
or
acce
s
s
i
ng o
u
tside
o
f a symbol
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Simplif
y
OP_
P
TRCAS
T
ops too for now
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix array
size calculation when th
e
la
s
t entry is an
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Make outpu
t
_
i
nsn(
)
tell
where it was
call
e
d from, and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Make "fill_reg" do
s
omewha
t
t
he right thing when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
a
lds
Oops
.
Missed a place where we sti
l
l
teste
d
for
"
busy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make the argument stora
g
e setup be
a
bit more
a
c
c
u
r
ate
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Toplevel symbols are externally address
a
bl
e
o
nly if
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Make "reg->bu
s
y
"
mea
n
how ma
n
y
"
operands" actually
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
S
tart moving
t
o
a more symbol "struct op
e
rand" not
i
on
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
Fix "address
_
taken()" function to work at lea
s
t pitifully
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
u
s To
r
valds
Get comparison siz
e
s right
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
T
o
rv
a
lds
Split OP_SETVAL in
t
o OP_SETVA
L
(fp expressions
a
nd
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Ma
k
e sure to mark all regis
t
er
s
that have
already
be
e
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
The st
a
ck of
f
s
e
t is
g
lobal,
not per-bb
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Duh
.
W
e
marked th
e
wrong
r
egister REG_FIX
E
D when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torval
d
s
Add some back-of-t
h
e-envelope support
f
or a
s
m inputs
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Do
absolutely horrid job of ge
n
e
r
ating code fo
r
asms
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
U
s
e the on
e
-deep
C
C-ca
c
he
for OP_SEL too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simplify conditional on cast-to-larg
e
r-size to c
o
nditional
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
r
v
alds
If we deci
d
e to mark a
register as being its own s
t
o
rage,
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Add
a one-deep C
C
-cache
f
or
c
ondition code setting
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Veri
f
y tha
t
output/input asm const
r
aints re
a
lly look
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
To
r
v
a
lds
Sa
v
e off
the asm parameter name too
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torva
l
ds
Show
asm inputs/outputs as
bugus instructions as oppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Start looking
a
t asms
in code
g
enerat
i
on
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make asm
lineariza
t
ion no
t
drop the con
s
t
raints
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do som
e
kind of signed
c
ast
t
oo
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Tor
v
ald
s
Do s
l
ightly
b
ett
e
r on casts
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
Tor
v
alds
Teach code generator about commuta
t
ive operations
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Oop
s
.
Didn't remembe
r
about BIN
C
M
P
ops
when doing the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torva
l
d
s
Teach simpli
f
ication about associative op
e
r
ator
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rv
a
lds
Make co
m
mu
t
ative operations use a
c
anonical orde
r
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mark the
b
a
cking sto
r
e
sto
r
a
g
e d
e
ad when marking
a
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "find_
p
s
eudo_storage()" return the storage
hash
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Split up
the
c
ode that finds the underlying st
o
rage
.
.
.
commit
|
commitdiff
|
tree
next