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
Free more token memory for re-use
2005-04-08
Linus
T
orvalds
F
ree more token memory for re-u
s
e
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Make the pre-processor free the tokens that never make it
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add support for fre
e
i
ng constant-sized allocatio
n
s
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torvalds
Hon
o
r pre-processor con
d
ition
a
ls even when they don
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Prettier d
e
bug
pri
n
tout
- fix missing \n
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
M
a
ke it
eas
i
e
r to s
e
e what
replaced instru
c
t
i
ons
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
or
v
alds
Br
e
ep! Fix on
e
mi
l
lionth
i
nlining bug
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Re
m
ove deathnotes
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Sanity-check the instruction
s
w
e walk
o
ver wh
e
n rep
l
acing
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make
the pseudo us
a
g
e
list be a lis
t
o
f pointe
r
s t
o
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Whe
n
adding a list
e
n
t
ry, we so
m
etimes want the
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
D
o
a
v
e
ry stupid sin
g
l
e
-st
o
r
e usa
g
e simp
l
ifi
c
ation
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
a
l
ds
Add "argument pseu
d
o
"
for inc
o
mi
n
g
a
rguments to
a function
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make our "__builtin_va_
a
rg()" thing a b
i
t closer to
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Ma
k
e ini
t
ial
i
zer
s
use th
e
proper symbol pseudo
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Show
usage notes for symb
o
ls
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus T
o
r
valds
Add a few missing pseudo us
a
ge-notes
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Each pseudo has
i
ts "d
e
f"
pointer, they n
o
w also have
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Use the new value pseudos instea
d
of add_const_value()
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Remove EXPR_BITFIEL
D
enti
r
ely
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Pack basic blocks o
n
ly a
f
te
r
p
h
i
node oper
a
tions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
a
lds
Fix up phi nod
e
simpli
f
ication for new
p
seud
o
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
S
i
mplify "
c
opy
_
pseudo()"
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvald
s
Intro
d
u
ce "v
a
lue pseu
d
os" a
n
d implicit deathno
t
es
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
misc pse
u
do cle
a
nups
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
U
s
e the
s
ymbol pse
u
do conce
p
t for
call t
a
r
g
ets too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
A
llow "pse
u
d
o-
p
seudos",
w
hich ar
e
a temporar
y
symbo
l
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Use
dir
e
ct sym
b
ol
a
c
c
esses f
o
r a
l
l symbols, not just
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
a
l
d
s
A
d
d
usage
refcounting to pseudo
s
to
mak
e
deathnote
s
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Re-do memory
a
ccess lineariz
a
tion
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Torva
l
ds
If
t
w
o implie
d
casts
end up
u
ndoing each other, j
u
st
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
S
e
p
ar
a
t
e
explicit and implied cast
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvald
s
Simpl
i
fy implied
ca
s
ts
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
D
o
n't do assignment re
p
lac
e
ment at type evaluation
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Only straight a
s
sign
m
ents are confusin
g
i
n
co
n
ditionals
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Don't
bother masking the v
a
lue w
e
stor
e
in
t
o a
b
itfie
l
d
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Don't warn
a
bou
t
assignment
s
in iter
a
to
r
conditio
n
als
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Remove expan
s
io
n
o
f
"short" con
d
itionals at evalua
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Don'
t
change cond
i
t
i
onals upon evaluat
i
o
n
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
U
sing a prepr
o
cessor symbol makes it n
o
n-weak
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
Make #
i
fdef/#ifndef/
d
efined
(
)
all
u
s
e
the same helper
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
welinder@
t
roll
.
com
Merge troll
.
com:/scratch/welinder/li
n
us-sparse
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvald
s
Use
l
inearize
_
ptr_
l
ist() to
a
void inte
r
nal
k
nowledg
e
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us
T
orvalds
Add
"
li
n
e
a
r
i
ze_ptr_list()"
t
o
turn a pointer l
i
st into
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
v
a
lds
Use "weak_define"
f
or _
_
SIZ
E
_
T
YP
E
__ and
_
_STDC__
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
A
d
d "weak" def
i
nes
commit
|
commitdiff
|
tree
2005-04-08
L
inus
Torvalds
W
hen re-definin
g
a
s
y
mbol, let the ne
w
definition sh
i
n
e
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Christopher
Li
[PATCH]
l
i
near
i
z
e bitf
i
eld initializer
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix up dropped bit check
commit
|
commitdiff
|
tree
2005-04-08
L
inus Tor
v
alds
enums, bitfields and nodes pick up their signedness
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Mak
e
the cast tru
n
cation war
n
ing a bit more re
a
dable
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
Mak
e
casts w
a
rn if they drop bi
t
s
f
rom
c
ons
t
ant valu
e
s
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Set
t
he
b
it_offset i
n
the SYM_BITFIELD
entry
too, no
t
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Remove "
f
ieldwid
t
h" m
e
mber of struct symbol
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Make bitfield
a
ssignm
e
nt typ
e
evalua
t
ion aware
o
f the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvald
s
Fix up
s
tru
c
ture bit
f
ield p
l
acement
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
Chec
k
intege
r
/FP promo
t
io
n
e
ar
l
y in c
o
mpa
t
ible_assignment_ty
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
in
u
s To
r
v
a
lds
Examine bitfield symbols
properly
.
commit
|
commitdiff
|
tree
2005-04-08
Christ
o
pher Li
[PATCH]
L
i
nearize initial
i
zer
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvald
s
Don
'
t
g
enerate
i
nvalid phi-nodes
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
R
emove stale EXPR_ASSIGN
M
ENT b
i
n
op l
i
ne
a
riza
t
ion
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Do
s
illy phi-node
"expansion" as t
h
e l
a
st phase of the
commit
|
commitdiff
|
tree
2005-04-08
w
e
li
n
d
e
r@trol
l
.
co
m
Prevent
buffer overrun in show_string
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Use
p
roper ptrdiff_t printf argum
e
nt
.
commit
|
commitdiff
|
tree
2005-04-08
f
zago@
s
ystemf
a
br
i
cwo
.
.
.
[PATCH
]
__builtin_frame_address
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
Tor
v
alds
Add deathno
t
es fo
r
block st
a
tement nodes and
void c
a
s
t
s
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Remove remnants of two-exp
r
ession x ? : y
handling
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Ad
d
deathnote
s
f
or the pseudo's we
use
.
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s
T
orvalds
Fix s
h
ow-linearize symbol
SETVAL output
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Make
l
ock context warnings a
bit more readable
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
lds
Make sure t
o
examine
restric
t
ed types too
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
Us
e
'bad_type' instead of NU
L
L when so
m
ething bad hap
p
ens
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvalds
Implement a C99-
l
ike
_
B
ool type
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix up inte
g
er prom
o
ti
o
n
s
o
that it work
s
on
all
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvald
s
Ad
d
com
m
ent
on
w
h
a
t caused type examination
recursion
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Merge http://sparse-mw
.
bkbits
.
net:8080
/
ja
n
itorial
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Clean up symbol ex
a
mination som
e
mor
e
.
commit
|
commitdiff
|
tree
2005-04-08
welinder@
t
ro
l
l
.
c
om
Merge troll
.
com:/sc
r
atch
/
wel
i
n
der/linus-s
p
arse
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Don
'
t recurse
o
n
struct/un
i
on symb
o
l examine,
if the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torvalds
D
o
n't gene
r
at
e
invali
d
statements w
h
en e
n
coun
t
e
r
ing a
commit
|
commitdiff
|
tree
2005-04-08
welinder@troll
.
com
Allow longer number tokens
(
up to 4095 char
a
cters)
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Be more
fo
r
giving
a
b
out bad 'goto' statement linearization
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torva
l
ds
Do base_type
ex
a
m
ina
t
i
o
n
in
c
o
m
mon
co
d
e in examine_symbo
l
_ty
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torva
l
ds
When re-evaluating the type of a funct
i
on
agument
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Ra
l
f
.
Wildenhues
.
.
.
[PATCH] More validation
tests
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
In
c
r
ease id
e
ntifier hash size
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix cost o
f
a simplified int/fp
binop exp
r
essi
o
n
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
I
m
plement __bui
l
t
i
n_safe_p() t
o
match __bu
i
ltin_constant_p
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
u
s
T
orvalds
Now
t
hat we don't do array sizing at symb
o
l eval time
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
All
o
w z
e
r
o-sized array
i
n
iti
a
li
z
ers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvald
s
Don't SIG
S
EGV on N
U
LL pseu
d
o_t's w
h
en sho
w
ing bad i
n
str
u
ctions
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Do a
r
ray sizi
n
g at
"
examine_symbol_t
y
pe()" time
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make context count w
a
rning
b
e co
n
trollabl
e
wi
t
h "-W
c
ontext
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
T
orvald
s
Make context at
t
ribut
e
s additive
.
commit
|
commitdiff
|
tree
2005-04-08
Linus T
o
rvald
s
S
tart "linearizing" i
n
itializers
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
al
d
s
B
reak out
S
TM
T
_COMPOU
N
D linearization into
a
function
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torvalds
Fix inlining: we d
i
dn't copy the swit
c
h c
a
se symbol
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
alds
Do
s
ome
trivial
s
t
atement
simplification
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Make "show_bb()" show t
h
e
s
o
u
rce loc
a
tion
o
f the basic
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Tor
v
ald
s
Remove 'pos' argument from "add
_
one_insn()
"
.
commit
|
commitdiff
|
tree
next