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
Try again removing states from pools.
2009-02-13
Dan Carpenter
Tr
y
a
g
ain rem
o
ving
s
t
a
t
es from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
a
rpe
n
ter
Revert
"
Remove a state from
it's ->pools when set_
s
t
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Elim
i
nate a wa
r
n
i
ng
.
Probably th
e
w
r
ong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean
u
ps
.
Co
m
ments
.
Renam
e
slist_stac
k
to named_s
t
ac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still
suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
leanu
p
s
.
Comments
.
Remove debugging code from f
i
lter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pente
r
Clean up
.
Also preserve
the ->pools in one pat
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
C
l
e
an u
p
get_sta
t
e_sli
s
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
R
e
m
ove
__overwri
t
e_cur_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
There was debugging output that accident
a
l
l
y got commit
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
R
e
m
ove a state from it's ->poo
l
s when set_state()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Don
'
t
d
ele
t
e the
->po
o
ls on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
T
r
y
u
n
d
e
r
stand
t
he im
p
lications
f
r
om compou
n
d cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a s
t
ate
&me
r
ged
.
When w
e
merge stuff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time
s
match_implied _really_ does s
o
mething
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Ignore c
s
cope
fi
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Smal
l
c
leanups
.
(
W
hite sp
a
c
e)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace chang
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Car
p
enter
Add some more lockin
g
functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Car
p
enter
Fix implied
p
o
o
ls so that at
l
ea
s
t it d
o
es som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
It seemed like tracker_list wou
l
d be u
s
eful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpente
r
Add
a
README de
s
cribin
g
sm
a
tch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Add script to find NULL
der
e
ference
s
be
t
we
e
n functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
ix usag
e
message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Ch
e
ck for
m
alloc
(
) as
w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Ca
r
penter
Fix segf
a
ult when hand
l
ing impli
c
itly declared
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Ca
r
penter
W
a
rn when we don't acqui
r
e locks w
h
en calling
c
er
t
a
in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Car
p
e
n
t
e
r
Try (a
n
d fail) to find
m
emor
y
leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Almo
s
t pr
i
nt a messa
g
e whe
n
you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
A
d
d check to look for doub
l
e frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
dd
c
h
ec
k
i
ng
for lock_kernel()/unlock
_
k
e
rnel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
a
k
e
c
heck_locking check b
o
th spinlock
s
and sem
a
phores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpen
t
e
r
A
dd a new functi
o
n slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
I
f
there is
an i+
+
then the v
a
lue
o
f
'
i' is u
n
defined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
A
dd a new chec
k
_lock
i
ng script that checks
spinloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
ave the possible states in
s
tead o
f
just mer
g
ing them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
I
g
n
ore
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master' into p
o
o
l
s5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
Add a
comm
e
nt sho
w
ing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Thi
s
is l
e
f
t ove
r
from Octobe
r
as pa
r
t of
t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Add get_
p
ossible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Stuff left over
f
rom October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carpenter
We could save some
mem
o
ry b
y
not alloca
t
ing new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
Fix m
e
mory leak
.
A
dd more c
o
mments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pe
n
t
e
r
A
d
d a
m
e
r
ge ho
o
k
.
Ha
n
d
l
e th
e
s
i
tuations li
k
e:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpe
n
ter
strcmp
(
) d
o
esn't
accept N
U
L
L
a
r
g
u
ment
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
rename
t
w
o
functions
:
get_variabl
e
_from
_
expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from
_
expr()
u
ses a static b
u
ffer and yo
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
c
heck_template
.
c exam
p
l
e
script th
a
t looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
Make g
e
t_al
l
_states() not
segfau
l
t ev
e
ry time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
F
i
x
get_value
(
)
to retu
r
n nega
t
ive values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever pa
s
s
one p
a
ramete
r
i
nto get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
g
e
t_all_
s
tates() to match the f
u
n
c
tio
n
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Re
m
ove a
d
d_s
t
ate() an
d
state_
d
efi
n
ed() d
e
finitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
l
ean up
.
Fi
x
le
a
k
.
My
p
roblem is that I
d
on
'
t understan
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial co
m
mit
o
f the
"implied state pools" stu
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We hav
e
n'
t
been using
s
m
a
t
ch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpente
r
Get
rid of pa
t
h_hist
o
ry
.
It's never g
o
ing
t
o
be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carp
e
nter
Speed up merge_slist now that the slists
are or
d
ered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
I
nsert
s
tuff onto lists in a so
r
te
d
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused functio
n
merge_state_stack
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
fix: if (*foo) { (*foo)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
km
a
lloc() an
d
friend
s
don't always re
t
urn a non-nul
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The checks from here got merged into
c
heck
_
nu
l
l_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Move th
e
stuff
f
rom
c
heck_derefed_params
.
c
in
t
o check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an
Carpenter
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
D
a
n Carpente
r
Add a hook
at the end of a fi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anoth
e
r strip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
Hand
l
e ass
i
gnme
e
n
ts insid
e
condi
t
ions better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpen
t
er
Only print someth
i
ng fo
r
a->foo and no
t
a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Ca
r
penter
Ignor
e
arr
a
y d
e
cl
a
r
a
tion
s
.
T
hose can't
b
e NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Da
n
Carpenter
Mak
e
cur_slist st
a
tic
.
It
'
s only used in smatch_sta
t
es
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
ente
r
White
space changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
pent
e
r
Use merge_slis
t
() instead of trying
t
o han
d
le
i
t
yourself
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_c
o
ntinues() is supposed to be basi
c
ally
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan
C
a
rp
e
nter
New smatc
h
_
ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
foo) = 1
is the s
a
me as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
G
e
neralize stip_casts()
.
It's no
w
c
a
lled
s
trip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
r
p
enter
Ignore
c
as
t
s
.
f
o
o
((i
n
t
*)
&
b
ar) is
the sa
m
e as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
Created show_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
I
g
nore st
u
f
f like
f
oo
.
bar
.
We only
c
are about foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
What
happens before
i
s
that param
e
ters would g
e
t
as
s
igned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
n
ter
Missed
a cras
h
ing bu
g
in the int
=> struct
conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpe
n
te
r
I can't
b
elieve I
w
as d
o
i
n
g stacks wrong t
h
is whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpenter
Changed smatch s
t
ate fr
o
m
b
e
ing an int to b
e
ing
pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I want to reuse
t
he nam
e
sma
t
ch_state
.
The current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Car
p
en
t
er
Redo the nu
l
l
path thing
.
S
o lon
g
as
t
here is o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carp
e
nter
Cl
e
an up
.
Compli
c
ated
is just a boolean
.
Set it
t
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
arpenter
M
erge branch 'dev
e
l'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
Save
th
e
pre conditio
n
s
i
nside
t
he conditions
s
o
tha
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
D
a
n
Carpenter
T
h
e
m
a
i
n chang
e
h
ere was to
co
m
pletely rew
r
ite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
D
an C
a
r
p
enter
Break
t
hings out into functions a
bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan C
a
rpenter
Handle while and fo
r
lo
o
ps sligh
t
ly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan C
a
rpent
e
r
I
r
e
moved
n
ull
i
fy_path() earlier but that was a m
i
s
t
a
ke
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
en
t
e
r
I d
o
n't
t
hink the special_kernel_m
a
cros() function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Add a function to do a strcmp() with
a
symbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Remo
v
e everything to do with path_id's
.
I couldn'
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nter
Replace th
e
variable __negate
w
ith
t
h
e
fun
c
t
i
on __neg
a
t
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
te
r
S
mall
c
lean up
.
Move
the passing the whole condition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next