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 known_condition_false()
2009-02-22
Dan
Carpenter
A
d
d known_con
d
ition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Fix han
d
ling of continue inside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Don't
s
et let people s
e
t states for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Smal
l
cl
e
anu
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpe
n
ter
Han
d
le
t
h
e iterators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an
Carpente
r
Add support for "if (a?b:c)
{
.
.
.
" ternary
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
a
r
p
e
nter
Add some support for _sp
i
n_tryl
o
ck() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
Carp
e
nter
if (a || b
)
{ a->
f
oo; sh
o
uld pri
n
t an e
r
r
o
r
.
Als
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
This prints out error messages all
the time that ar
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
penter
Ass
i
gnment always sets &isfreed to
s
omething else li
k
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
t
e
r
Don't print cross_func erro
r
s if the called functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
emove call t
o
all
o
c_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the merge_hook() instead of setti
n
g the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
Oops
.
Meant to comm
i
t this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d
the
m
er
g
e_hook
(
) back i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
C
lear the returns lis
t
s at the
end o
f
e
a
c
h function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implications checking t
o
a
f
ter the s
c
ripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Rewrite comple
t
ely with
n
ew goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Ca
r
pente
r
Add
s
om
e
fun
c
tions to h
a
ndle tracke
r
l
ists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Don't segf
a
ult all th
e
time
w
hen checking f
o
rever lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
T
est to see i
f
we ar
e
cat
c
hi
n
g cross function d
e
refs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arp
e
nter
Use the ->possib
l
e
stat
e
s and remove the
mer
g
e_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
"whi
l
e (
(
1)) {
"
is a
forever loop
.
Ca
l
l str
i
p_e
x
p
r
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
fixes to the -> possib
l
e settin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
M
erge branch 'm
a
ster
'
into null_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
enter
Add validation
s
c
r
i
pt for
c
h
e
ck_
n
u
l
l_
d
eref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an C
a
r
penter
C
l
ean up
.
new->possible is alwa
y
s null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carp
e
nter
Oo
p
s
.
-
>
pos
s
ibles wasn
'
t
getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_expr()
in split
_
c
ondi
t
ions() instea
d
reprodu
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Ca
r
penter
A
dd some more operations to get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Retur
n
&
mer
g
ed instead of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
e
nte
r
m
ake get
_
value() return
a value for bit
w
ise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try
a
g
ain removin
g
states fr
o
m pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Revert "Remove a sta
t
e from
it's ->po
o
l
s
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Eliminat
e
a warning
.
Prob
a
bly the wrong way
t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean
u
ps
.
Comments
.
Ren
a
me slist_stack to named_
s
tac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Ha ha
.
I still suck at point
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
C
o
mm
e
nts
.
Remove
d
ebug
g
i
ng
code
f
rom filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lean up
.
Also
preserve the ->
p
o
o
l
s i
n
on
e
path
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Clean up g
e
t_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
Remove __overwr
i
te_c
u
r_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
There was
debugging output
t
h
at
a
c
c
i
dentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Re
m
ove a st
a
te from it's ->pools when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delete the
-
>
po
o
l
s on
m
e
r
ging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try und
e
rst
a
nd t
h
e i
m
plicat
i
o
n
s from c
o
m
pound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
r
eat
e
a
s
ta
t
e
&
m
erged
.
W
h
en
we me
r
ge s
t
uff i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ok
.
T
his time smatch_implied
_really_
d
oes so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gn
o
re cscope fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Small
clea
n
ups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Add some mor
e
locking
f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Fix implied
p
ool
s
s
o that
a
t
least i
t
does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
I
t seemed
l
ike tracker_list wo
u
ld b
e
u
s
eful
i
n a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
Add a README desc
r
ibi
n
g
smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
A
d
d scr
i
pt to
f
i
nd NULL
dereferenc
e
s between fun
c
t
ions
.
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
D
an Carpenter
C
heck for malloc() as
w
ell as kmal
l
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Car
p
enter
F
ix
segfault when handling imp
l
icitly declared
functi
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn wh
e
n we don't acquire lock
s
when call
i
ng cert
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
n
t
e
r
Try (an
d
fa
i
l) to
f
ind
memory leak
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message when you come to unreach
a
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add check to look f
o
r
double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Car
p
enter
Add checki
n
g f
o
r lock_ker
n
el()/unlock
_
ke
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
M
a
ke check_locking
c
heck both
s
pinlocks and
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpent
e
r
Add a
n
ew function s
l
ist_has_st
a
te(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
I
f there is an i++
t
h
en the value of
'i' is
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
t
e
r
Add a new check_locking script that check
s
spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
ter
Sa
v
e the possibl
e
s
t
ates
inst
e
ad of just
m
er
g
ing the
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
pe
n
ter
Ignore emacs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpe
n
t
e
r
M
e
rge branch '
m
a
s
ter' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpe
n
ter
Fix likel
y
() and unlikely()
handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
pe
n
t
e
r
Add single quo
t
es around
the vari
a
b
l
e for co
n
s
istency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Ca
r
penter
We could save som
e
memory b
y
not allocati
n
g n
e
w
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rpente
r
Add
a
comment showing where the
tes
t
s
a
r
e
sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ente
r
T
h
is is
l
eft
over from October as
p
art of
t
h
e implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add get_pos
s
ible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
S
tuf
f
left over f
r
o
m October
.
Impl
i
ed pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
an C
a
rpenter
We could
s
ave some memor
y
by not al
l
ocat
i
ng new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add
a
merge
h
ook
.
H
a
nd
l
e the s
i
tua
t
ions lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
st
r
cmp() doesn'
t
a
c
cept NULL arg
u
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpen
t
er
re
n
ame two
f
uncti
o
ns:
g
e
t_va
r
iable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
g
et_variable_
f
rom
_
ex
p
r() uses a sta
t
ic buffe
r
and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_template
.
c exam
p
le script that lo
o
ks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Make get_all
_
states()
not segfau
l
t every
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_val
u
e() to return n
e
gative
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Ca
r
penter
We only ever pass
o
n
e
parameter
into get
_
value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpe
n
ter
Fix ge
t
_all_stat
e
s
(
) to matc
h
th
e
f
u
nction definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Remove ad
d
_stat
e
() a
n
d
s
tate_defined() defi
n
itions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
F
ix leak
.
My pr
o
ble
m
is that I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Initi
a
l com
m
it of th
e
"im
p
lied
s
t
a
te pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Ca
r
pen
t
e
r
Do
h
.
We haven't b
e
en using smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Get ri
d
of path_history
.
I
t's n
e
ve
r
going to be use
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Car
p
enter
M
a
k
e
go
t
o_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merge_sli
s
t now
that
t
he s
l
ist
s
a
r
e ord
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
In
s
ert stuff onto li
s
ts in a sorted or
d
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
a
rpenter
Delete an unused function merge_stat
e
_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
D
an Carpenter
f
i
x: if
(*foo)
{
(*foo)
-
>
b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
t
e
r
kmalloc() and friends
d
o
n't always
return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
T
h
e c
h
ecks fr
o
m here g
o
t merge
d
into c
h
eck_nul
l
_de
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next