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
Add support for those funny gcc ({ ... }) block statements.
2009-02-23
Dan
C
arpenter
Add support for
t
hose
funn
y
gcc ({
.
.
.
})
b
lock
s
tatem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Hand
l
e declarations i
n
side s
w
itch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
C
leanup is_zero(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known_conditio
n
_fa
l
se()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpente
r
Fix han
d
ling of
c
ontinue inside do
while st
a
teme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Don't set let
p
eople set stat
e
s
f
o
r
unrea
c
hable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Small cleanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
H
a
n
dle the iterators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add suppor
t
for "i
f
(a?b
:
c
) {
.
.
.
" ternar
y
co
n
ditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Ad
d
so
m
e support
for _sp
i
n
_
t
rylock()
and fri
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (
a
|| b) {
a
->foo
;
should
print an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
This p
r
i
n
ts out error
m
essages all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
Assignme
n
t
a
l
ways set
s
&i
s
freed to
s
omething el
s
e
l
ike
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
D
o
n
'
t
p
rint cross_f
u
nc e
r
r
o
rs
if the called 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
Carpenter
C
a
l
l the merge_hook()
i
n
stea
d
of setti
n
g the s
t
at
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Oops
.
Meant
t
o commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add the mer
g
e_hook(
)
bac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns
lists at the end
of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Car
p
ente
r
Move the implications
checki
n
g to
a
fter the scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Rewrite
c
o
mplet
e
ly with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Add
s
o
m
e fun
c
tions t
o
hand
l
e tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpen
t
er
Don't segfault all
t
h
e time whe
n
check
i
ng forev
e
r
lo
o
ps
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Test
t
o se
e
i
f
we are catching cross
f
unction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Use
the ->possible stat
e
s a
n
d
r
emove the merge_hoo
k
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"while
((1)) {" is a for
e
v
e
r
l
oop
.
Ca
l
l strip_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
fix
e
s to the -> poss
i
b
le setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
te
r
Me
r
ge branch 'mas
t
er' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpenter
Add validation script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Car
p
e
n
t
er
Clean up
.
new->po
s
sible is
al
w
ays
null her
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpent
e
r
Oops
.
-
>possibles
wasn't get
t
i
n
g s
e
t co
r
rectl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
a
rpenter
Use st
r
ip_expr() in spli
t
_condi
t
ions() instead reprodu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
A
dd some more oper
a
tio
n
s
t
o ge
t
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rpenter
Return &merge
d
in
s
t
e
ad of &undefi
n
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Car
p
enter
make get_val
u
e
(
)
return a v
a
l
u
e for
bitwise
or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Tr
y
again r
e
m
o
ving states from
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
R
e
vert "Remove a sta
t
e
f
r
o
m
it's ->pools when set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
E
liminate a wa
r
ning
.
Probably the
wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
enter
Cl
e
an ups
.
Comments
.
Rename slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
ent
e
r
Ha ha
.
I
s
til
l
suck at poi
n
ters
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Cleanups
.
Comments
.
Remove deb
u
g
g
ing code
from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Cl
e
an up
.
Als
o
prese
r
ve th
e
-
>pools in one
p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
p
enter
Cl
e
an up
get
_
st
a
te_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
There was debu
g
ging output
t
hat accidentally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
R
e
move
a
state from it's
-
>pools when
s
e
t
_
s
t
a
t
e() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
D
o
n
't delete
t
h
e
-
>pools on merg
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
T
r
y unde
r
st
a
nd
t
he
i
mplications fro
m
compound condit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a state &merged
.
Whe
n
w
e
mer
g
e st
u
f
f
it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpe
n
t
e
r
Ok
.
T
h
is time smatch_
i
mpl
i
e
d
_
really_ does
som
e
thing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nt
e
r
Ignore c
s
cope f
i
les
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carp
e
nter
S
mall c
l
eanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
W
hitespace ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Add some m
o
re
locking f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Fix im
p
lied p
o
ols so that at least i
t
does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
It seem
e
d like
t
racker_list would be
u
seful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
A
dd a
RE
A
DME describing sma
t
ch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
sc
r
ipt
t
o
f
ind NU
L
L dereferences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
F
i
x usage m
e
ssage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Check fo
r
ma
l
l
o
c
(
)
as
w
ell a
s
kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Fi
x
segfault when ha
n
dling implicitly declared functi
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn when we don't acquire loc
k
s when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpente
r
T
r
y (
a
nd fail
)
to fi
n
d memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
l
most pr
i
nt
a
m
essage w
h
e
n
you come to un
r
eachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add c
h
eck to l
o
ok
for d
o
ub
l
e
frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Ca
r
penter
Add checkin
g
for loc
k
_kernel()/unlock_
k
ernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Make check
_
locking check both spinloc
k
s and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpen
t
e
r
Add a
n
ew funct
i
on slist_has_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
I
f there is
a
n i++ then the value of '
i
' is
undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
penter
Add a
n
ew che
c
k_l
o
cking s
c
ript that che
c
ks spinloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve
the possible st
a
t
e
s instead
o
f
ju
s
t
m
e
rgin
g
them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpe
n
ter
Me
r
ge branch
'master' into
p
ool
s
5
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpent
e
r
Add a comment showing where the te
s
ts are suppo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Ca
r
penter
Th
i
s
is left over from
October as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
Add get_possible_sta
t
es()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Car
p
e
n
ter
Stuff left over f
r
om Octobe
r
.
Implied
poo
l
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We co
u
ld save some memory by not
a
llocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
Carpenter
Fix
me
m
ory le
a
k
.
Add
m
ore comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a
m
erge hook
.
Handle
the situatio
n
s like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn
'
t
a
c
c
ept NULL ar
g
uments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two f
u
nctions: ge
t
_va
r
iable_
f
r
o
m_expr_simpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_variable_from_expr(
)
uses a static
buffer and y
o
u
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Cr
e
ate a
c
hec
k
_
t
emplate
.
c example
scrip
t
that loo
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
arpe
n
ter
M
ake ge
t
_
al
l
_states() not segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpen
t
e
r
F
i
x
get_valu
e
() to retur
n
neg
a
tive valu
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
W
e only ev
e
r pass one parameter i
n
to get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
p
enter
Fix
g
et_all_states()
t
o
match t
h
e function defin
i
t
i
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Remove
a
dd_s
t
at
e
() an
d
s
t
at
e
_
de
f
ined() d
e
f
i
ni
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
C
le
a
n up
.
F
i
x
l
eak
.
My problem is that I don't unde
r
sta
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Initial c
o
mm
i
t
o
f the "implied sta
t
e pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nt
e
r
Doh
.
We haven't
b
e
en
u
si
n
g smatch_
e
xtra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an C
a
r
p
ente
r
Get rid of
p
at
h
_h
i
stor
y
.
It's neve
r
going to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make go
t
o_
s
ta
c
k stati
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Spe
e
d up merge_sli
s
t now that the sli
s
ts are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Ca
r
p
enter
I
nse
r
t stuff
o
n
to list
s
in a
s
orted
o
rder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
D
an Carpente
r
De
l
ete
a
n unused function merge_
s
tate_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
nter
fix
:
if (
*
foo) {
(
*foo)->
b
ar;
}
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Ca
r
penter
kmalloc()
a
nd friends don't alway
s
return a non
-
null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan Car
p
enter
The checks from here got merg
e
d in
t
o check_null
_
deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next