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
Cleanups. Comments. Remove debugging code from filter()
2009-02-11
Dan Ca
r
penter
C
leanups
.
Comments
.
Remo
v
e debu
g
ging code from fi
l
ter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also preserve
t
he
->pools
in
o
ne path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
C
l
e
a
n
u
p
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpe
n
ter
There was debuggin
g
output that
a
ccidentally got
c
o
m
m
i
tted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Re
m
ov
e
a
state from it's ->pools wh
e
n set
_
s
t
ate(
)
is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Don't delet
e
the ->pool
s
on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Try unders
t
and t
h
e impli
c
ations from compound co
n
ditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eate a
s
t
a
te &merged
.
When w
e
merge stu
f
f it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ok
.
This time smat
c
h_imp
l
ied _
r
eally_ does someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
I
g
nore csc
o
pe fil
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Small
c
leanups
.
(White
s
p
ace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Whitespace c
h
ange
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpent
e
r
Add som
e
more
l
ocking f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix implied pools
s
o
t
h
at at lea
s
t i
t
d
oes some
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
seemed like
t
racker_list wou
l
d be us
e
f
u
l
in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
Ad
d
a README de
s
cribing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script
t
o find
N
ULL dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Ch
e
ck for mall
o
c
(
)
a
s well as
k
m
alloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
p
ent
e
r
Fix
segfault wh
e
n handling implicitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Warn whe
n
we
don't
acquire locks when cal
l
ing certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpe
n
ter
Try
(and fail) to
find m
e
mory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Alm
o
st print a message when you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Ad
d
check to look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checking for lo
c
k_kernel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make
c
heck_lo
c
king check both
s
pinlocks an
d
semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
C
arpenter
Add a
n
ew function
slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
ter
I
f
there is an i++ then
the
v
al
u
e
of 'i' is und
e
fine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd
a
n
e
w check_locking scrip
t
that
checks s
p
inlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save the
p
ossib
l
e states inst
e
ad of just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpenter
Ign
o
re emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Merge branch 'ma
s
ter' i
n
to pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpent
e
r
We could save some m
e
m
o
ry
by
n
o
t al
l
oca
t
ing
new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rp
e
nter
Add a
comment showing where
the tests are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Th
i
s is lef
t
over from October a
s
part
of the
i
mpli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
A
d
d get_
p
ossible
_
states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff l
e
ft over from Octob
e
r
.
Implied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We could
save some memory b
y
n
ot
allocating new memo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carp
e
nter
Fix memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a merge hook
.
Handle the situ
a
tions l
i
k
e
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp(
)
doesn't accept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
rename two fun
c
t
io
n
s:
get_va
r
iable_from
_
expr_si
m
ple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpen
t
er
get_variable_from_
e
xp
r
() uses a stat
i
c buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpent
e
r
Create a ch
e
ck_template
.
c example script
th
a
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make get_all_states(
)
not segfa
u
lt every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
F
ix g
e
t_value
(
) to return negative
values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
enter
We only eve
r
pass
one parame
t
e
r
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states()
t
o
match the function definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Remove add_
s
ta
t
e() a
n
d state_def
i
n
ed() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
e
n
t
er
C
lean
up
.
Fix
l
eak
.
My p
r
obl
e
m is
t
hat I
d
on't under
s
tand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
I
nitial commit
o
f
the "
i
mplied state pools"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpente
r
Doh
.
We haven
'
t
b
een using smatch_
e
xtra for
a whil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Get
r
id of path_history
.
It's ne
v
er
g
o
ing to be us
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Ca
r
p
e
nte
r
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
Sp
e
ed
up merge_sli
s
t now that t
h
e slists
a
re ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Insert stuff o
n
to lists in a sorted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Ca
r
pe
n
ter
De
l
ete an unused function
merge_sta
t
e_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
D
a
n Carpen
t
er
fix: if
(*foo) { (*foo)->
b
ar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n C
a
rpenter
k
m
al
l
oc(
)
and friends don't alw
a
ys return a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
a
r
penter
The
che
c
ks from here got merged into ch
e
ck_null_d
e
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
D
an
Ca
r
penter
Move
t
he stu
f
f from c
h
eck_dere
f
ed_par
a
ms
.
c in
t
o chec
k
_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Fix bug in or_slist_stack()
.
if
(a && b)
w
asn't being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpe
n
ter
Add a hoo
k
at th
e
e
n
d
of a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
Forgot a
n
other strip_expr(
)
call
.
.
.
:
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Handle assignmeents ins
i
de condit
i
on
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Only print somethin
g
for a->foo and n
o
t a
.
f
o
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Carpe
n
ter
Ignore array declarati
o
ns
.
Those can't be NULL obvi
o
us
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
Make cur
_
slist static
.
It's only
u
sed in smatch
_
states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carpenter
White space
c
h
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
penter
Use merge_s
l
ist()
i
nstead
of trying to ha
n
dle it yo
u
r
self
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
_
_
process_continues() is supp
o
se
d
to b
e
b
a
sically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
e
n
t
er
N
e
w s
m
atch_ig
n
o
re
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(
f
oo) = 1 is the
same as
f
oo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Car
p
enter
Generalize
stip_casts()
.
I
t's now
c
alled strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpe
n
t
e
r
Ignore
c
a
s
t
s
.
foo
(
(int *)&b
a
r
)
is the same a
s
f
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpent
e
r
Ignor
e
stuff like foo
.
bar
.
We only care
a
bo
u
t foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an
Carpen
t
er
What happens before
is th
a
t
p
arameters wo
u
ld g
e
t
a
ssigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
an Carpent
e
r
Missed a c
r
as
h
ing bug in the int => struct conversi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I c
a
n
'
t
b
e
lieve I was doing
sta
c
ks
wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpen
t
er
Changed smatch state from be
i
ng an int to bein
g
pointer
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
a
n Carpenter
I
w
a
nt to reuse t
h
e
n
ame s
m
atch_state
.
The
c
urrent
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
R
e
do the nu
l
l pat
h
thi
n
g
.
So long as there is on
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan C
a
rpente
r
C
lean up
.
Complicated
i
s just a boo
l
ean
.
S
e
t it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Car
p
enter
Merge
b
r
a
n
ch 'devel
'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpenter
Save the
p
r
e
c
onditions i
n
side
th
e
condi
t
i
o
ns so
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
The main c
h
ange here
was
t
o co
m
p
l
et
e
ly r
e
w
r
ite
how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Da
n
Carpenter
Break things out into funct
i
on
s
a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
H
andle
while and for loops slightly bett
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
D
an Carpenter
I
remov
e
d null
i
fy_path
(
) ea
r
lier
b
ut that was a mista
k
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
I
d
on't
thin
k
the speci
a
l_kernel_macro
s
() fun
c
tion
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
arpenter
A
d
d a fun
c
t
i
on
t
o
do a strcmp() with a sy
m
bol na
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
Carpenter
Re
m
ove
e
verything t
o
do with path_id's
.
I c
o
uldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
an Carpente
r
R
eplace the variable _
_
ne
g
a
te with th
e
f
u
nction
_
_negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Small
clean
up
.
Move the passing the w
h
ole conditio
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Da
n
C
a
rpente
r
Crap
.
I
meant
to mer
g
e
th
i
s earli
e
r when I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Car
p
e
n
t
er
Add a co
m
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Moved a
l
l
t
he logic for h
a
ndling
cond
i
tions into
a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Oo
p
s
.
I guess I de
l
eted the wron
g
li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next