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
Add proper linearization of switch statements.
2005-04-08
Linu
s
Torvalds
Add
proper linearizati
o
n of swit
c
h stat
e
m
ents
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus To
r
valds
Fix "
a
dd_list_poi
n
ter()" to
k
ee
p
things in
p
roper
o
rder
.
commit
|
commitdiff
|
tree
2005-04-08
Li
n
us Torvalds
Improve s
t
ate
m
ent
pri
n
tout to make the result
m
ore
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
n
us Torvalds
Fix "sh
o
w_symbol_expr_init()" to not
c
r
a
sh if
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus
Torvalds
Split "STMT_GOTO_
B
B" in
t
o "ST
M
T_
C
O
N
DT
R
UE"
a
nd "STMT_CONDFALSE"
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
valds
L
i
nearize it
e
r
ators
,
a
t
l
e
a
s
t
a
first t
r
y at it
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add
"
goto/
l
abel" sup
p
ort fo
r
linearization
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
F
ix
s
ill
y
"else"
cas
e
hand
l
ing bug
.
If we have
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Add rea
l
flow control to the
basic-bl
o
ck handling
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
rvalds
Add a "test-l
i
n
earize"
p
rogram to test th
e
output of
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Oops
.
Fi
x
name clash by renaming the
n
e
w
"
copy_ptr_list
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
This add a
linearization phase
.
It's not
e
v
en cl
o
se
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Allow va
r
iable-sized
a
rray size decla
r
ations
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
orvalds
Fix sy
m
bo
l
derefence type info
r
m
ation me
r
ge
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torv
a
ld
s
Merge bk://kernel
.
bkb
i
ts
.
net/jgarzik
/
sparse
.
hac
k
i
n
g
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Merge bk://kern
e
l
.
b
kbi
t
s
.
n
e
t/jg
a
rzik/sparse
.
hackin
g
commit
|
commitdiff
|
tree
2005-04-08
L
inus Torvalds
M
e
rge
b
k
://kernel
.
bkbit
s
.
net/a
c
me/sparse
.
acm
e
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Merge bk://ke
r
nel
.
bkbit
s
.
net/acme
/
spar
s
e
.
a
cme
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
Merge b
k
:
/
/kernel
.
bk
b
its
.
net/j
g
arzik/s
p
ars
e
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Warn
a
b
out non-constant case
stat
e
ments
.
commit
|
commitdiff
|
tree
2005-04-08
Linus To
r
va
l
ds
A
l
l
o
w DOS-st
y
le '\
r
' characters in the input fi
l
e
s
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvald
s
Ch
e
c
k
f
or
N
ULL point
e
r
s after
having peeled off
t
he
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
M
a
ke the
d
efault in
s
tall directory be $(
H
OME)/bin instead
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torv
a
lds
Disable prematur
e
dead code r
e
m
ova
l
: a blo
c
k th
a
t
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Tor
v
a
l
ds
Add a note in
the rea
d
me about the f
a
ct that we now
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
or
v
al
d
s
Update c
o
pyright
n
oti
c
es to ref
l
e
c
t
t
h
e fact that Transmet
a
commit
|
commitdiff
|
tree
2005-04-08
L
in
u
s Torvalds
More
c
onve
r
sion f
r
om "iter
a
te()" to a
n
explicit FOR_E
A
CH_PTR()
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Sta
r
t migrati
n
g the las
t
s
t
raggling u
s
ers of
t
he
"i
t
er
a
te()"
commit
|
commitdiff
|
tree
2005-04-08
Linus Torva
l
ds
Add a test fo
r
'##' handling from the kernel
s
o
urces,
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
To
r
valds
Imrpove warning me
s
sage
f
o
r
failed m
e
mber nam
e
look
u
p
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torv
a
lds
Make the tokeniz
e
r
re
c
ognize FP tokens, even if we
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nus Torvalds
Cast evalu
a
t
i
o
n is
special: we want t
o
simpl
i
fy the
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
i
nu
s
T
o
rvalds
Fix degen
e
rate
types fo
r
arr
a
y/
f
n e
x
pr
e
ssions
.
W
e used to
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s Torvalds
Add a t
y
pe checking validation
t
e
st-ca
s
e
th
a
t
shows
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
Torv
a
ld
s
You can
u
se a typedef as
a
v
a
r
iable name or a
struct
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Fix RESET_PTR_
L
I
ST() implementa
t
ion:
we forgot to ac
t
ually
commit
|
commitdiff
|
tree
2005-04-08
Lin
u
s To
r
valds
Ma
k
e the "unknown named initializer"
error message
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
L
inus T
o
rvald
s
Fi
x
up fun
c
tion inl
i
ning
:
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
More preprocessor validation tests from comp
.
std
.
c
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torvalds
Add two prep
r
ocessor
t
e
s
t
-
cas
e
s from
c
omp
.
std
.
c
.
commit
|
commitdiff
|
tree
2005-04-08
Linus
T
o
r
valds
Split tree evaluation into two ph
a
ses: t
h
e
first phase
commit
|
commitdiff
|
tree
2005-04-08
Linus Tor
v
alds
N
ow that inlining works, m
a
ke
t
h
e
r
e
turn h
a
ndling work
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linu
s
Torval
d
s
Oo
p
s
.
Th
e
argum
e
n
t symb
o
l i
n
itial
i
ze
r
s
got lost
o
n
.
.
.
commit
|
commitdiff
|
tree
2005-04-08
Linus Torval
d
s
This mak
e
s
func
t
ion inlining la
r
gely work correctly
.
.
.
commit
|
commitdiff
|
tree