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
Linu
s
Torvalds
D
on't free expressions af
t
er preprocess
i
ng
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
Add
DE
B
UG m
o
de, which e
n
a
b
les various
exp
e
nsive debug
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linu
s
T
orvalds
Make types have file scope, no
t
global scope
commit
|
commitdiff
|
tree
2005-08-03
Linus Tor
v
alds
Make "s
p
arse()" hand
l
e
multip
l
e
in
p
u
t files on the
.
.
.
commit
|
commitdiff
|
tree
2005-08-03
Linus
T
orvalds
Make m
a
cros hav
e
file scope
commit
|
commitdiff
|
tree
2005-08-03
Linus Torvalds
When
d
r
o
p
pi
n
g
a
l
l alloc
a
tions, c
l
e
ar the freelist too
commit
|
commitdiff
|
tree
2005-08-02
Linus
T
orvalds
Start
w
o
r
k o
n
proper scoping
w
i
t
h
multiple files
commit
|
commitdiff
|
tree
2005-07-11
Linus Tor
v
alds
Do
n
't w
a
rn abou
t
"nocas
t
" warni
n
gs that
o
nly chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2005-07-03
L
inus Torvalds
Add "_
_
b
u
iltin_
o
ffsetof()" t
o
w
o
rk
w
it
h
newer gcc'
s
commit
|
commitdiff
|
tree
2005-06-21
L
i
n
us T
o
rvalds
Be more careful abo
u
t line
a
ri
z
ing
c
on
d
itionals
commit
|
commitdiff
|
tree
2005-06-20
L
i
nus Torvalds
I
n
i
t
ial c
u
t at _
_
builtin_expect
(
) impl
e
ment
a
tion
commit
|
commitdiff
|
tree
2005-06-20
Linus Torvalds
Default to
r
eporting the same GNU C ve
r
sion as the
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
L
i
n
u
s Torvalds
F
ix assignme
n
t an
d
condi
t
ional express
i
on
p
arsing
w
ith
.
.
.
commit
|
commitdiff
|
tree
2005-06-20
Li
n
us T
o
rvalds
Fix SIGSEGV
o
n assignment to bad left side
.
commit
|
commitdiff
|
tree
2005-06-17
L
i
nu
s
Torvalds
Fix
up
a few missing base type
e
valuations
commit
|
commitdiff
|
tree
2005-06-17
Linus Torvalds
Fix up type exami
n
a
t
i
on
.
commit
|
commitdiff
|
tree
2005-05-19
L
inus
Torvalds
Don't w
a
rn about u
n
declare
d
"mai
n
()" function
.
commit
|
commitdiff
|
tree
2005-05-19
Linus Torvalds
Fix posit
i
on reporting
o
n
unterminated preprocessor
.
.
.
commit
|
commitdiff
|
tree
2005-05-17
Linus Torva
l
d
s
Fix SI
G
SEGV
o
n non-ANSI function-line d
e
clarations
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Give
f
unctio
n
name
i
n non-ANSI declaration warning
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvald
s
Ma
k
e enum symb
o
l
s be r
e
g
u
lar sy
m
bols with c
o
nstant
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn about im
p
lic
i
t casts to/
f
rom "no
c
ast"
t
ypes
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torva
l
ds
M
o
v
e
t
h
e pt
r
list
m
acros ou
t
of the
s
pa
r
s
e
"l
i
b
.
[ch
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
H
a
ndle
b
a
d
enum
e
xpression types gracefully
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add suppo
r
t
fo
r
co
n
tex
t
c
hecking f
u
nctions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orv
a
lds
N
ame static library "libsp
a
rse
.
a"
t
o
mat
c
h shared library
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Don't warn about zero-siz
e
d "size
o
f"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
W
arn about u
n
d
e
c
l
a
red identi
f
i
ers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Support buil
d
ing
s
p
arse
a
s a
s
h
a
red library
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
War
n
about
s
i
z
eof o
f
ze
r
o si
z
e
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Tor
v
alds
Be more carefu
l
about remo
v
ing
i
m
p
licit
casts
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Make sure
t
o re-examine a str
u
ct/union/enu
m
type after
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mak
e
"check" (aka sp
a
rse) check ar
g
uments to some func
t
i
o
ns
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Fix
t
ypo (duplicate src2 sh
o
uld
be src3)
i
n simplify_range
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torv
a
lds
Remove old stale
p
o
i
n
t
er derefere
n
c
e
ty
p
e mess, that
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Tor
v
alds
Expo
r
t "is_pt
r
_t
y
pe()" helper
f
uncti
o
n
to others
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Avoi
d
SIGSEGV
w
hen lin
e
arizi
n
g bad exp
r
essions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
on'
t
drop modifier bits
f
r
om a m
e
mber dereference
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Use the new per-instruc
t
i
on posit
i
on in
f
ormation for
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Make each in
s
truction have a position of its o
w
n
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
M
ake range check code a bit more readabl
e
(a
n
d
m
ore
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add com
p
ile-time "
r
ange-
c
h
e
ck" infr
a
struct
u
re to spar
s
e
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orva
l
d
s
Make sur
e
we
e
valuate pointer c
o
mparis
o
ns
a
s unsigned
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Shut u
p
informationa
l
messages on
c
e we've hi
t
the maximum
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torval
d
s
Make "check" (aka "
s
parse") check data-dropping casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make simplification remove
casts that ch
a
nge neither
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
S
p
lit O
P
_CAST into signed, u
n
signe
d
and FP casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Simplify OP_C
A
ST of OP_
A
ND
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
To
r
vald
s
D
on't optimize away casts too early
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Duh
.
Whe
n
a
f
unctio
n
retu
r
ns V
O
ID, we should _no
t
_
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix c
o
de gene
r
a
t
ion confusio
n
between OP_A
D
DR and the
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Ma
k
e the examp
l
e code ge
n
erat
o
r do
something
half-wa
y
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torv
a
lds
Make c
o
n
s
t
a
n
t instruction
s
i
mplification take
the s
i
gn
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Spli
t
the bi
n
ops w
h
er
e
signedn
e
ss matters into unsigne
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make linearize
r
able to handl
e
as
s
ignme
n
t
o
ps where the
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
T
orvald
s
Evaluate
a
sm
outputs
a
s a
s
signments
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
We didn'
t
mark
s
ymbols
with th
e
ir a
d
d
re
s
s taken as
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
valds
Make expression type
e
nums start at one
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orv
a
lds
inlining: don
'
t
copy
an initiali
z
er expre
s
sion f
o
r
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
L
inea
r
ize EXPR
_
POS init
i
alizers more care
f
ul
l
y: they can
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
A
d
d option
"
-Wptr-subtraction-blow
s
"
to
warn about
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
"
chec
k
_access()" take the size o
f
the access pro
p
erly
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
on't
d
o
the pointer offset
u
p
d
a
t
e
fo
r
a pointer addition
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Don
'
t
try to recursi
v
ely
c
heck for an associativ
e
insn
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add warning for
accessin
g
outside o
f
a symbol
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Simplify OP_PTR
C
A
ST
o
ps to
o
fo
r
now
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us
T
orvalds
F
i
x array
size
calculation
w
h
en
t
he las
t
entr
y
is a
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
ke output_
i
nsn() tell wher
e
it was called fro
m
, and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Make "fill_reg" do somewha
t
the right th
i
n
g when
we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rva
l
ds
Oops
.
Misse
d
a place where we
still tested for "busy
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
M
ake the argument storage s
e
tup
be a bit more acc
u
r
a
te
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvald
s
Toplevel symbols are exte
r
nal
l
y addressable only i
f
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
rvalds
M
a
k
e "reg-
>
busy"
mea
n
ho
w
many
"operands" a
c
tually
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Start moving to a mor
e
sy
m
bol "struct
operand
"
notion
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torva
l
d
s
Fix "addres
s
_t
a
ken
(
)"
f
unction
t
o work at least
p
iti
f
ul
l
y
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Ge
t
c
o
mparison sizes right
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Sp
l
it OP_S
E
TVAL i
n
to OP_SETVAL (
f
p expressio
n
s and
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
M
ake sure to mark
a
ll regist
e
r
s that ha
v
e a
l
r
eady been
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
The st
a
c
k
offset is global, not per-bb
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Duh
.
We m
a
rked the wrong register
R
EG_
F
IXED
when we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torval
d
s
Add some back-of-the-e
n
vel
o
pe
s
u
pport for as
m
i
n
puts
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us T
o
rvalds
Do absolutel
y
horrid job of ge
n
erating code for asms
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orva
l
d
s
Use the one
-
d
e
ep CC-
c
ache for OP_SEL too
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus
Torvalds
Simpl
i
f
y conditional on ca
s
t-
t
o-larger-
s
ize to condi
t
ional
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
If we
decide
to mark a re
g
ister as being its
o
wn storage,
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ad
d
a
o
ne-deep
CC-c
a
che for condition code setting
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Verify
t
h
at outp
u
t/
i
nput asm constraints really
l
o
o
k
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Save off the asm pa
r
ameter nam
e
too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Show asm
inpu
t
s/outputs as bugus instructions as oppose
d
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torva
l
ds
S
tart lo
o
k
i
ng at asms
in code generation
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make a
s
m l
i
nearization not drop the constraints
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torv
a
lds
Do some kind
of signe
d
cast too
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvald
s
Do slig
h
tly better on casts
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Te
a
ch code generator about
c
ommutative operations
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Oops
.
D
idn'
t
remember
a
bout BINCMP ops when doing the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Tea
c
h si
m
plif
i
c
ation about
ass
o
c
iativ
e
operators
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Make co
m
mutative operation
s
use a can
o
n
ica
l
order
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Mark the backing store
storage dea
d
when marki
n
g a
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Make "find_
p
seud
o
_storage()" return the storage hash
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
T
or
v
alds
Sp
l
it up the code that find
s
the
underlying
s
t
orage
.
.
.
commit
|
commitdiff
|
tree
next