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
D
an Carpenter
Handle declaration
s
inside s
w
itch statement
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add know
n
_conditio
n
_
f
alse(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Fix handli
n
g
of conti
n
ue ins
i
d
e
do whi
l
e sta
t
e
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don't set
l
et people
set states
f
or un
r
e
achable
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpe
n
ter
Handle the
iterat
o
rs
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support
f
or "if (a
?
b:c) {
.
.
.
" ternary con
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add some support for _spin_tryl
o
ck() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Ca
r
penter
i
f
(a || b) {
a->foo;
s
houl
d
pri
n
t an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpen
t
e
r
Th
i
s pri
n
ts out error messages
a
ll the tim
e
that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
pent
e
r
Assignment always set
s
&isf
r
e
ed to some
t
hing else
l
ike
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
D
on't p
r
i
n
t cross_f
u
nc e
r
rors if th
e
call
e
d function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to
alloc
_
sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpente
r
C
all the merge_hook() i
n
stead of set
t
ing the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Oops
.
Meant to
co
m
mit this ea
r
lier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add the
merge_ho
o
k()
b
ack in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Clear the returns lists at
the
e
nd o
f
e
a
ch fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Move the implicati
o
ns checking to
a
fter the scrip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rewrite comp
l
e
tely
w
i
th ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Add
s
ome functions
to han
d
le tracker
l
ists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
D
o
n't segfault all the time when c
h
ecking
for
e
ver
loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
te
r
Test to se
e
if we are c
a
tching
c
r
oss function dere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nt
e
r
Use th
e
->p
o
ssible states and remove the me
r
ge_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"whi
l
e
((1)) {" is a forever
loop
.
C
all
strip_
e
xpr(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
f
ixes to
the -> possible se
t
t
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
Merge branch 'master' into null_de
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
nter
Add vali
d
at
i
on script
for
c
heck_n
u
l
l_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpent
e
r
Cl
e
an up
.
new->po
s
sible
i
s
a
l
wa
y
s
nul
l
here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
->pos
s
ibles wasn
'
t
ge
t
ti
n
g set cor
r
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Use strip_expr() i
n
split_conditio
n
s() instead r
e
p
r
o
d
ucing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some
m
ore operations
t
o
get_val
u
e()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Ca
r
penter
R
eturn &merged
i
nstead o
f
&undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return a value for b
i
t
wise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nt
e
r
Try a
g
ain rem
o
vi
n
g s
t
ates
fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ent
e
r
R
e
vert "Remo
v
e a state fro
m
it'
s
->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Eliminat
e
a warning
.
Proba
b
ly
the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean ups
.
C
o
mments
.
Rename slist_s
t
ack t
o
n
amed_sta
c
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carp
e
nter
Ha ha
.
I still
suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpente
r
Cleanup
s
.
Comments
.
Remove debuggi
n
g code from filte
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up
.
Also preser
v
e
th
e
->
p
ools
i
n one path
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
C
l
e
an up get
_
st
a
te_s
l
i
st()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
Remove __overwr
i
te_cur_sli
s
t(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging output th
a
t a
c
cidenta
l
ly got
c
ommitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
R
e
m
ove a
stat
e
from it's ->p
o
o
ls when
set_st
a
te()
i
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Don't delete the ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try u
n
de
r
stand the implications from compo
u
nd conditi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Creat
e
a
sta
t
e &merged
.
When w
e
merge stuff i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
er
Ok
.
Th
i
s time sma
t
ch_implied _really_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ignore cscope f
i
le
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
e
r
Sma
l
l cleanups
.
(Whit
e
s
p
ace
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpen
t
er
Whit
e
space
c
hange
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
e
r
Add some
more locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Fix implied pools so
that at
least it does somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
It seemed like t
r
a
c
k
er_l
i
st would be useful
in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpen
t
er
A
d
d a
R
EADME de
s
cr
i
bin
g
sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpent
e
r
Ad
d
sc
r
ipt
t
o find NULL deref
e
r
e
nces b
e
tween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carp
e
n
te
r
Che
c
k for m
a
l
loc() as
w
e
l
l
as kmal
l
oc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
F
i
x segfault when handling implicitly declared fu
n
cti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
C
a
rpenter
Warn when
w
e
don't acquire locks when callin
g
cer
t
ain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpente
r
Try (and
f
a
il) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a messa
g
e wh
e
n you com
e
to u
n
reachab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
Add check to lo
o
k for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
ing f
o
r lo
c
k_kerne
l
()/unlock_ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make chec
k
_locking check both
spinlocks and semapho
r
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpente
r
A
dd a new fu
n
ct
i
on slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
If t
h
ere
i
s a
n
i
++ then the val
u
e of 'i'
i
s
undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
c
heck_loc
k
ing
s
cript t
h
a
t check
s
spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nt
e
r
Sa
v
e
the possible sta
t
e
s ins
t
ead
of just
merging t
h
em
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore
emac
s
garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
M
e
r
ge
b
ranch 'ma
s
ter' int
o
pools
5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comment
s
howing where
t
he tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
This is
left o
v
er from October as part of the
impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
dd
g
et_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
St
u
ff le
f
t over from Oct
o
ber
.
Implied pools wor
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
ter
W
e
co
u
ld sav
e
s
o
m
e memory by not allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Ca
r
penter
Fix memor
y
lea
k
.
Add
m
ore comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpe
n
t
er
Add a
merge hook
.
H
andle the situations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
en
t
e
r
strcmp() d
o
e
s
n't accep
t
NULL argumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Car
p
enter
rename tw
o
fun
c
t
i
ons: get_variabl
e
_from_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_vari
a
ble_
f
rom_
e
xpr(
)
uses a static b
u
ff
e
r
a
nd
y
ou
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
penter
Cr
e
ate a check_template
.
c example script that
l
o
o
ks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Make ge
t
_
a
ll_states(
)
not segfault
e
very
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpente
r
F
ix ge
t
_val
u
e()
to
r
etu
r
n n
e
gative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arp
e
nter
We only e
v
er pass one paramete
r
into ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
Fix get_all_states() to match the function definitio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Remove add_st
a
te() and state_de
f
ined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
C
l
ean
up
.
Fix leak
.
My problem i
s
that
I don
'
t u
n
derstand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial commit
o
f the "
i
mp
l
ied sta
t
e pools
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpe
n
ter
D
oh
.
We haven't been using smat
c
h_ex
t
ra fo
r
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Get rid
of
p
a
t
h
_
h
istory
.
It's never
g
oing to
be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Carpente
r
Make goto_stack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_slist no
w
that the slists ar
e
o
r
d
e
red
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt stuff onto lists in a sorted
order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
a
n Carpe
n
t
e
r
Delete an unus
e
d
function merg
e
_st
a
te_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpen
t
er
fix: if (*foo)
{
(*foo)
-
>ba
r
;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
rp
e
nter
kmalloc() an
d
friend
s
don't
a
lw
a
ys ret
u
rn
a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks
from here
g
ot mer
g
e
d
into check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpent
e
r
M
ove t
h
e stuff from c
h
eck_derefed_params
.
c into chec
k
_null
_
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next