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
Handle declarations inside switch statement blocks.
2009-02-22
Dan Carpenter
Ha
n
dle declarations inside switch statem
e
n
t
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
C
l
eanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_
c
o
n
dition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpen
t
e
r
Fix handl
i
ng of co
n
tinue inside do while stat
e
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Do
n
't set let people
set states for
u
nreachable
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Handle
th
e
iterators
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
A
d
d sup
p
o
r
t
fo
r
"if (a?
b
:
c
) {
.
.
.
" tern
a
ry cond
i
ti
o
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carpen
t
er
Add some
supp
o
rt
for _spin_trylock() and frie
n
ds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Ca
r
penter
if (a
|
| b)
{
a->foo; s
h
o
u
ld p
r
i
nt an error
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
enter
Thi
s
prints
o
ut e
r
r
o
r
m
essa
g
es all
th
e
tim
e
th
a
t
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assig
n
ment
a
lways set
s
&
isf
r
eed to s
o
me
t
hing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't
prin
t
cro
s
s_func errors
i
f t
h
e cal
l
ed functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
R
emove ca
l
l
t
o alloc
_
stat
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
te
r
Ca
l
l the merge_hoo
k
() instead of se
t
t
ing the
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpenter
O
o
p
s
.
M
e
ant to c
o
mmit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
t
er
Add the
mer
g
e_hook() back
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear th
e
returns lists a
t
the end of
each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Move th
e
impl
i
ca
t
ions checking to after the sc
r
ipts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Rewr
i
t
e c
o
mp
l
etely w
i
th new
g
oa
l
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
A
d
d some functions to
h
an
d
le tracker li
s
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Do
n
't se
g
f
a
ult al
l
the time when
che
c
king fore
v
er loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est to see if we are catching
c
ross
f
unction
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
-
>
po
s
sible states and remove
t
he merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while
(
(
1))
{
" is a forever l
o
op
.
C
all strip_exp
r
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
fixes to t
h
e
-
> possi
b
le set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an C
a
r
penter
Merge
branch '
m
aster' into null_
d
eref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
dd vali
d
atio
n
s
cript for check_null_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpe
n
ter
Clean up
.
new->possible is alwa
y
s nu
l
l here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possi
b
les wasn't get
t
ing
s
et correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Use
s
trip_expr() in split_co
n
ditions
(
) instead rep
r
oducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
A
d
d some
more ope
r
ations t
o
g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Ca
r
penter
R
eturn &merged instead
of
&
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
make get_v
a
l
u
e
(
)
return a value f
o
r
b
itwise o
r
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again rem
o
ving
st
a
t
e
s from p
o
ols
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Revert "Rem
o
ve
a
state from it
'
s ->
p
ools
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
Eliminate
a wa
r
ning
.
Pr
o
bably t
h
e
wro
n
g
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Cle
a
n ups
.
Comments
.
Rena
m
e
slist_
s
tack to named_st
a
c
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
H
a
ha
.
I still suck
at
p
o
in
t
ers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
R
e
mo
v
e de
b
ugg
i
ng code f
r
o
m filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
e
nter
Clean up
.
Also
p
reserv
e
th
e
->po
o
ls in o
n
e path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
R
e
move __overwrite_cur_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Th
e
re
w
as debugging outpu
t
t
h
at accide
n
tally go
t
commi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
e
nter
Rem
o
ve
a
state from it's
-
>
poo
l
s
when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Don't delete the ->pools o
n
mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Try u
n
d
e
rstand the
implications
from co
m
pound
condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Create a state &merged
.
Whe
n
we
m
erge stu
f
f it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ok
.
This time smat
c
h_implied _
r
e
ally_ does so
m
et
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope
f
i
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Sma
l
l
c
l
eanup
s
.
(White s
p
ace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Wh
i
t
espace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some more lock
i
ng functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
n
ter
Fix im
p
lied pools so t
h
at at least
it does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
It
se
e
med like tracker_list
would
b
e
useful
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a README des
c
r
i
bing s
m
atch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
rpent
e
r
Add script to find NULL de
r
eferen
c
e
s
between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
er
Fix usage messag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
Chec
k
for
m
alloc() as well as kmall
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix se
g
fault when han
d
ling im
p
l
i
citly declared fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
when
we
d
o
n't acquire locks w
h
en calling cer
t
ain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and fail) to find memory l
e
aks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a mes
s
age when you come to unr
e
a
ch
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check to look for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d checking for l
o
ck_kernel()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_l
o
cking check b
o
th sp
i
nlocks
and s
e
maphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add a new function sl
i
st_h
a
s_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
If there is
a
n i
+
+ then the value of 'i'
i
s unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_locking script that ch
e
c
ks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
Carp
e
nter
S
ave
the
p
o
ssible
s
t
ates
in
s
tead of
just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpe
n
ter
Igno
r
e
emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge b
r
anch 'mas
t
er' int
o
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix
lik
e
ly() and u
n
likel
y
() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
p
e
nter
A
dd single quotes around the vari
a
b
le
f
or consi
s
tenc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We
could save s
o
me
memory by not alloc
a
tin
g
n
e
w memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add a comment s
h
o
w
ing w
h
ere the
t
ests are supp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
T
h
is is
left over from October as part o
f
the imp
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
e
nt
e
r
Add get_pos
s
ibl
e
_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
St
u
ff left over
from October
.
Implied
pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
p
e
n
t
e
r
We could save some
m
emo
r
y by not al
l
oca
t
ing new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpe
n
ter
Fix memory
l
eak
.
Add m
o
re
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
Add a m
e
rge
h
ook
.
Handle the situations lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
strcmp() d
o
esn't accept NUL
L
arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
r
ename two
functions:
g
et_varia
b
l
e_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
et
_
variable_from_expr()
u
ses
a
static
buf
f
e
r and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a che
c
k_t
e
m
pla
t
e
.
c
example scr
i
pt that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carp
e
nter
Make get_all_st
a
tes() not segfault
e
very
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
g
et_value() to
r
eturn negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
W
e
o
nly ev
e
r pa
s
s
o
ne
p
a
ram
e
t
e
r
i
nto get_
v
alue
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pen
t
er
Fix ge
t
_all_state
s
() to match the
f
unction
d
efinition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Remove ad
d
_
state()
a
nd
stat
e
_
d
e
f
ined
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpente
r
Clean up
.
Fix leak
.
My
p
rob
l
em is that I d
o
n't u
n
derstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Initial
c
ommit o
f
the "i
m
plied stat
e
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pe
n
t
e
r
Do
h
.
We h
a
v
en't been using smatch_extra fo
r
a whi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nter
G
et rid of path_history
.
I
t's n
e
ver
going
t
o be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
Carpe
n
t
er
Make go
t
o_stack
static
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpenter
Speed u
p
merge_sli
s
t
now that the slists a
r
e
o
r
de
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Insert stuff onto lists in a s
o
rted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Del
e
te an un
u
sed
f
unc
t
ion merge_state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix:
i
f
(
*foo) { (*foo)->
b
ar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next