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
Remove call to alloc_state()
2009-02-18
Dan
Ca
r
penter
Remove
c
all to all
o
c_s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call
the mer
g
e
_
h
ook()
i
nstead of sett
i
ng the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Oops
.
Meant t
o
comm
i
t
th
i
s earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
Add th
e
m
e
rge_hook() bac
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
C
lear the retur
n
s lists at
t
he e
n
d
of e
a
ch
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Mov
e
the implications
checki
n
g
t
o after th
e
scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Re
w
rite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
Add some functions to handle tracke
r
list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
r
p
enter
Don't s
e
gfault a
l
l the ti
m
e when c
h
e
cki
n
g fo
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Test
t
o
s
ee i
f
we ar
e
catching c
r
oss function
d
er
e
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carp
e
nter
Use the ->pos
s
i
b
le
s
tates and
r
emo
v
e t
h
e merge
_
hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
"while ((1)) {" is
a
forever loop
.
Cal
l
str
i
p_expr
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
fixes to the
-
> pos
s
ible
setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Carpente
r
Merge branch
'
maste
r
'
into null_de
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
arpenter
Add validation
s
crip
t
f
or check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpen
t
er
Cle
a
n up
.
new->possible is always nu
l
l
h
e
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Car
p
e
n
ter
Oop
s
.
->poss
i
b
les wasn't getting set
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Use
s
t
rip_expr() in sp
l
it_conditio
n
s
() in
s
te
a
d reproduc
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Ad
d
some more
o
perati
o
ns to get
_
val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
e
turn &merged in
s
tead of
&
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
m
ake get_value() return a value for bitwise or expressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ent
e
r
Try again remo
v
ing s
t
ates from poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
evert "Remove a state
f
rom it's ->pools when set
_
state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Elimin
a
te a warning
.
Probably the wrong
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Clean ups
.
Comments
.
R
e
name slist_
s
tack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I
stil
l
s
uck at
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
C
l
e
a
n
ups
.
Comment
s
.
Remove
deb
u
ggi
n
g cod
e
from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Clean up
.
Al
s
o
p
reserve the -
>
poo
l
s in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Re
m
o
ve
__over
w
rit
e
_
c
ur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpent
e
r
There
was
d
ebugging ou
t
pu
t
that acci
d
entally got
commi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Remove a
state fro
m
i
t
's ->p
o
ols
when set_state(
)
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Do
n
't
delete the ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try und
e
rstand the i
m
plications from compo
u
nd co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
C
r
eat
e
a
s
tat
e
&merged
.
When we
m
erge
s
tuff
i
t is
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
O
k
.
This time sma
t
ch_im
p
lied _really_ does som
e
t
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ignore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
S
m
a
l
l
cleanups
.
(White s
p
a
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Whitespa
c
e cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
A
d
d
s
ome mor
e
locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix implied pool
s
s
o
that
a
t
lea
s
t
i
t does som
e
th
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It seemed like
t
racker_li
s
t
w
o
u
ld be u
s
eful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpent
e
r
A
d
d
a README describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script to fin
d
NULL d
e
ref
e
rences b
e
tween functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix usage messa
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
e
nter
Ch
e
ck for
malloc() as wel
l
as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix
s
egfault wh
e
n handling im
p
lici
t
ly dec
l
ared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don't acquire
locks when cal
l
ing certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpe
n
ter
T
r
y
(and
fail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print
a
message when yo
u
c
ome to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
dd c
h
eck t
o
l
ook fo
r
doubl
e
f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carp
e
n
t
er
A
d
d chec
k
ing for lo
c
k_kernel(
)
/u
n
lock_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pent
e
r
Make check_locking che
c
k both
s
pinlocks and
s
e
ma
p
hores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a ne
w
function
s
li
s
t_has_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is
a
n i++ then the v
a
lue of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Car
p
e
nter
Ad
d
a
n
e
w
check_l
o
cki
n
g
script that checks sp
i
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
en
t
er
S
ave t
h
e
possible
s
t
ates instead o
f
just merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ig
n
ore emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n C
a
r
penter
Merge br
a
nch 'master'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
i
x likel
y
(
)
and u
n
likely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add sin
g
l
e
qu
o
tes around the variable for consis
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpenter
We could sa
v
e
some memor
y
by not allo
c
ating new m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
C
arpente
r
Add
a comment showing
w
here th
e
tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
enter
This is
left over from
O
ctober as part
of
t
he impli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
A
d
d get_poss
i
ble_sta
t
es()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
Stuff
l
eft
over f
r
o
m
Oc
t
ober
.
Impli
e
d p
o
ols work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
We
could save some
memory by not allo
c
ating new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
F
ix
m
emory leak
.
A
dd more commen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Add a merge hook
.
Handle the
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
strcmp()
doesn't accept N
U
LL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rp
e
nt
e
r
r
ename two funct
i
ons:
g
et_var
i
a
ble_from_exp
r
_s
i
mple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_
vari
a
ble_from_exp
r
() uses a static buffe
r
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nter
C
r
eate a c
h
eck_template
.
c e
x
ampl
e
script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpenter
Make
g
et_
a
ll_states() not se
g
fault every
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Carpenter
Fix get_v
a
lue
(
) to retur
n
n
egative
v
alues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
We only ever pass one
p
arameter
i
nto get_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
g
et_all_states()
to ma
t
ch the functi
o
n d
e
finition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
m
ove add
_
stat
e
(
)
an
d
sta
t
e_
d
efine
d
() de
f
initions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Ca
r
penter
Clean up
.
F
i
x
leak
.
My proble
m
is
t
hat
I
don't unde
r
stan
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initial commit of
t
h
e
"i
m
plied state pools" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't been usi
n
g smatch_ext
r
a f
o
r a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Get rid of pat
h
_
h
i
story
.
It's never goin
g
to b
e
us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Ma
k
e
go
t
o_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up m
e
rge_slist now that the
s
lis
t
s are
o
rdered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
I
nsert stuff onto l
i
sts in a
sort
e
d
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
D
e
lete
a
n unused funct
i
on merge
_
state_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpent
e
r
fix:
if
(*foo) { (*foo)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
C
a
rpen
t
er
kmalloc(
)
and
f
riends don'
t
always re
t
urn
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpenter
Th
e
checks
f
rom
h
ere got m
e
rged into chec
k
_nu
l
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpente
r
Move
t
he stuff from
che
c
k_dere
f
ed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
Fi
x
bug
in o
r
_slis
t
_
s
tack(
)
.
if
(
a && b)
w
asn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpenter
Add
a
hook
a
t
the end of a
f
ile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
For
g
ot a
n
other
s
trip
_
expr() cal
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpe
n
ter
Handle assig
n
meent
s
inside co
n
dit
i
ons bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
O
nly print so
m
ething fo
r
a->fo
o
a
n
d not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ignore array declar
a
tion
s
.
T
ho
s
e can't be NULL obv
i
ously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Make cur_s
l
ist static
.
It's
o
nly used in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nter
White spa
c
e c
h
anges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
arpenter
Use me
r
ge_sl
i
s
t()
ins
t
ead of tr
y
ing
t
o
hand
l
e
i
t
you
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
D
a
n Carpenter
__process_continues() is supposed t
o
be basically the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next