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
fixes to
t
he
-> possible
settin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge
b
ranc
h
'mast
e
r' into n
u
ll
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Ca
r
pe
n
te
r
Add validatio
n
script for check
_
null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
r
pe
n
ter
C
l
ean up
.
new->possible is
always
null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpen
t
er
Oops
.
->possibles wa
s
n'
t
g
etti
n
g
s
et correc
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
en
t
er
Use
s
trip_
e
xpr(
)
in
s
pli
t
_cond
i
tions()
i
ns
t
ead reproduc
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
A
dd some
m
ore op
e
rations to ge
t
_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpent
e
r
Return &merged instead of
&
u
n
defined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
make get_
v
alue() retur
n
a
va
l
u
e f
o
r bitwi
s
e or expr
e
s
sion
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
n
t
e
r
Try a
g
a
in removing
states
f
rom pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Rev
e
r
t
"
R
emove a state from
i
t's ->po
o
ls wh
e
n set
_
st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
Elim
i
nate a warni
n
g
.
Probably th
e
wro
n
g way to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Clean up
s
.
Comments
.
Rename s
l
ist_st
a
c
k t
o
named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I stil
l
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
anups
.
Com
m
ents
.
Remove de
b
ugging code
f
r
om filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpente
r
Clean up
.
Also p
r
es
e
rve the ->pools
in one
p
ath
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
R
emove __overwrite
_
c
u
r_sli
s
t
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nte
r
Th
e
re was debuggin
g
output that accidental
l
y got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a
state f
r
om it's ->pools when set_stat
e
() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Don't delete t
h
e ->pool
s
on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try understand the
implic
a
tions
f
ro
m
compoun
d
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Create
a
s
t
ate &merged
.
When
we merg
e
s
t
uf
f
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
O
k
.
This time sma
t
ch_implied _really_ doe
s
something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
I
g
nore cscope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
c
lean
u
ps
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
Whitespace
change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pen
t
er
Add
s
om
e
more locking functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Fix impl
i
ed pools so t
h
at at
leas
t
it d
o
es some
t
hin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
a
r
penter
It seeme
d
like tracker_
l
i
s
t would be use
f
u
l
in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add a README describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Car
p
enter
A
dd scrip
t
to fi
n
d NULL deref
e
ren
c
e
s between function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix
u
sage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
C
heck for malloc() as w
e
ll as km
a
l
loc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Fix segfault wh
e
n
h
a
n
d
l
ing implicitly decla
r
ed functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Warn when we do
n
'
t ac
q
uire locks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
T
r
y
(and fail) to f
i
nd memo
r
y leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a message
w
hen you
c
o
m
e to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpente
r
Add
c
hec
k
t
o
lo
o
k for do
u
ble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpe
n
ter
A
dd checkin
g
f
or
l
ock_kernel()/unl
o
ck_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an
C
a
rpenter
Make check_locki
n
g check both spinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Add a new function slist_has
_
state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there
i
s a
n
i++ then the val
u
e
of 'i'
is
u
n
de
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Add a
n
ew check_loc
k
in
g
scr
i
pt that c
h
ecks spinloc
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possible st
a
t
e
s instead of just me
r
ging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Ign
o
r
e
e
macs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
arpente
r
Merge branch 'master' into
pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix
l
ikely() an
d
unlike
l
y
(
) handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single q
u
otes around the v
a
ri
a
ble
f
or consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpenter
W
e
co
u
ld save some memory by not allocating ne
w
me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Ad
d
a c
o
mmen
t
sho
w
i
n
g
w
here t
h
e tes
t
s are s
u
pp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left o
v
er
f
rom Octobe
r
as part of t
h
e
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpe
n
ter
A
d
d get
_
possible_state
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff
l
eft over from Octob
e
r
.
Imp
l
ied pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Da
n
Carp
e
nter
We could s
a
ve so
m
e
memory by not allocating new me
m
or
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
Fi
x
m
em
o
ry
l
eak
.
Add more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
pen
t
er
Add a
merge hook
.
Handle the situat
i
o
n
s
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
st
r
cmp() doesn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpe
n
ter
rename
t
wo funct
i
ons: get_variable_from_
e
x
pr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
v
a
r
iable_from_expr() uses a static buf
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
Create a
check_templ
a
te
.
c example script
th
a
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Ma
k
e get_al
l
_sta
t
es
(
) not segfault
e
ve
r
y time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
ter
Fix g
e
t_value() to return negative values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
er
We o
n
ly
ever
p
a
ss o
n
e para
m
et
e
r
i
n
to ge
t
_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix ge
t
_all_states() to match the functio
n
definiti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Car
p
ent
e
r
Remove add_state() and st
a
t
e_defined() d
e
finitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
Fix
l
eak
.
My
p
rob
l
em is t
h
at I don't und
e
rstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Initial comm
i
t of th
e
"implied state pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
D
oh
.
We
h
aven't been using smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
ter
Ge
t
rid of path_hist
o
ry
.
It's never going t
o
be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
a
rpenter
M
a
ke goto_stack s
t
atic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Speed
u
p merge_
s
li
s
t now
that the slists a
r
e ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Insert stuff onto lists in
a
sorte
d
order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpent
e
r
Delete an
u
n
u
sed function merge_
s
ta
t
e_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
n
te
r
fix:
if (*foo) { (*foo)->
b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpenter
kmall
o
c()
and fri
e
n
d
s
don't always return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n
C
arpenter
The check
s
from
h
ere go
t
merge
d
into
c
heck_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carp
e
n
t
er
Move
the stuff from check_de
r
efed_params
.
c into che
c
k_
n
ul
l
_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
arp
e
nter
Fix bug in
or_
s
list_
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 h
o
ok at the end of
a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anoth
e
r strip_expr() c
a
ll
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arp
e
n
ter
Hand
l
e assig
n
me
e
nts
i
nside conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpe
n
ter
On
l
y print someth
i
ng for
a->foo
a
nd not a
.
fo
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan C
a
r
pente
r
I
g
nore a
r
ray declarations
.
Thos
e
can't
be N
U
LL
obviou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Ca
r
p
enter
Make cur_slist sta
t
ic
.
It's only u
s
ed in smatch_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
W
h
ite spa
c
e
ch
a
n
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
p
en
t
er
Use merge_sl
i
s
t() instead of trying
to handl
e
it
y
ourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan
C
a
r
p
enter
__p
r
o
c
ess_co
n
tinues() is su
p
pose
d
to be
b
as
i
cally t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpe
n
te
r
New
s
m
atch_ign
o
re
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
(foo)
=
1
i
s the s
a
me as foo
= 1
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
Generalize st
i
p_cast
s
()
.
It'
s
now ca
l
le
d
strip_expr
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Ca
r
penter
Ig
n
ore
c
asts
.
foo((int *)&bar) is the
s
a
m
e as f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Da
n
Carpente
r
Created s
h
ow_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpenter
Ign
o
re stuff like foo
.
bar
.
We onl
y
care a
b
o
u
t
foo
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Ca
r
penter
W
h
at happens before is t
h
at parameters would get assigned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n C
a
rpenter
Missed a c
r
ashing
b
ug in t
h
e
i
nt =>
s
truct
c
o
nversio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
Dan Ca
r
penter
I ca
n
't be
l
i
ev
e
I was doin
g
s
tacks wro
n
g t
h
is whole
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n
Carpente
r
Chang
e
d smatch state from b
e
ing an in
t
t
o
b
ein
g
p
o
inte
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Da
n
Carp
e
nter
I
want to reuse the na
m
e s
m
atch
_
s
t
a
te
.
The current
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-17
Dan
Car
p
enter
Redo
t
he null
path
thing
.
So lon
g
as th
e
r
e is one
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next