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
Handle declarations ins
i
de switch s
t
atement b
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_
z
ero
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
Add known
_
co
n
dit
i
on_fa
l
se()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of cont
i
nue
ins
i
de do while statem
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
D
o
n't
s
e
t
le
t
people se
t
s
tates fo
r
unr
e
achable c
o
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Ca
r
p
enter
Small cle
a
n
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpent
e
r
Handle the iterators
cor
r
ectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
Add support
f
or
"
if (a?b:
c
) {
.
.
.
" ternary conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some su
p
p
ort for
_
spin_tryl
o
ck() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpente
r
if (
a
|| b) { a->foo; should print an e
r
r
o
r
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
his prints o
u
t er
r
o
r
messag
e
s
a
ll th
e
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
penter
Assign
m
ent alwa
y
s
s
et
s
&isfr
e
ed t
o
s
om
e
t
h
ing else
l
ike
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't
p
rin
t
cross_func errors if the
call
e
d function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
emove call
to all
o
c_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Call t
h
e
merge_hook() instea
d
o
f set
t
i
ng the
st
a
te
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
O
o
ps
.
Mean
t
to
commit thi
s
e
a
rlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpe
n
ter
Clear
the r
e
turns lists at the end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Move
the implications
checking to after the
scr
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rewrit
e
completely
w
ith new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some funct
i
ons to hand
l
e tracke
r
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
ente
r
Don'
t
segfault
all
the time when checking
forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Test to see
if we are catch
i
n
g cross f
u
nction d
e
refs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use the ->possibl
e
states and remove th
e
me
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"while ((1)) {
"
i
s
a
forever loop
.
Cal
l
st
r
i
p
_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rp
e
n
t
er
fixes to the -> possibl
e
se
t
ting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carp
e
nte
r
Merge branch 'master' into null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carp
e
nter
A
dd validation script for
chec
k
_nul
l
_de
r
ef
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpent
e
r
C
l
ean up
.
new->pos
s
ible is a
l
ways nul
l
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Oops
.
-
>possi
b
le
s
wasn't getting set co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Use strip_expr()
in sp
l
i
t
_conditi
o
ns() instead reproducin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
ar
p
enter
Add some more
operations to get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Re
t
u
r
n
&merged instead
o
f &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Ca
r
penter
make get_value() return
a
v
alue for
b
itwise or expres
s
io
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try aga
i
n removing
s
tates f
r
om pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
v
e
rt
"Remove a state from it's ->pools whe
n
set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Eliminat
e
a
warning
.
Probably the wrong way to
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Cl
e
an
ups
.
Co
m
ments
.
Rename sl
i
st_sta
c
k
t
o
named_
s
tack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still
s
uck at
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Commen
t
s
.
Remov
e
debugging cod
e
fro
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
C
lean up
.
Also preserve the
->pools in on
e
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
Clean up ge
t
_stat
e
_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove __ove
r
wr
i
te_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
The
r
e wa
s
debugging output
that a
c
cid
e
ntally g
o
t committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state from it's
-
>
pools when
s
et_st
a
te() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Don't delete the ->pools on
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try un
d
e
r
stand the imp
l
ications from compound c
o
ndition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Crea
t
e a st
a
te &merged
.
When we me
r
ge s
t
uff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
n
t
er
Ok
.
This
t
ime smatch_impli
e
d _rea
l
ly_ does so
m
ethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
I
g
no
r
e cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Small
cleanups
.
(Wh
i
t
e
space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Whitesp
a
ce change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add
some mor
e
lock
i
ng funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpenter
Fix
i
mplied pools
s
o that at le
a
st it does
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It seeme
d
like
t
racker_list would
b
e usef
u
l in a l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nt
e
r
Add a README describing s
m
atch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to find NULL der
e
f
e
renc
e
s b
e
tween f
u
nctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
ix
u
sage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an C
a
rpen
t
e
r
Check for malloc()
a
s well as kmal
l
oc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
Fix segfa
u
lt when h
a
ndling implicitly
d
eclared functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
War
n
when we don't acquire locks w
h
en call
i
n
g certa
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Ca
r
pente
r
Try (and fail) t
o
find memo
r
y lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost pr
i
nt a
m
essag
e
when y
o
u come to unreach
a
ble
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arp
e
nter
Add check to
l
ook
for double fr
e
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add c
h
ecking for lock_ke
r
nel
(
)/u
n
lo
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make c
h
eck_locking check both
s
pi
n
locks and
s
e
mapho
r
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
d
d a new function
s
list_h
a
s_
s
tate
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpente
r
If there is an i++ the
n
the v
a
lue of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
Add
a
n
e
w check_lo
c
king sc
r
i
p
t that checks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Save the po
s
s
ible st
a
tes inst
e
ad o
f
just mergin
g
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
e
n
ter
I
g
nore em
a
cs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Merge
b
ranch
'master' in
t
o
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Fix likely() and
unli
k
ely() handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
Add single
quot
e
s
a
round the
varia
b
l
e
fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
p
e
nter
We c
o
uld save some memory by not allocat
i
ng new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
Add a co
m
ment showing whe
r
e the t
e
sts are suppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Th
i
s is left over fro
m
Octo
b
er as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Add ge
t
_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff left over from O
c
t
ob
e
r
.
Implied pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Ca
r
penter
W
e could sa
v
e some memo
r
y by n
o
t allocating
new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpenter
F
ix memory leak
.
Add mo
r
e comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpe
n
t
er
Add a merge hook
.
H
a
nd
l
e the
s
i
tuations l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
strcmp()
doesn't
ac
c
ept NULL
argume
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
rename
two functions:
g
et_
v
ar
i
able_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
get_
v
ariable_from_expr() uses a static buf
f
er and
y
ou
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
C
r
ea
t
e a
check_template
.
c exam
p
le script th
a
t looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpente
r
Make get_all_states()
not segfault ever
y
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to return negative valu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpente
r
W
e
o
nly ever
pass one parameter
into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpente
r
Fix get_a
l
l_state
s
()
t
o
m
atch the fun
c
t
i
on de
f
inition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
R
emov
e
ad
d
_state(
)
and s
t
ate_defin
e
d(
)
defin
i
tions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Carpenter
C
l
ean up
.
F
i
x leak
.
My problem is
t
hat I don't
u
ndersta
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpent
e
r
Initial
com
m
it of th
e
"implied state pools
"
st
u
ff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
o
h
.
We haven't been us
i
ng smatch_
e
xtr
a
for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
et rid of pa
t
h_histo
r
y
.
It's never going to be u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make
g
oto_sta
c
k st
a
tic
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpen
t
er
Speed
u
p merge_slist
n
ow
t
h
at the slists are ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpenter
Insert
stuff ont
o
l
ists in a sor
t
ed or
d
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpent
e
r
Delete an unused funct
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
f
i
x
:
if (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next