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
Remove call to alloc_state()
2009-02-18
Dan
C
arpenter
R
e
move c
a
l
l to alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Ca
l
l t
h
e merge_hook() instead of settin
g
the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
penter
Oops
.
M
e
ant to commit this
earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Car
p
enter
Add the mer
g
e_hook()
b
ack
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Cle
a
r t
h
e
r
eturns lists at the end of each fun
c
tio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Mov
e
t
he implic
a
tion
s
che
c
king
to
after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrit
e
c
omple
t
ely wi
t
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
A
dd some
f
u
nctions to han
d
l
e tracke
r
lis
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Do
n
'
t segfault a
l
l the t
i
me when chec
k
ing for
e
ver loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
T
est to se
e
if we are catching
cros
s
function derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use t
h
e
->possible states a
n
d remo
v
e the m
e
rge
_
hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
"w
h
ile
(
(1))
{
" is
a forever loop
.
Call strip
_
expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
penter
fixes to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Merg
e
branch 'maste
r
'
into
n
ull
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add
v
a
l
i
dation
s
cript for check_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
D
a
n
Carp
e
nt
e
r
Clean u
p
.
new-
>
p
o
ssible is al
w
ays null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
O
o
ps
.
->
p
ossibles w
a
s
n't gett
i
n
g
s
e
t correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
n
ter
Use s
t
rip_e
x
pr() in split_conditi
o
ns() instead repr
o
ducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Add some more opera
t
ion
s
t
o
ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Return &mer
g
ed instead of
&
u
ndefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Car
p
ente
r
m
ake get_value() return a value for bitw
i
s
e
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
T
r
y a
g
ain
re
m
oving states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Revert "Re
m
o
ve a
state from it's ->pools whe
n
set_stat
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpe
n
ter
E
l
imin
a
te a warning
.
Probably the wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cle
a
n
ups
.
Comment
s
.
Rename slist_stack to nam
e
d_sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Ha ha
.
I sti
l
l suck a
t
point
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clea
n
ups
.
Comm
e
n
t
s
.
Remove debugging code from fi
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
penter
Cle
a
n up
.
Also preserve th
e
-
>p
o
o
ls
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cl
e
an
u
p
g
et_state
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Remove
_
_overwrite_cur_s
l
i
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
There
was debugging output th
a
t accidentall
y
got co
m
mit
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
R
em
o
ve a state from it's ->pools wh
e
n
s
et_
s
tate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don'
t
delete the ->p
o
ols on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Try understand
the
implications fr
o
m
c
o
m
po
u
nd conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Create
a
state &merged
.
When we merge stuff
i
t isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
Th
i
s
t
i
me sma
t
ch_implied _
r
eally_ does
s
omething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
I
g
no
r
e c
s
co
p
e
fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpenter
S
m
all cl
e
anups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
W
h
i
te
s
pace
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
pen
t
er
Add some more
locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpe
n
t
e
r
Fix implied pools so th
a
t at leas
t
it does
some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seem
e
d li
k
e
tracker_list
would be use
f
u
l
in
a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Ad
d
a RE
A
DME describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
Add script to fin
d
NULL dereferences
b
e
tween
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Fix
u
s
age message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as well as
kmalloc
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segf
a
ult
w
hen handling
i
m
p
licitly
d
eclared funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
W
arn when
w
e don'
t
acquire locks when calling c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
penter
T
r
y (and fail) to find me
m
o
ry leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
p
e
nter
Almost pr
i
nt a message when
you come to unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpenter
A
d
d check to lo
o
k
f
or double
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checkin
g
fo
r
lock_ker
n
el()/
u
n
lock_
k
ernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_locking check both sp
i
nlo
c
ks
a
nd semap
h
ores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a n
e
w function sl
i
st_has_state
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
I
f there is an i
+
+
then
the value of
'i' is
u
ndefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
c
heck_
l
ocking script that che
c
ks
s
pinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
ave the possible states instead o
f
just merging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Ig
n
ore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Me
r
ge branch 'master' into poo
l
s5
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
r
p
enter
A
dd a comment
s
howing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
a
rpen
t
e
r
This is lef
t
ov
e
r
f
rom October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
A
d
d
get_possi
b
le_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
t
e
r
Stuff left
o
ver from
O
ctober
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
e
n
t
er
W
e
coul
d
sa
v
e
s
ome memory by
n
ot allocating ne
w
m
e
mo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fi
x
m
e
mory lea
k
.
Add more
comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
ar
p
enter
Add a merg
e
h
o
ok
.
Handl
e
the sit
u
ation
s
like
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strc
m
p()
doe
s
n'
t
accept
NU
L
L ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
ren
a
me two fun
c
tions:
get_vari
a
b
le_from_e
x
p
r
_sim
p
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
penter
ge
t
_
v
ariab
l
e
_
from_expr() uses
a
s
t
atic buffer and
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
Create a c
h
e
ck_tem
p
lat
e
.
c example script
that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Mak
e
get_all_states(
)
not segfault e
v
ery
t
ime
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix
g
e
t
_val
u
e
() to return negative va
l
u
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
We
o
nly ever pass one
p
ar
a
m
e
ter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix get_a
l
l_sta
t
es() to
m
at
c
h the f
u
nc
t
ion definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
add
_
state() and state
_
de
f
i
n
ed() def
i
ni
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
a
rpenter
Cle
a
n up
.
Fix l
e
ak
.
My pro
b
lem is tha
t
I don
'
t
u
nderstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n C
a
rpenter
Initi
a
l
c
ommit of the "implied state pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an C
a
r
penter
Doh
.
W
e hav
e
n't
b
een using smatch_extra
f
o
r a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpenter
Ge
t
r
i
d of path_histo
r
y
.
It's never go
i
ng to be u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
e
n
te
r
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Speed
up merge_slist now
that the sli
s
ts
are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an
Car
p
enter
Insert stuff onto lists in a so
r
ted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
Delete
a
n unused function m
e
rge_state_stack(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan C
a
r
penter
fix:
i
f
(*foo) {
(*foo)->bar
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan
C
arpenter
kmalloc() a
n
d friends don'
t
al
w
ays return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n
Carp
e
nte
r
The checks from
h
ere got merged into check_
n
ull_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Move t
h
e st
u
ff from
check_deref
e
d_par
a
ms
.
c into chec
k
_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carp
e
nter
Fix b
u
g in or_slist_stack()
.
i
f
(
a
&& b)
w
asn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
a
rpenter
Add a hook at the
e
nd of a fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
F
o
rg
o
t
another strip_
e
xpr() ca
l
l
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Hand
l
e assignmeents inside conditions
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Only print
s
omething for a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore array
d
e
clar
a
tions
.
T
hose ca
n
'
t
be NUL
L
o
b
viou
s
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
an Car
p
enter
M
ake cur_slist
s
tatic
.
It's
o
nly used in smatch_stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rp
e
nte
r
White
s
pace
c
hanges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Use me
r
ge_slist() instea
d
of
trying to han
d
le it yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpente
r
__process_contin
u
es
(
)
i
s su
p
posed to
be basi
c
ally the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpent
e
r
(foo) = 1
is the
same as foo =
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
e
nt
e
r
Generalize stip_ca
s
ts()
.
It
'
s now called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next