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
Call the merge_hook() instead of setting the state to &undefined.
2009-02-18
Dan Carpenter
Call
t
he
m
erge
_
hook()
i
nstead
of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Oops
.
Mea
n
t
t
o commit
t
his earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
Add the merge_hook() back i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Clear
th
e
returns lis
t
s at the e
n
d
of
e
ach function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implicati
o
ns checking to
a
fter t
h
e scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rewrite completely with
n
e
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
pent
e
r
A
d
d so
m
e functions t
o
handle
tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
arpente
r
Don't segfau
l
t
all the time when che
c
k
in
g
forever
lo
o
ps
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Te
s
t to see if
we are ca
t
c
h
ing cross f
u
n
c
tion de
r
efs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
U
s
e
the ->possibl
e
states and remove the
merge_hook
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"
while ((1)) {" is a
forever loop
.
C
all
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
f
i
xes to the -> possible se
t
tin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
n
t
er
Merge branch 'master'
i
nto null_deref
commit
|
commitdiff
|
tree
2009-02-17
D
a
n Car
p
e
nter
Add valida
t
ion scri
p
t
for check_null
_
der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Cl
e
a
n
up
.
n
e
w->possible
is alwa
y
s null
he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Ca
r
penter
Oops
.
->possibles wa
s
n't getting set corr
e
ctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip_
e
x
p
r() in split_condi
t
ions()
inste
a
d reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Add some more o
p
erations t
o
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
t
e
r
Return &
m
erged
instead of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
te
r
m
a
ke get_
v
a
lue() return a
value for b
i
twise
o
r expr
e
ssions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again
r
emoving sta
t
es from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
p
enter
Revert "
R
e
move a state f
r
om it's ->pools when
set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
E
limin
a
te a warning
.
Prob
a
bly
the
w
r
on
g
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpen
t
er
Clean ups
.
Comments
.
Rename slist_sta
c
k to name
d
_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpente
r
Ha ha
.
I still suck
a
t
p
ointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cleanup
s
.
Comme
n
t
s
.
Re
m
ove debugging c
o
de from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cl
e
an up
.
Also pres
e
rve th
e
-
>
pools in
one pat
h
of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Clean up get_state_sl
i
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Rem
o
ve __ov
e
rwrite
_
cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
e
r
T
here was debugging output that accid
e
n
t
ally
g
ot co
m
m
it
t
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
R
e
move a s
t
ate from it's ->pools when set_s
t
a
te() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
D
o
n
't delete th
e
->pools
o
n
m
e
rging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Tr
y
unde
r
s
tand
t
h
e imp
l
ica
t
ions from compo
u
nd co
n
ditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
r
eate a sta
t
e &merged
.
When we
m
erge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nt
e
r
Ok
.
This t
i
me smatch_implie
d
_really_ does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ignore c
s
c
o
pe fi
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
rpent
e
r
S
mall cleanu
p
s
.
(
White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Whit
e
space cha
n
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d so
m
e
mor
e
l
o
c
ki
n
g functio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpente
r
F
i
x implied p
o
o
l
s so that
a
t least i
t
do
e
s something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
It seemed like tracker_list would be useful in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d a README describing s
m
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add scri
p
t to find
N
ULL dere
f
erenc
e
s betw
e
en functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpen
t
er
Fix
u
sage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
en
t
er
Check for m
a
lloc() as well as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arp
e
nter
Fix segfault when h
a
ndling implicitly decla
r
ed functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
War
n
w
hen we don't a
c
quire locks
w
h
en calling
c
e
rtain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try
(
and fail) to fi
n
d m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpe
n
ter
Almost
print a message when you come to unrea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add check to look for
d
oubl
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpent
e
r
Add checking fo
r
lock_kernel()/unloc
k
_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Car
p
enter
Make che
c
k
_
locking
check both
s
pinlo
c
ks and
s
emaphor
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
Add a
new fun
c
tio
n
slist_has_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpent
e
r
If ther
e
is
a
n
i++ then the value
of
'
i' is u
n
def
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
A
dd a new chec
k
_locking
scr
i
pt that
c
hecks sp
i
nlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Save the p
o
ss
i
ble state
s
instead of
j
ust m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
Carpenter
Ign
o
r
e
emacs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nte
r
M
erge branch '
m
ast
e
r'
i
nto pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fi
x
lik
e
ly
(
) and unlikely()
handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Add single quotes around the variable
f
or co
n
sistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could
save s
o
m
e
m
emory by not all
o
cating
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
p
e
nter
A
dd a comment showing w
h
e
re the t
e
s
ts are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpenter
This is left over
from O
c
t
o
ber a
s
part of
t
h
e
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
Add get_possi
b
le_states(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
ent
e
r
Stuff left
o
ver fro
m
O
c
tober
.
Implied pools wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We
c
ou
l
d
s
a
v
e some memory by n
o
t
alloca
t
ing n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory
l
eak
.
Add more
co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
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 Carpenter
strcmp() doesn't ac
c
ept NULL argum
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpent
e
r
rename two functio
n
s
:
get_
v
a
r
iable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpent
e
r
g
e
t
_va
r
iable
_
f
r
om_expr() us
e
s
a stat
i
c
b
u
ff
e
r an
d
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
Create a check_templat
e
.
c example script t
h
at
l
o
ok
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make
get_
a
ll_states() not s
e
gfaul
t
e
v
e
r
y
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fix
ge
t
_
v
a
l
u
e() to return negative
v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
We on
l
y ever pa
s
s
one parameter into get
_
val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an
C
a
rpenter
Fix get_all_states() to match the function
d
ef
i
ni
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_
s
tate() and sta
t
e
_defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
Car
p
e
n
ter
Clean up
.
Fix leak
.
My problem i
s
tha
t
I
don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpe
n
ter
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 C
a
rpenter
Do
h
.
We
h
aven't been usi
n
g smatch_ext
r
a for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
G
e
t
r
id
o
f
pa
t
h
_his
t
ory
.
It's never
going to be
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpente
r
Mak
e
goto
_
stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed
u
p merge_slist
now th
a
t
the sl
i
sts
are or
d
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
t
er
I
n
s
ert stuf
f
onto
l
ists
i
n a
s
orted
o
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
e
r
Dele
t
e an unused
funct
i
on merge_s
t
ate_sta
c
k
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*foo)
{ (*foo)-
>
b
a
r; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n Carpent
e
r
kmalloc(
)
and frie
n
ds
d
on't
a
lways return a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Ca
r
penter
The checks
f
rom
h
ere g
o
t
m
erged into c
h
eck_null_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n
C
arpenter
Move
t
h
e
stuff fr
o
m check_derefed_params
.
c into check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
penter
Fix bug in or_slist_stack
(
)
.
if (a && b)
w
asn't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n
C
arpenter
Add a hook
at
the end of
a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgot anothe
r
s
trip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an
C
arpent
e
r
Handl
e
ass
i
gnmeent
s
inside condit
i
ons
bette
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carp
e
nter
Only
print
somet
h
ing for a->foo and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
C
a
r
penter
Ignore array decl
a
ra
t
ions
.
Those can
'
t
b
e
NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n Carpenter
Make cur_slist static
.
It's only us
e
d in
smat
c
h
_
s
t
a
tes
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpe
n
ter
White space changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpen
t
er
U
s
e merge_slist() in
s
tead o
f
t
r
ying to handle it yourself
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Carp
e
n
ter
_
_
p
r
ocess
_
c
o
nt
i
nues() i
s
suppos
e
d to be ba
s
ica
l
l
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
D
a
n Carpenter
New smatch_ignore
.
c fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next