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
fixes to the -> possible setting.
2009-02-18
Dan Carpenter
f
i
xes to
the ->
possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Merge bran
c
h 'mast
e
r' into
n
u
l
l_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Add
v
alidation s
c
r
ipt
for check
_
null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
C
a
r
penter
Clean up
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpente
r
Oo
p
s
.
->pos
s
ibles
w
a
s
n
't
getting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
Us
e
st
r
ip_expr() in sp
l
it_con
d
itions(
)
in
s
t
ead
r
eproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add some more o
p
erations to ge
t
_
v
a
lue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merge
d
instead
of &undefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
mak
e
get_va
l
ue()
r
e
turn a value for bitwise o
r
expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try again removin
g
stat
e
s fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Revert "Remove a state from
i
t's ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Eliminate a warning
.
Probably the
w
r
ong
way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean u
p
s
.
Comments
.
R
e
name
slist_stack to
name
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpente
r
Ha
h
a
.
I still suck at p
o
inters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Com
m
en
t
s
.
Remove debug
g
ing
code fr
o
m fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean up
.
Also preserve t
h
e
->
p
o
ol
s
i
n one pat
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean
up get_state_s
l
i
s
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __ov
e
rwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
T
h
ere was debugging output
tha
t
accidental
l
y go
t
co
m
m
itted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove
a state from it'
s
->pools wh
e
n
set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don'
t
delete t
h
e ->
p
ools o
n
mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
Try un
d
ers
t
and th
e
i
mplication
s
from compound c
o
nditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Creat
e
a
state &merged
.
When we merge stuff i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
e
r
Ok
.
This t
i
me smatch_i
m
plied _real
l
y_ does somet
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ignore cscope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpe
n
ter
Small cle
a
nups
.
(W
h
ite
s
pace)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
i
t
e
s
p
a
ce cha
n
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpente
r
Add some more locking f
u
n
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Fix impli
e
d po
o
ls so that at least it
d
oes someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
I
t seemed like tracke
r
_list would b
e
useful
i
n a l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add
a
README de
s
cr
i
bing sm
a
t
c
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd scri
p
t
to find NULL der
e
ferences between function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nt
e
r
F
ix us
a
ge message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carp
e
nt
e
r
Check for malloc()
as well
as k
m
al
l
oc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
r
penter
Fix se
g
fault whe
n
han
d
ling
implicitly decl
a
red functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carp
e
nter
Wa
r
n w
h
en we don't
a
c
qui
r
e locks
wh
e
n calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
r
penter
Try (
a
nd fail) to find memory
l
e
a
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
lm
o
st print
a
mess
a
ge when y
o
u c
o
me to
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n C
a
rp
e
nt
e
r
A
dd
check
t
o look f
o
r
double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add
che
c
king for loc
k
_ker
n
e
l
(
)/unlock_
k
e
rnel
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
enter
M
ake check
_
l
o
cki
n
g check both
spinlocks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a new f
u
nction slist_has_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
Carpenter
If ther
e
is an i++ then th
e
value of 'i'
i
s
u
nd
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n C
a
rpenter
Add a new che
c
k_locking s
c
ript t
h
at che
c
ks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
Save the possible states instead of just mergin
g
the
m
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Car
p
enter
Ignor
e
emacs g
a
r
b
ag
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
Fix
l
ikely()
a
nd un
l
ikely(
)
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single
q
u
o
t
e
s
around the va
r
iable
for consistenc
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
penter
W
e
c
ould save some memory by not allocating new
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a comm
e
nt showing
where the tes
t
s are s
u
pp
o
se
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
T
h
is is left
over from October as part of the imp
l
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
A
d
d
ge
t
_p
o
s
s
i
b
l
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff le
f
t ov
e
r
from October
.
I
m
plied pools
w
ork
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
a
r
p
e
nter
We
could sa
v
e some memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carpente
r
Fix
m
e
mory leak
.
Add m
o
re comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hoo
k
.
Handle the situations lik
e
:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
C
a
rpenter
strcmp() doesn't
a
ccept N
U
LL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two
f
unctions:
get_vari
a
ble_from_e
x
p
r
_s
i
m
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_
v
ariable_
f
rom_expr(
)
uses a static buffer 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
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpenter
M
a
ke
get_all_states() not segfault
e
v
e
ry time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
C
arpenter
Fix
g
et_va
l
ue()
t
o
retur
n
neg
a
tive val
u
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
W
e on
l
y ever
p
ass
one p
a
ram
e
t
e
r into get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carp
e
nter
Fix get_all
_
states(
)
t
o ma
t
ch th
e
f
u
nct
i
on d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpent
e
r
Remove ad
d
_st
a
te
(
) and state_d
e
fined
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
Fix leak
.
My
problem is that
I
don't
u
nder
s
tand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carp
e
nter
I
n
i
t
ia
l
co
m
mit
of t
h
e "impli
e
d state pools"
stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
ter
Doh
.
W
e
ha
v
e
n
't
bee
n
u
s
ing smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpente
r
Get rid of pa
t
h_h
i
sto
r
y
.
It's never
go
i
ng t
o
be
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carp
e
nte
r
Mak
e
g
oto_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
S
p
eed u
p
me
r
ge_slist
n
ow that t
h
e
slists are orde
r
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
ar
p
enter
Insert stuff onto lists in a sorted
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
De
l
ete an un
u
se
d
function
merge_state_st
a
ck()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix:
i
f (*foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpe
n
ter
kmalloc()
and
f
ri
e
nds
do
n
't al
w
ays re
t
u
rn a no
n
-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Da
n
C
arp
e
n
t
er
T
h
e
checks
f
rom here got merged into check_null_de
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
ar
p
enter
Move the stuff f
r
om
c
h
eck_derefed_para
m
s
.
c into check_nu
l
l
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Fi
x
b
u
g
in
or_slis
t
_
s
tack()
.
if
(a
&
& b) w
a
sn't b
e
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Ca
r
penter
Add a hook at the end of a fi
l
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anothe
r
s
t
rip_expr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
r
penter
H
a
ndle assi
g
nmeents ins
i
d
e
c
o
nditi
o
ns bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
a
rpenter
Only print something for a
-
>
fo
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ig
n
ore
array declarations
.
Tho
s
e ca
n
't be NULL obvi
o
usly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_slist static
.
It
'
s onl
y
used in sm
a
tch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
an C
a
rpenter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
Use merge_sli
s
t() instead of trying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan C
a
rpenter
__
p
rocess_continu
e
s() is supposed
to be basically
t
he
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New s
m
at
c
h_
i
gnore
.
c
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
(foo)
=
1 is
t
he same
a
s foo = 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize
s
t
ip_c
a
sts()
.
It'
s
now c
a
lled strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
I
g
nore casts
.
foo((int *)&bar) is
the s
a
me as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
C
r
eated
s
how_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carp
e
nter
Ignore stuf
f
like foo
.
ba
r
.
We
o
nly care about foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Wh
a
t ha
p
pen
s
bef
o
re is tha
t
parameters would get as
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carp
e
nter
M
issed a
c
r
a
sh
i
ng
bug in th
e
int
=>
s
truct conv
e
rsion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
pe
n
ter
I can't believe I was doing st
a
cks wron
g
this w
h
ole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Changed
s
mat
c
h state f
r
om being
a
n
int to being pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpente
r
I want to reuse the name
smat
c
h_stat
e
.
The cu
r
ren
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpent
e
r
Redo th
e
null path thing
.
So lon
g
as there is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next