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
Get rid of path_history. It's never going to be used.
2008-10-13
Dan Car
p
enter
Get rid of p
a
th_history
.
I
t
'
s never go
i
ng to be use
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Make go
t
o
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
en
t
e
r
Spee
d
up
merge_sli
s
t
no
w
t
hat t
h
e s
l
ists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
Car
p
e
n
ter
I
n
se
r
t
s
tuf
f
o
nto
l
ists
in a
s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n
Carpen
t
er
Delete an
unused funct
i
on
mer
g
e_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n
C
a
rpen
t
er
fix: if (*foo) { (*foo)->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carpen
t
er
kmalloc()
and friends
d
on't always return
a
n
o
n-n
u
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
t
e
r
The checks
f
rom here got merged into chec
k
_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpen
t
er
M
o
ve the st
u
f
f
f
rom
c
h
e
ck_derefed_params
.
c into check_
n
ull_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Carpe
n
ter
Fix bug in o
r
_
s
list_stack()
.
if (a &
&
b) wasn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add a hook at the e
n
d o
f
a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan C
a
rpenter
Forgot an
o
th
e
r strip_
e
x
p
r() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assi
g
nm
e
ents inside conditions b
e
tt
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only pr
i
nt som
e
t
hing
f
or a->
f
oo a
n
d
n
ot a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpe
n
ter
Ign
o
r
e array declarat
i
ons
.
Those can't be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
an Carpente
r
Ma
k
e
c
ur_slist
s
tatic
.
It's
only
u
sed in smat
c
h_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
rpen
t
er
Whit
e
spac
e
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Use merge_slist() ins
t
ead of t
r
ying to
h
an
d
le i
t
yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nte
r
_
_process_continues(
)
is sup
p
o
s
ed to be basically
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New
s
m
a
t
ch_ignore
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
arpenter
(foo) = 1 is the sa
m
e as foo
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
eneralize st
i
p_c
a
sts()
.
I
t
's n
o
w call
e
d str
i
p_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arp
e
nter
Ignore casts
.
foo((
i
nt *
)
&bar
)
is the same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Car
p
e
n
ter
Create
d
show_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
I
gnore stuff
l
ike foo
.
ba
r
.
We on
l
y care about
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t
happens before
i
s t
h
at pa
r
ame
t
ers would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a c
r
a
shing
b
u
g in t
h
e int => struct conv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
ter
I can't bel
i
eve I was
d
oing s
t
acks wrong this whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
Changed smat
c
h
s
t
ate from bein
g
an int to being pointer
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpe
n
te
r
I
want to reuse the name
smatch_state
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the null
p
ath thing
.
So
long
a
s t
h
ere
is
one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
Clean
u
p
.
Complicated is
j
ust
a
boolean
.
Set
it to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpent
e
r
Arrays are c
o
mplic
a
ted so
t
hey shouldn
'
t be returne
d
by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If we call set
_
s
tate fr
o
m in
s
ide a condi
t
ion
t
he
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpen
t
er
If
t
he
p
ointer is init
i
a
lized to
n
on
-
null then
s
et
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
D
an Carpenter
i
g
nore the sma
t
ch bin
a
ry
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Da
n
Ca
r
penter
Wh
e
n
we
m
erge 2 slists
we n
e
e
d to
d
eal with th
e
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan
C
arpente
r
C
l
ean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Add nullify the path when you have for
(
;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Mer
g
e br
a
nch 'ls' into ultr
a
tmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Carpenter
Merge bra
n
ch 'un
n
ullify'
into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan C
a
r
penter
L
o
ts
o
f
do
w
hile(0
)
loops don't call break
s
o it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n Carpenter
Fix or_
s
list_
s
tack()
.
Before it just saved
one st
a
ck
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
C
arpenter
crap
crap
crap
.
do not use
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Carpent
e
r
C
lean ups and add some __unnullify_p
a
th st
u
ff
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpenter
Smal
l
cleanup
.
go
t
o_stac
k
should only be used i
n
s
m
a
tch_sta
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan C
a
rpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
F
i
x bug saving the false_
o
nly stack
.
Before code like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpente
r
This is
th
e
start of the smatch_e
x
tra stuff
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Car
p
enter
Fix overwrite_slist() so it takes a pointer t
o
a
p
oi
n
ter
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan Carpenter
Ma
k
e smatch_extra depend on smatch
.
h
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-02
Dan
Ca
r
penter
Mov
e
i
s
_ze
r
o() to smatch_helper
.
c
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Fix a
b
ig bug
.
get_state_slist() was al
w
ays
g
etting
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
M
e
rge
.
.
/
.
.
/sm
a
tch
/
devel
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Carp
e
nter
Me
r
ge branch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Save
t
h
e
pre con
d
it
i
ons inside the con
d
ition
s
so that
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
r
p
enter
The main change here wa
s
to
c
omple
t
ely rewrite ho
w
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
B
r
eak things
out
into functions a
b
it
.
Clea
n
u
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carp
e
nter
Hand
l
e while
a
nd for l
o
ops s
l
ightly better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpente
r
I removed nul
l
ify
_
p
at
h
() earlie
r
but t
h
at wa
s
a mistake
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
p
en
t
er
I
don't
t
hink the specia
l
_
k
ernel_macros() fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add
a f
u
nction t
o
do a
s
trcm
p
(
) with a sy
m
b
ol n
a
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
an
Carpen
t
er
R
emove eve
r
ything to do with path_id's
.
I
c
ouldn't
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
rpenter
Replace the variable __negate with the function __negat
e
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan C
a
r
p
en
t
e
r
Small clean
up
.
Move the pas
s
ing
the whole cond
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 when I divided
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpente
r
Add a c
o
m
m
ent
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
ent
e
r
M
o
ved all the
l
o
gi
c
f
o
r handling conditions int
o
a
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpen
t
e
r
O
o
ps
.
I guess I
d
ele
t
ed th
e
wrong list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
D
o
n't pass the cont
e
nts of
size
o
f() to the client
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpente
r
Improve ho
w
the
debug
i
nfo for
m
erging states gets
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
en
t
er
The m
a
in th
i
ng is
to h
a
ndle zero comparisons better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carp
e
nter
R
e
move
unneeded co
d
e
.
Th
i
s
stuff is handled in smatch_
f
low
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-16
Dan Car
p
enter
We need
t
o be able
to break down (foo != 0) for BU
G
_O
N
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
an Ca
r
penter
Identify for(;;) type loops as f
o
r
e
ver loo
p
s
.
This
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpe
n
ter
Add sup
p
o
r
t
f
or BUG_ON()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Car
p
enter
What
I've s
e
en is st
u
ff
l
ike
this:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpenter
Anything that we don't handle
i
s obv
i
ously complicated
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
D
a
n
Car
p
e
n
te
r
M
erge
b
ran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add a comm
e
nt
to get_variable_f
r
om_expr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Da
n
Carpenter
Add a comment
t
o ge
t
_variable_fr
o
m_
e
xpr_simple()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan
C
arpent
e
r
The nulli
f
y_path
(
) here is
a
bug
.
It over-writes all
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpenter
__pri
n
t_
c
ur_s
l
ist() is a useful fu
n
ction f
o
r debuggin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-15
Dan Carpente
r
If you have somethin
g
like
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Ca
r
pen
t
er
U
pdate the li
n
e
n
umbers fo
r
eac
h
statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
D
an Carpenter
Change the
merge rules for cu
s
tom merge scri
p
ts
so
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan
C
a
rp
e
nter
M
ove SM_D
E
BUG to a header so everyone can u
s
e
i
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-13
Dan Carp
e
nt
e
r
Ad
d
a custom merg
e
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-11
Dan Car
p
enter
Updat
e
the lin
e
number at the
v
ery start of the
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-10
Dan Carpenter
C
h
ange
t
h
e
debug output
a bit
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-09
Dan
C
a
rp
e
nter
Add a --
d
eb
u
g option
.
It has to be the first option
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Da
n
C
arpenter
M
ake sure the v
a
riable name
is
NUL
L
ter
m
i
n
ated otherw
i
se
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-07
Dan Carpenter
Sma
l
l cl
e
an ups
.
No change in behavior
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-06
Dan C
a
rpenter
This is an off by on
e
error
re
a
l
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan
C
arpenter
The
sparse_initialize() func
t
ion now takes a filelist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
D
an Carpente
r
Rem
o
ve a
n
off by
one err
o
r det
e
cting the end of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-08-05
Dan Carp
e
nter
Patc
h
it with the stuff from the web
commit
|
commitdiff
|
tree
2008-08-05
Dan Ca
r
pen
t
er
Th
i
s is an
u
nmodifi
e
d t
a
r ba
l
l
.
commit
|
commitdiff
|
tree