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
a
n
C
arp
e
nter
Handle de
c
l
a
rati
o
ns
ins
i
de sw
i
tch s
t
a
tement b
l
ocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Cleanup is_
z
e
r
o(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ad
d
k
nown_condit
i
on_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pent
e
r
Fix handling of con
t
inue
i
n
side do while state
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Don't
set let
people set states for unreach
a
b
l
e c
o
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Small cl
e
a
n
up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Handle t
h
e
i
t
e
ra
t
o
rs correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpente
r
Add s
u
pport for "if (a?b:c) {
.
.
.
" te
r
nary conditi
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carpenter
Add some support for _spin_trylock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if
(
a || b)
{ a->f
o
o; should p
r
int an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This prints out error messages all
t
he
time that ar
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assignme
n
t alway
s
s
e
t
s
&isfreed t
o
somethi
n
g else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don
'
t print cross_
f
u
nc e
r
ror
s
if
the c
a
lled functi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
Remove call to
alloc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
Call the me
r
ge_hook() instead of setting the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpent
e
r
Oops
.
Meant to comm
i
t this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
pent
e
r
A
d
d the m
e
r
ge_hoo
k
(
) back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Clear the returns lists at the e
n
d
of each functio
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Move t
h
e implic
a
t
io
n
s checking to
a
fte
r
the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewrite complet
e
ly with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
A
dd som
e
funct
i
ons to handle tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
D
on't
segfaul
t
all the time when checking fo
r
ever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Test to see if we are catch
i
ng cro
s
s
functio
n
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Use the -
>
p
ossible
s
tates and
r
emove the merge_
h
ook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
t
e
r
"
while ((1))
{
" is a forever loop
.
C
a
l
l
strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to
the
-
> possible se
t
t
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e branch 'm
a
ster' into
null_d
e
r
ef
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpen
t
er
Ad
d
valid
a
tion script for
check_null_
d
eref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
C
a
r
penter
Clea
n
up
.
n
ew-
>
po
s
sible i
s
a
lways null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
-
>possibles wasn't ge
t
ti
n
g set corr
e
ctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
U
s
e strip_e
x
pr() in s
p
lit_condition
s
()
i
n
s
tead reproducin
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpe
n
ter
Ad
d
s
ome
more operations to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return
&merged ins
t
e
ad o
f
&unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
mak
e
g
e
t_value()
r
e
t
urn
a value for
b
i
t
wis
e
o
r exp
r
essions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Tr
y
aga
i
n removing states fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove a s
t
ate from
it's ->p
o
ols wh
e
n set_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Elimin
a
te a wa
r
ning
.
Pr
o
bably t
h
e wrong way
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
an up
s
.
Comments
.
Rename
s
list_
s
t
ack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
H
a ha
.
I stil
l
suck at pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Cleanups
.
Comments
.
Rem
o
ve debugging code fr
o
m
f
ilter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean up
.
A
lso pres
e
rve the -
>
pools
in one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carpenter
C
l
ean
up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugg
i
ng
outp
u
t t
h
at accide
n
tally got
committ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
Remove a sta
t
e fr
o
m it
'
s ->pools w
h
en set_st
a
te() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
D
o
n't
delete
t
he ->p
o
o
l
s on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carp
e
nter
Try un
d
erstand
t
h
e implications from
compound cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Cr
e
a
te a
s
t
a
t
e &me
r
ged
.
When
we merge stuf
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This ti
m
e smatch_i
m
pl
i
e
d
_
r
e
a
l
ly_ does somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
nter
Ignore cscope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
r
p
ent
e
r
Sm
a
ll cle
a
nups
.
(White s
p
ace)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitesp
a
ce change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
arpenter
Add some more
l
ockin
g
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix
i
mplied pools so that at least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It
see
m
ed
l
ike t
r
a
cker_list would b
e
useful in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pe
n
ter
Ad
d
a README describ
i
n
g
smat
c
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
r
p
e
nter
Add script to
find NULL de
r
e
f
erenc
e
s betwe
e
n fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix usage m
e
ss
a
ge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check for malloc() as well a
s
kmalloc(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fi
x
segf
a
ult when
h
a
ndling imp
l
ici
t
ly declar
e
d functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
War
n
when we d
o
n't acquire
l
ocks when callin
g
ce
r
tain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Try (and f
a
il)
t
o find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message when you come to unrea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add check to
l
ook for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
A
d
d checking for lock_kernel()/unlo
c
k_k
e
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an C
a
rpent
e
r
Ma
k
e ch
e
ck_locking check both spinlocks
a
nd semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new
f
u
nction slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
I
f
the
r
e is an i++ then
t
he value
of
'
i' i
s
unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
Add a
n
ew
check_locking
s
cript that checks spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Sav
e
t
he pos
s
ible
stat
e
s instead of just mergin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
t
er
Igno
r
e
emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpent
e
r
M
e
rge branch 'ma
s
ter' into pool
s
5
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpente
r
Add
a co
m
me
n
t showing whe
r
e
the tests are
s
u
p
posed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
a
rpenter
T
h
is
is left ov
e
r
fr
o
m O
c
tober
a
s part
o
f
t
h
e
impl
i
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add g
e
t_po
s
sible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left
over from Oc
t
ober
.
Imp
l
ied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
We
c
ould sa
v
e some memory by not a
l
locating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
ar
p
enter
Fix memory l
e
ak
.
Ad
d
more commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge h
o
ok
.
Handle the situatio
n
s like
:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
r
p
enter
strcmp() does
n
't accept N
U
LL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
t
wo functions: ge
t
_va
r
ia
b
le_from_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
n
ter
get
_
variab
l
e_
f
r
o
m_expr() uses a static buffer and y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Ca
r
penter
C
r
ea
t
e a che
c
k
_template
.
c example script that looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make get_all_st
a
te
s
() not segfault every ti
m
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get_value() to r
e
turn
negat
i
ve values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n C
a
rpenter
We
o
nly ever p
a
s
s one parameter into get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states() to match th
e
functio
n
definiti
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
R
emo
v
e add_s
t
ate() and state_defin
e
d(
)
definition
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
C
lean up
.
Fix l
e
ak
.
My problem i
s
that
I
don't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initial comm
i
t
o
f th
e
"implied st
a
te
p
oo
l
s"
s
tuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Doh
.
We h
a
ven'
t
b
een using smatch_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpenter
G
et rid of
path_hist
o
ry
.
It's never going to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
pent
e
r
M
ake g
o
t
o
_stack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rpen
t
er
S
p
eed u
p
merge_s
l
ist now that the slists ar
e
order
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
n
sert s
t
u
f
f o
n
to
l
ist
s
in a
s
orted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
enter
Delete
a
n unus
e
d functio
n
merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpe
n
ter
f
ix
:
if (*foo) { (*foo)->b
a
r; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan C
a
r
penter
kmallo
c
(
) an
d
friends don't
a
lways
r
eturn a non-n
u
ll
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpente
r
The
checks from here g
o
t m
e
rged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move
t
h
e
stu
f
f from check_der
e
fed_params
.
c into check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next