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 Car
p
ent
e
r
Call the
m
er
g
e
_hoo
k
(
)
inste
a
d of setting the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
O
ops
.
Meant t
o
commi
t
t
h
is earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
A
dd the
m
erge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
nter
C
l
ear t
h
e retur
n
s li
s
t
s
at t
h
e
e
n
d of eac
h
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Mov
e
the implica
t
io
n
s checking to af
t
er the scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
R
e
w
rite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
n
t
er
Add s
o
me funct
i
o
n
s to h
a
ndl
e
t
r
acker list
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Do
n
'
t segfa
u
lt all the time when
c
heckin
g
forever
l
oops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Tes
t
to see if
w
e are catc
h
i
ng cross function derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
U
se the ->possible s
t
ates and remove the merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
"while ((1)) {"
i
s a forever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
fix
e
s
t
o t
h
e ->
possib
l
e set
t
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpente
r
Me
r
ge b
r
anch 'master' into n
u
ll_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Add validation s
c
ript for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arpente
r
C
lea
n
u
p
.
n
e
w->possi
b
le i
s
al
w
ays null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Oop
s
.
->possib
l
es wa
s
n'
t
g
etting set correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Use strip_expr() in s
p
li
t
_
c
onditions() instead reprod
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Add
s
ome m
o
r
e opera
t
ions t
o
get_v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Return &merged instead of &
u
ndefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
m
ake
g
e
t
_val
u
e()
r
eturn a value for
bitwi
s
e
o
r expr
e
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpenter
Try again remo
v
ing st
a
t
e
s from p
o
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpe
n
ter
Revert "Remove
a
s
tate fr
o
m
it's -
>
pools whe
n
set
_
s
t
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
en
t
er
Elimina
t
e a warning
.
Pro
b
ably
t
h
e wron
g
w
a
y
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
Cle
a
n
u
p
s
.
Comments
.
Rename
slist_stack
t
o named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
e
r
Ha
h
a
.
I still suck at
point
e
rs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean
u
ps
.
Comment
s
.
R
emove debugging cod
e
fro
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Clean
up
.
Als
o
preserve the ->pools in o
n
e path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up ge
t
_
s
tate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
R
em
o
ve __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
There was debu
g
ging output
that accidenta
l
ly got committ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state from it's ->pools when 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 ->pools on merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Try understa
n
d
t
he implicat
i
o
ns
from
c
ompound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Create a state &mer
g
e
d
.
When w
e
merge st
u
ff it
i
sn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpente
r
Ok
.
T
h
i
s
t
ime smatch_i
m
plied _really_
d
o
e
s some
t
h
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ign
o
r
e cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Sma
l
l cleanups
.
(
W
hite spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace ch
a
ng
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Ad
d
some
m
ore lock
i
n
g
functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Fi
x
impl
i
e
d pools
so that at
lea
s
t it
does s
o
m
e
thing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t see
m
ed like tracker_list would be useful in a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carp
e
nte
r
Add
a
READM
E
descr
i
b
i
ng smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
e
r
Ad
d
scri
p
t
t
o
f
i
n
d N
U
L
L
dereferences
bet
w
een
f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpente
r
C
h
eck for
malloc() as
w
ell as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
F
i
x segf
a
u
l
t when handling
impl
i
c
i
tly declared
f
unctio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
W
arn when we d
o
n't
a
cq
u
i
r
e lock
s
when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Try (and
fail) t
o
find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
C
arpenter
Almost print a message when
y
ou come to un
r
e
a
c
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arpenter
Add
c
h
eck to l
o
ok for double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add
checking for
lock_kern
e
l()
/
unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
C
arpent
e
r
Mak
e
ch
e
ck_locking check
b
oth spinl
o
ck
s
a
n
d
sema
p
hores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
A
dd a new function slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If there is an i++ t
h
e
n the value o
f
'
i' is und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
A
dd a new c
h
ec
k
_locking
s
cript that ch
e
cks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Save the possible s
t
ates inste
a
d of just merg
i
n
g
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
I
gn
o
re emacs garb
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpen
t
er
Mer
g
e branch 'ma
s
t
er'
i
nt
o
pools
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
i
x
l
ikely() and
unlikel
y
()
han
d
ling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
Add single quotes
around the variab
l
e for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Carp
e
nte
r
We could save
s
ome
m
emory by
n
ot alloc
a
ting n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
Add a
co
m
ment showing
where th
e
t
e
s
t
s are
s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is lef
t
over from October as part of
t
he i
m
p
lied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
an Carp
e
nter
Add ge
t
_p
o
ss
i
bl
e
_states(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carp
e
nter
Stuff left over from Octobe
r
.
I
m
plied pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
W
e
could save some me
m
ory by not allocating
new me
m
ory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Ca
r
penter
Fix memory leak
.
Ad
d
m
o
re com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carp
e
nter
Add
a merg
e
hook
.
Han
d
l
e
the sit
u
ations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp(
)
doe
s
n't
a
ccept NULL ar
g
uments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
rename two
f
unctions: get
_
variable_
f
rom_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpen
t
er
get_variable_from_expr() uses a sta
t
ic buffer
a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Create a ch
e
ck_template
.
c example
s
cr
i
pt that
loo
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
Make get
_
all
_
sta
t
es() not
segfault
e
very time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpen
t
er
Fix get_
v
al
u
e() to
retur
n
negat
i
ve values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only ever
pa
s
s one
parameter int
o
get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpente
r
F
i
x get_
a
l
l_states() to match the
f
unc
t
ion defini
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpenter
R
emo
v
e add
_
state() and
state_defined()
d
e
f
initions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Clea
n
up
.
Fix leak
.
My problem is that I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpe
n
t
er
I
n
itial co
m
mit of the "i
m
p
l
ied state
p
ool
s
" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpent
e
r
Doh
.
We haven't been
u
sing
smatch_extra
for a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
arpenter
G
et ri
d
o
f
path_hi
s
tory
.
It's never goi
n
g
to be us
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpente
r
Make goto_stack
s
ta
t
ic
.
commit
|
commitdiff
|
tree
2008-10-13
Da
n
C
arpente
r
Spe
e
d u
p
mer
g
e_s
l
ist now tha
t
t
he slists are
ordered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
e
r
I
n
sert stu
f
f onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpe
n
ter
De
l
ete
a
n
unused function merge_
s
t
ate
_
stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpenter
fix: if (
*
foo) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
D
a
n
C
arpenter
kmalloc()
and f
r
iends don
'
t alw
a
ys return
a
non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpen
t
e
r
The checks from here got me
r
ged into check_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
D
a
n Ca
r
penter
Mo
v
e the stuff
from chec
k
_
dere
f
ed_params
.
c i
n
to check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpent
e
r
Fix bug in
o
r_
s
list_stack()
.
if (a && b) wa
s
n't being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
D
a
n Carpenter
Add a hook at the end of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpenter
Forgot another strip_
e
x
p
r() c
a
ll
.
.
.
:
/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpent
e
r
H
a
ndle
assignmeents i
n
s
i
de conditions
b
e
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n Carpenter
O
nly pr
i
nt some
t
h
i
n
g
for a->foo and not
a
.
f
o
o
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carp
e
nter
Ignore ar
r
ay de
c
la
r
ations
.
Those can
'
t be NULL obviously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpente
r
Make
cur_slist static
.
It's only
used in smatch_s
t
ates
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carp
e
nte
r
W
h
ite space ch
a
nges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Ca
r
pen
t
er
Use merge_slis
t
() in
s
tead of trying to handle it
y
ou
r
self
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process_contin
u
es
(
) is supposed to be basically th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ig
n
ore
.
c
f
i
le
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next