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
D
a
n Carpent
e
r
Add support for those
f
unny gcc ({
.
.
.
}) block st
a
tements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle
d
ecla
r
ations inside
s
w
i
tch
s
tatemen
t
blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rp
e
nter
Clean
u
p is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpent
e
r
Add
known_conditi
o
n_
f
alse()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix
handling of continu
e
inside
d
o while statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't set
let peopl
e
set s
t
ates for
unreach
a
ble code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Smal
l
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
H
andle the it
e
rators correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add support for "if (a?b
:
c)
{
.
.
.
"
ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
dd some s
u
p
p
ort for _s
p
i
n_try
l
ock() and friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
a
r
penter
i
f
(a ||
b) {
a
->foo;
s
hould pri
n
t an error
.
Al
s
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This p
r
ints out error messages all the time
t
h
a
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpenter
A
s
si
g
n
ment always s
e
ts &is
f
r
e
e
d to something else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don'
t
print
cross_func err
o
r
s if the c
a
lle
d
function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Car
p
enter
Rem
o
ve call to alloc_stat
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
C
all
t
he me
r
ge_h
o
o
k() ins
t
ead of s
e
tt
i
ng the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Oops
.
Mea
n
t to commit
t
his earlier
.
:/
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
Carpenter
Cl
e
ar t
h
e return
s
lists at the end of each
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
M
ove
t
h
e
impl
i
cat
i
on
s
c
hecking to a
f
ter the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Rewrite co
m
pletely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add some fun
c
tions to handle tr
a
c
k
er list
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Don't
segfault all th
e
time when checking fore
v
er loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Test to see if we are catching cr
o
ss
fu
n
c
t
ion
d
e
refs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
p
en
t
er
Use the ->possible states and remove the merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1)) {"
i
s
a forever loop
.
C
a
ll strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
fixes to
t
he -> possib
l
e s
e
t
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpente
r
Mer
g
e branch 'master' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Carpenter
Ad
d
validation script fo
r
c
heck_n
u
ll_de
r
ef
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arp
e
n
t
er
Clean up
.
n
e
w
-
>
possi
b
le
is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpent
e
r
Oops
.
->possi
b
les wasn't gett
i
ng se
t
co
r
rec
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
an Ca
r
penter
Use strip_expr() in spli
t
_
c
on
d
i
tions
(
)
i
nstead
r
eprodu
c
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Add
s
ome more
ope
r
ations to ge
t
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Return &merged ins
t
ead
o
f
&
unde
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
make get_value(
)
return a
v
alu
e
for
b
itwise or
e
xpressi
o
ns
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Try
again
removing states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
D
an
Carpenter
Revert "Remove
a
state from it's ->pools w
h
en se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
E
l
im
i
nate a
w
arni
n
g
.
Pro
b
ably the wrong wa
y
to
d
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
n
t
er
Clean ups
.
Comments
.
R
ename slist_stack
t
o
n
amed_stack
.
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
inter
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
ar
p
enter
C
l
e
a
nup
s
.
Comm
e
nts
.
Remove debugging cod
e
from
filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n
up
.
Also preserve th
e
->pools in one path
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Clean up get
_
s
tate_sli
s
t()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Rem
o
ve __ove
r
write_cur_
s
list()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
T
h
ere was debu
g
ging ou
t
put that
a
ccidentall
y
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Remov
e
a sta
t
e from i
t
's ->pools
w
hen set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Don
'
t
d
elete the ->pools on mer
g
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
Try un
d
erstand t
h
e implications from compound condition
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Create a stat
e
&merged
.
When we merge
s
tuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Ok
.
T
his time s
m
atch
_
impli
e
d _r
e
ally_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ignor
e
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clean
u
ps
.
(
W
hite space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpe
n
ter
W
h
itespace change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Ca
r
p
e
nter
Add some
m
ore locking f
u
nction
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix
implied pools so
that
at
lea
s
t
it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed lik
e
tracker_list wo
u
ld be
useful in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arpenter
Add
a README desc
r
ibing
s
matc
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d
s
cript
t
o fi
n
d NULL dere
f
erences between functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
F
ix usa
g
e me
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ch
e
ck for mall
o
c() as well as kmallo
c
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
arp
e
nter
Fix segf
a
ult when handling i
m
p
l
ic
i
tly
de
c
lared fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
rpent
e
r
Warn when we do
n
't acquire
l
ocks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
an
C
arpenter
T
r
y (and
f
a
i
l
)
to f
i
nd memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Almost p
r
i
nt a messag
e
when you
c
o
m
e
to unreac
h
able
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
en
t
er
Add che
c
k t
o
look for double free
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add
c
he
c
king f
o
r lo
c
k_k
e
rnel()/unlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
M
ake check_locking check both spinlocks an
d
se
m
aphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an
Car
p
enter
A
d
d a new fu
n
ction
slist_has_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
If the
r
e is an
i
++ then the value o
f
'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Car
p
enter
Add a
n
e
w
check
_
locking script that chec
k
s spinlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the po
s
sible states ins
t
ea
d
of
just merging
t
hem
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Ignore emacs garbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpent
e
r
Merge bran
c
h 'master' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
ter
We could save s
o
me memory by
n
ot allocating new
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
pente
r
Add a comment
s
ho
w
ing wh
e
r
e
the t
e
sts a
r
e suppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
T
h
is is left over from October as part of th
e
im
p
l
ied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_stat
e
s()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Stuff left over
fr
o
m Octob
e
r
.
Implied po
o
ls work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an Carpenter
We
c
o
uld
s
ave some me
m
or
y
by not
a
llocating
n
e
w
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan C
a
rpenter
Fix memory
l
eak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
A
d
d a merge hook
.
Handle
t
he
s
ituations like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
penter
strcmp() doesn't accept N
U
L
L arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
rename two functions:
g
et_var
i
able_f
r
o
m
_expr
_
sim
p
le
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
g
et
_
variable_from_
e
xpr() uses a stat
i
c buffer
a
nd you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpent
e
r
Create a check_template
.
c example
s
crip
t
that look
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
Make get_all_states() not segfault ev
e
r
y tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
Fix get_v
a
lu
e
() t
o
return negat
i
ve values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
We only ever p
a
s
s one para
m
ete
r
into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpen
t
er
Fix get_all_states() t
o
match the func
t
ion d
e
f
i
nit
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove add_st
a
te() and state_defined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpen
t
e
r
Cl
e
a
n
u
p
.
Fi
x
lea
k
.
My problem is that I d
o
n't understand
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initi
a
l commit of t
h
e "implied
s
t
ate pools" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpen
t
er
Doh
.
We haven't been using smatc
h
_ex
t
ra
f
or
a
w
h
i
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpen
t
er
Get rid of pa
t
h
_
hi
s
t
o
ry
.
It's
n
ever
goin
g
t
o be u
s
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan
Ca
r
penter
Speed
up merg
e
_slist now
t
hat t
h
e slists are o
r
dered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff onto li
s
t
s
i
n a
sorted orde
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
rp
e
n
ter
D
e
l
ete an
un
u
sed function merge_state_stack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo) { (*foo)->ba
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
Car
p
enter
kmalloc() and friends don't al
w
ays
r
etu
r
n a
non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next