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 a state from it's ->pools when set_state() is called.
2009-02-11
Da
n
Carp
e
n
ter
Re
m
ove a state from
it's ->pools when set_
s
tate
(
)
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Don't de
l
ete the ->poo
l
s on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Try understand the im
p
lications
from compound c
o
nditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an
C
a
r
p
e
nter
Create a st
a
t
e &merge
d
.
Wh
e
n
we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpe
n
ter
Ok
.
This time
smatch_implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pent
e
r
Igno
r
e cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
t
er
Small cleanups
.
(
W
hite space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
W
h
itespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpe
n
ter
Add some more
l
ocki
n
g f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpen
t
er
Fix imp
l
ied pools so that a
t
least it
d
oes
some
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like
tracke
r
_list woul
d
b
e
u
seful i
n
a
lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a README des
c
r
i
bing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Ad
d
script to find NULL d
e
r
e
f
erences between fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpe
n
ter
Fix usage
message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
h
eck for malloc() as well as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpenter
Fix segf
a
ult
w
hen
h
andlin
g
i
m
pl
i
citly declared
f
unct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
War
n
w
h
en w
e
d
o
n't acquire locks when c
a
lling cert
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpenter
Try (and fai
l
)
t
o
find m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
lmo
s
t p
r
int a message
w
hen you come to unr
e
achab
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Add check
t
o look for
double
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
checkin
g
for lock_kernel()/unlo
c
k_
k
e
r
nel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
M
a
ke check_lock
i
ng chec
k
both spinloc
k
s
a
nd se
m
aphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
A
dd
a
n
ew function sl
i
st_has_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
I
f there is a
n
i++
the
n
the value of
'
i
' is undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a
n
e
w
check_locking script that checks sp
i
nl
o
c
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Save the
possi
b
l
e
states instead of just merging
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpen
t
er
I
gnore e
m
acs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an Carpenter
Merg
e
branc
h
'master' into
p
ool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
e
n
t
er
Fix
l
ik
e
ly()
and unlikel
y
() hand
l
ing
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
Add
s
ingl
e
q
uotes ar
o
u
nd the var
i
ab
l
e f
o
r co
n
sistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpe
n
t
er
We c
o
uld save some memo
r
y by not allocating
ne
w
me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
A
dd a c
o
m
ment showi
n
g where
t
h
e tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carp
e
n
t
e
r
Thi
s
is le
f
t over from
O
ct
o
b
er
a
s part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an
C
a
rpenter
Add get_p
o
ssible_states
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
t
e
r
Stuff left ove
r
from
O
c
t
ober
.
Implie
d
pool
s
wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpe
n
ter
We cou
l
d
sav
e
some me
m
ory
by not
alloc
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
F
i
x me
m
ory
leak
.
A
d
d more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
pe
n
ter
Ad
d
a merg
e
hook
.
Handle the
s
itua
t
io
n
s like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Ca
r
p
e
nter
strcmp() doesn'
t
acce
p
t
NU
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
re
n
am
e
two func
t
ions: ge
t
_
v
ariable_fro
m
_exp
r
_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpente
r
get_vari
a
ble_from_expr() uses a sta
t
ic buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpe
n
ter
C
reate
a check
_
templat
e
.
c examp
l
e scrip
t
tha
t
l
o
oks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpen
t
er
M
a
k
e get_all_st
a
tes() not segfault ever
y
tim
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_valu
e
()
t
o re
t
u
r
n negativ
e
values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpenter
We
only ever pass one par
a
m
e
t
er into g
e
t_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix ge
t
_all_
s
t
ates() to matc
h
t
h
e functio
n
d
efin
i
tio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
R
emove
add_sta
t
e
()
a
nd s
t
ate_defined()
d
efinitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
Cle
a
n up
.
Fix leak
.
My pr
o
blem is that I don't unde
r
stand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpente
r
Initial commit of the
"implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We haven't bee
n
usi
n
g smatch_e
x
tra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpenter
Get rid of path_
h
istory
.
I
t
's never
g
oi
n
g to
b
e
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make
g
oto_st
a
ck sta
t
i
c
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpenter
Sp
e
e
d u
p
merge_slist
n
o
w
that the slists are ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
r
p
e
nt
e
r
I
n
sert stuff
o
nto lists in a
sor
t
e
d order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Delete an unused fun
c
tion merge_sta
t
e_stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Car
p
e
n
t
e
r
fix: if (
*
f
o
o) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
an Carpenter
kmalloc() and friends don't always
r
etu
r
n a non-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
an
C
a
rpen
t
er
The checks fr
o
m he
r
e
got mer
g
ed int
o
che
c
k_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpenter
Mov
e
the stuff fr
o
m
c
heck_de
r
efed_params
.
c into check_n
u
ll_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
an Carpenter
Fix
b
ug in
o
r_slist_stack()
.
if (a &
&
b) was
n
't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Car
p
enter
Add a h
o
ok at
the end of
a
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
Carpenter
Forgot another strip_expr()
c
all
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carp
e
nter
Handle assign
m
eents
inside conditi
o
ns be
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
Only p
r
i
nt
something for
a->f
o
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
a
n Carpenter
Ignore array decl
a
rations
.
Tho
s
e can't be NULL obviousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
Carpent
e
r
Make c
u
r_slis
t
static
.
It's only used in smatch
_
s
tates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
White
s
pace chan
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Car
p
enter
Use merge_slist() in
s
tead of tr
y
ing
to
ha
n
dle
it yourse
l
f
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
t
e
r
__process_
c
ontin
u
es() is suppose
d
t
o
be basically
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
New smatch_ig
n
o
re
.
c
f
il
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
(foo) = 1 is the same
as
f
oo =
1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nt
e
r
Generalize stip_ca
s
ts()
.
It's
n
o
w ca
l
led
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Ca
r
p
enter
Ignore casts
.
foo((int *)&b
a
r) is t
h
e
same as foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
C
arpenter
Creat
e
d show
_
stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpenter
Ignore stuff
like
foo
.
ba
r
.
We
only care
a
bout
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpente
r
W
hat happens before is
that
parameters wo
u
ld get ass
i
gned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Car
p
enter
Missed a
c
rashing
b
ug
i
n the int =>
struct conversion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan
C
arpenter
I can't believe I was doing stacks w
r
ong th
i
s wh
o
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Ch
a
n
g
ed
smatch sta
t
e
f
r
o
m bei
n
g an
i
n
t to
b
e
in
g
poin
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
arpenter
I want
t
o reuse the
n
ame sma
t
ch_state
.
T
he current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo the
null p
a
th
t
hi
n
g
.
So long as t
h
e
r
e is o
n
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Clean up
.
Complicated is ju
s
t
a boole
a
n
.
Set it
to
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Ar
r
ays ar
e
co
m
plicate
d
so they sho
u
ldn't be ret
u
rned by
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carp
e
nter
If we ca
l
l set_state fr
o
m inside a conditio
n
then it
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
If the po
i
nter is in
i
t
i
a
lized to n
o
n-null then set
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rpenter
ignore the smatch b
i
nary
.
Signed-off-by:
Dan Carpenter
<dcarpenter@error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-15
Dan C
a
rpent
e
r
When we
merg
e
2 slist
s
we
need
t
o deal wi
t
h
the
case
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-14
Dan Carpenter
Clean ups
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n
Ca
r
penter
Add null
i
fy the path when you have for(;;);
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
D
a
n Carpenter
Merge b
r
a
n
ch
'ls' into ultratmp
commit
|
commitdiff
|
tree
2008-09-13
Dan Car
p
ente
r
Merge branch 'unnullify' into ls
commit
|
commitdiff
|
tree
2008-09-13
Dan
Carpenter
L
ots of
do
w
hile(0) loo
p
s
don
'
t
c
all break so it doesn
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-13
Da
n
Carpenter
Remove unneeded check
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
Dan Carpenter
Fix or_
s
list_s
t
ack
(
)
.
B
e
fo
r
e it just sav
e
d one stack
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-08
D
a
n
Carpenter
crap crap
c
r
ap
.
do not us
e
.
commit
|
commitdiff
|
tree
2008-09-07
Dan Car
p
enter
C
lean ups an
d
a
dd some __unnullify_
p
at
h
stuff
.
Hopeful
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Da
n
Carpe
n
ter
Small cleanup
.
goto_sta
c
k
s
h
ould only
be used i
n
smatch_st
a
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-07
Dan
C
ar
p
e
nter
Cl
e
an
u
ps
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Dan
C
arpenter
F
i
x bu
g
s
a
ving the false_only stack
.
Before
c
ode like
.
.
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
2008-09-06
Da
n
C
a
rpenter
This i
s
the star
t
of th
e
smatch_e
x
tra stuf
f
.
Signed-off-by:
Dan Carpenter
<dcarpenter@usbsys.site>
commit
|
commitdiff
|
tree
next