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
Carpenter
C
l
eanu
p
s
.
Comment
s
.
Remove debugging
c
od
e
from
fil
t
er()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
.
Also
p
r
e
serve
t
he ->po
o
ls
in one path
o
f
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
p get_state_
s
lis
t
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
Rem
o
v
e __ove
r
wri
t
e
_
cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
T
h
er
e
w
as debu
g
ging o
u
tpu
t
that accidentall
y
go
t
c
o
mmitt
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Remov
e
a state
f
r
o
m it's ->pools when set_state() i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
D
o
n't delete the
-
>
p
ools
on
m
ergi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try unde
r
stand the
i
mplica
t
i
o
ns from
c
om
p
ound co
n
di
t
ion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
reate a state
&merged
.
When we merge st
u
ff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ok
.
This time smatch_im
p
lied _really_ does somet
h
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
Igno
r
e cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanu
p
s
.
(White
space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
A
dd so
m
e more lockin
g
funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
Fix im
p
lied pool
s
so that at least it does someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
It s
e
emed like tr
a
c
k
e
r
_
list
w
ou
l
d be use
f
ul in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Add a README describ
i
ng s
m
a
tc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pent
e
r
Add script t
o
find
NULL dereferences between functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Ca
r
penter
F
i
x usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Car
p
ent
e
r
Check
f
or malloc()
a
s w
e
ll as
k
malloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpent
e
r
Fix seg
f
ault when ha
n
d
ling imp
l
icitly decl
a
red f
u
n
ctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn when we don't acquire
l
o
cks when calling ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpente
r
T
r
y
(and f
a
il) to find memory leak
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
l
m
ost print a message
w
hen y
o
u co
m
e to unreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Add c
h
e
c
k to look for doubl
e
f
r
ees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
hecking
f
o
r lock
_
kernel
(
)/unlo
c
k_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
M
a
k
e
check_locki
n
g che
c
k b
o
t
h
sp
i
nlocks and
semap
h
ores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Add
a new fun
c
t
i
on slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
a
rpent
e
r
If t
h
ere is
a
n i++
t
hen the v
a
lu
e
of
'
i
' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add
a new
c
heck_locking s
c
rip
t
that c
h
ecks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpente
r
S
a
ve the
possible states instead
of just merging th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an Ca
r
p
e
nter
Igno
r
e emacs gar
b
age
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
te
r
Merge
b
ranch 'mas
t
e
r
'
into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
a comment showing where the
t
ests a
r
e
suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpent
e
r
This is le
f
t over f
r
om
Octob
e
r
as part of
t
he impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t_possi
b
l
e
_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
St
u
ff left over f
r
om October
.
Im
p
lied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
ter
W
e
could save
s
ome memor
y
by not allocat
i
ng new memor
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpenter
Fix mem
o
r
y
l
e
ak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
A
dd a merge hoo
k
.
Han
d
le the
s
itu
a
ti
o
ns l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
strcmp() doe
s
n
't acce
p
t NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
rename two
function
s
: ge
t
_variable_from_expr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
get_var
i
abl
e
_
f
rom_e
x
pr()
u
ses a st
a
tic
buff
e
r an
d
you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
pe
n
ter
Cre
a
te a
c
heck_template
.
c
e
xample
s
c
r
i
pt
that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_all_stat
e
s(
)
not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() t
o
re
t
urn negati
v
e values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We only ever pass
o
ne paramet
e
r int
o
get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
rpe
n
ter
Fi
x
get_
a
ll_s
t
at
e
s() to match
t
he functi
o
n
definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Re
m
ove ad
d
_
s
tate() and stat
e
_d
e
fined() def
i
nitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
Clean
up
.
Fix leak
.
My problem
is that I d
o
n't und
e
rs
t
and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Init
i
a
l commit of
t
he "implied stat
e
poo
l
s" s
t
u
f
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
Doh
.
We haven't been using smatch_
e
xt
r
a for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get r
i
d o
f
p
a
th_histo
r
y
.
It's n
e
v
e
r goin
g
to
b
e used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
M
a
k
e goto_stack stat
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merg
e
_slist n
o
w
t
hat the
slists are
o
rdered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stu
f
f o
n
to
lists in a sort
e
d order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
D
e
lete an unused fun
c
t
i
on merge_s
t
a
t
e_st
a
ck()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo) { (*
f
o
o
)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
()
a
nd frie
n
ds
d
on't always re
t
urn a non-n
u
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
C
a
r
p
e
n
t
er
The
c
hecks from here got merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Move
t
h
e stuff
f
rom check
_
d
e
refed_p
a
rams
.
c into check_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
F
ix bug in
or_slist_s
t
ack()
.
if (a &
&
b) wasn't bein
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Da
n
C
a
r
penter
A
dd a
hook at t
h
e end o
f
a file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Forgot another strip_exp
r
() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Handle assignm
e
ents ins
i
de con
d
i
tio
n
s
better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpe
n
ter
Only pri
n
t something for a->foo
a
nd
n
ot a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n
C
arpenter
I
gnore array declarations
.
Th
o
se
c
an't be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
an Carpente
r
Make cur_slist static
.
I
t's only used
in smatch
_
s
t
ates
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
C
arpenter
W
h
i
te space chan
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carp
e
nter
Use merge_sli
s
t() instead
o
f try
i
ng to handle it your
s
elf
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Ca
r
pente
r
__
p
rocess_continues() is supp
o
sed to b
e
b
asically
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpente
r
N
e
w
smatch_i
g
n
o
re
.
c f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(f
o
o) = 1 is the same a
s
f
o
o =
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generaliz
e
stip_casts()
.
It's now
c
a
l
l
ed strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
p
e
n
t
e
r
Ignore casts
.
foo((int *
)
&bar)
i
s the sa
m
e as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Crea
t
ed
sh
o
w_st
a
te(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
Ignore stuff like f
o
o
.
bar
.
We on
l
y care
a
bo
u
t fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carp
e
nte
r
What ha
p
p
e
ns b
e
fore is
t
h
a
t parameter
s
w
ou
l
d get assigne
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
a
r
pent
e
r
Missed a
c
rashing bu
g
in the int => s
t
r
uct conversion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Ca
r
pe
n
ter
I
c
a
n
'
t
be
l
ieve I was d
o
ing stacks
w
rong
this
whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpente
r
C
h
a
n
ged smatch state
f
rom being a
n
i
n
t t
o
being
poi
n
ter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I want to reuse the name smatc
h
_state
.
T
h
e curren
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the nu
l
l
path thing
.
So long as there
is o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Ca
r
pente
r
Cl
e
an up
.
Compli
c
a
t
ed is just a
b
oolean
.
Set it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpenter
Mer
g
e branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan
C
a
r
p
ent
e
r
Save the pre conditions inside the conditions so that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpente
r
The
main change here w
a
s to comple
t
e
ly re
w
rite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpente
r
B
reak thin
g
s out into func
t
ions a bit
.
Clean
ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan
Carpenter
Handle while
a
nd for loops slight
l
y better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Ca
r
penter
I re
m
oved nullify_pa
t
h()
e
arlier but
t
hat
w
as
a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I
d
on't think th
e
speci
a
l
_
ke
r
nel_macros() functi
o
n
.
.
.
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
Remove everything to do with path_
i
d's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace
t
h
e
variable __nega
t
e with the functi
o
n __n
e
gate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
rpenter
S
mall clean u
p
.
Move the p
a
ssin
g
t
h
e whole co
n
dition
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Crap
.
I mea
n
t to merge this ear
l
i
e
r
w
hen I divid
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpent
e
r
Add a
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Moved al
l
the logi
c
f
or handling c
o
ndit
i
ons in
t
o a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Oops
.
I guess I de
l
eted the wro
n
g list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan
C
a
r
pent
e
r
D
o
n't
p
ass the con
t
ents o
f
sizeof() to th
e
client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next