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
The main change here was to completely rewrite how conditions are handled.
2008-09-01
Dan
C
a
r
penter
The main
c
hange he
r
e was to completely rewr
i
t
e how
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Brea
k
things
o
u
t
into functio
n
s a bit
.
Clean ups
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan
C
arpen
t
er
Handle while and fo
r
l
o
ops sli
g
htly
bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Da
n
Carpe
n
ter
I removed nullify_path() earlier
b
ut that was
a
mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
Carpenter
I don't
t
hink
t
he special_kerne
l
_macros
(
)
f
u
n
cti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carp
e
nter
Add
a
function to
do a
s
trcmp()
wit
h
a symbol
n
a
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remov
e
every
t
hing to do with path_id
'
s
.
I
couldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an C
a
rpente
r
Replace th
e
va
r
i
a
ble __negate with the function
_
_negate()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
Small cle
a
n up
.
Mov
e
t
he passing the whole c
o
nd
i
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Crap
.
I meant to merge this earlier
w
he
n
I di
v
ided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Ad
d
a co
m
ment
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Moved all the
logi
c
for han
d
ling conditions into
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpent
e
r
Oops
.
I
g
uess I
deleted th
e
wrong
l
ist
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Don't pass
the con
t
ents of sizeof()
to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
Improve how the debug info for
merging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
D
a
n
C
arpenter
T
h
e main thing is to ha
n
dle zero compa
r
isons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Remove
u
nneeded code
.
This
s
tuff is han
d
led in smatch_flow
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
W
e
n
e
e
d to be able to bre
a
k down
(
foo
!
= 0)
f
o
r
BUG_
O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Identify for(;;) t
y
pe loops as for
e
ver
loops
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
Add
s
upport for BUG_ON
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
What I've seen is stuff like this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
C
a
r
penter
A
n
ything that we don't handle is obviously c
o
m
p
lic
a
ted
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
en
t
e
r
Add a c
o
mment to get_variable
_
fr
o
m_e
x
p
r
_sim
p
le
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
The nullify_path() here is a bug
.
It
o
ver-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
Ca
r
penter
__
p
r
i
nt_cur_slist() i
s
a u
s
eful function for
d
ebugging
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Carpen
t
er
If yo
u
have somethi
n
g
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Update the li
n
e
numbers for each statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
Chang
e
the merg
e
rules for custom merge scripts
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpenter
M
ove
SM_DEBUG to a he
a
der so everyone ca
n
use
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carpent
e
r
Add a custo
m
merge fun
c
tion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
D
a
n Carpenter
Upda
t
e the line number a
t
t
he very start o
f
the funct
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
Change the debug output a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
arpenter
A
d
d a --debug option
.
It h
a
s t
o
b
e the fir
s
t option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpe
n
t
er
M
a
ke sure
the
v
ariable name is N
U
LL ter
m
inated otherwise
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Small
c
le
a
n ups
.
No cha
n
ge in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan C
a
rpe
n
ter
This is an off
by one
e
rr
o
r
really
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpenter
The
s
pa
r
se_
i
nitialize()
function now takes a filelis
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
a
r
pen
t
er
Remove an off b
y
on
e
error detecting the end of
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
a
r
penter
Patch it w
i
th th
e
stuff from
t
he we
b
commit
|
commitdiff
|
tree
2008-08-05
Dan Carpente
r
T
h
is is
a
n u
n
mod
i
f
ied t
a
r ball
.
commit
|
commitdiff
|
tree