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
Add an option --no-implied to turn of implications.
2009-02-11
Dan
Carpente
r
Remove
a
s
t
ate
from it's ->pools w
h
en set_stat
e
() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
D
o
n't delete the
-
>pools on
m
e
r
gin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Try
un
d
erstand the implications
f
rom
co
m
po
u
nd 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
.
Whe
n
we merge stuff it
i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_
i
m
plied
_
really
_
does s
o
m
et
h
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Ignore c
s
cope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
en
t
er
S
m
a
ll cleanups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
W
hit
e
s
p
a
c
e change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pente
r
Add some m
o
re l
o
c
king functio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Fix impl
i
ed poo
l
s so th
a
t at
least it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
rpenter
It seemed like tracker_
l
i
s
t w
o
u
ld be
u
seful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Add a R
E
A
DME desc
r
ibing
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pen
t
er
A
dd script to
f
in
d
NULL derefere
n
ces be
t
ween functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
ter
Fix usa
g
e mes
s
age
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Chec
k
for malloc
(
) as
well as
k
mallo
c
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Fix
segfault
when handl
i
ng
imp
l
icitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
er
Warn when we
don
'
t ac
q
ui
r
e locks when cal
l
ing certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rp
e
n
ter
T
ry (and fail)
to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
enter
A
lmost print a m
e
ssage
when you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arpenter
Add check to look for do
u
b
le frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add ch
e
cki
n
g for lock_kerne
l
()/unlo
c
k_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
penter
M
ak
e
chec
k
_
locking check b
o
th spinloc
k
s and sem
a
ph
o
res
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a
new function slist_has
_
s
ta
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
If there is an i++ t
h
e
n
th
e
value of 'i
'
is
undefine
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add
a
new che
c
k_l
o
ck
i
ng script that checks spinloc
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpenter
Save the possibl
e
states
i
nstead of
just merging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n C
a
r
penter
Merge branch
'master'
into po
o
ls5
commit
|
commitdiff
|
tree
2009-01-16
Dan Car
p
ent
e
r
We could sa
v
e some memory by not allocating ne
w
memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n
Carpenter
A
dd a comment showing where the
t
ests are suppos
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carp
e
nter
T
h
is
i
s l
e
ft over from October
as
part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
A
d
d get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Stuff
l
ef
t
over
f
ro
m
O
ctober
.
Im
p
li
e
d
p
ools
w
o
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpenter
We could
s
ave s
o
me memory by not alloca
t
ing new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
ter
Fix m
e
mory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpenter
Add
a
merge hook
.
H
a
ndle t
h
e
s
i
t
uatio
n
s
like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
strcmp() doesn't ac
c
ept NULL
a
rgu
m
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
r
ename
t
w
o functions: get
_
var
i
able_
f
rom_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpenter
get_varia
b
le
_
from_exp
r
() u
s
e
s
a
sta
t
i
c bu
f
fer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a check_tem
p
l
a
te
.
c example script tha
t
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpente
r
Make
g
et_al
l
_stat
e
s
(
) no
t
segfault every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carp
e
nter
F
ix get
_
v
a
lue()
to retu
r
n
negative val
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Ca
r
p
enter
W
e
only ever pas
s
o
n
e
p
a
rameter into g
e
t
_valu
e
()
.
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 fu
n
ction def
i
nition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpent
e
r
Remove a
d
d_state()
an
d
s
t
ate_
d
efined() definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean up
.
F
ix
l
eak
.
My
problem is t
h
at I
don'
t
unders
t
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpen
t
er
Initial commit
o
f the
"impli
e
d state po
o
ls
"
stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carp
e
n
ter
Doh
.
We haven't been using
s
match_extra for a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Get
r
i
d o
f
path_hi
s
tory
.
It's ne
v
er going
to be used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Car
p
enter
Make goto
_
s
tack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Speed up me
r
ge_s
l
ist no
w
that the slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carp
e
nter
In
s
ert stuff onto lists in
a
sorted o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
C
a
rpenter
Dele
t
e an unused fu
n
ctio
n
merge_state_
s
tack()
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
an Carpent
e
r
k
m
al
l
o
c() and friends don't
a
l
w
a
ys return a non-nu
l
l
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
D
a
n Carpenter
T
h
e chec
k
s from here got
mer
g
ed into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
a
r
penter
Move the stu
f
f from check_derefed_params
.
c i
n
t
o
check_
n
ull_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpe
n
ter
Fix bug in or
_
slist_stack()
.
if (a && b) wasn
'
t being
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
D
an
Carpenter
Add a hook
at the end of a f
i
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpente
r
F
o
r
got another stri
p
_e
x
p
r
()
c
all
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Ha
n
dle assignmeents i
n
side condit
i
o
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
O
nly
p
rint so
m
eth
i
ng for a->foo and not a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Da
n
Ca
r
p
e
nte
r
Ignore a
r
ray decla
r
ations
.
Those can't
be NULL obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
D
a
n
C
arpenter
Make c
u
r_slis
t
static
.
It's
only
u
sed
i
n
smatch_states
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
White sp
a
ce c
h
anges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan
Carpenter
Use m
e
rge_slist() in
s
tead of
trying to h
a
ndl
e
it
yoursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Dan Carpenter
__process
_
co
n
tinues() is
suppo
s
ed to be basically
t
he
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpenter
New smatch_ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Da
n
Carpenter
(foo
)
= 1 i
s
the same as foo = 1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan C
a
rpenter
Ge
n
era
l
ize stip_casts()
.
It's
n
o
w
c
a
l
led strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan
Carpenter
I
g
nore c
a
sts
.
f
o
o((in
t
*)&
b
ar) is the same as foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpe
n
ter
Created show_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan C
a
rpenter
Ig
n
ore stuff like foo
.
bar
.
We o
n
ly care
a
bout foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an Ca
r
penter
W
h
a
t happens before is
that para
m
e
t
e
r
s woul
d
get assigned
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan C
a
rpenter
M
i
ssed a
c
rashing
bug in t
h
e int =>
s
t
r
u
ct conversi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
I can't believe
I wa
s
doin
g
stacks wrong this whole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carp
e
nt
e
r
Change
d
smatch state from bein
g
an
int to bein
g
po
i
nter
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
I wa
n
t to
r
euse the name smatch_sta
t
e
.
Th
e
c
urre
n
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
Redo
the
null path t
h
in
g
.
So l
o
ng
a
s
there is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan
C
a
rpenter
Cle
a
n up
.
Co
m
plicate
d
is
just a boolea
n
.
Set it to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Da
n
C
a
rpenter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Da
n
Carpen
t
er
Save the pre
c
o
n
ditio
n
s inside
t
he
c
onditio
n
s so th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan
Car
p
enter
The ma
i
n
change here
was t
o
c
o
mpletely rewrite how
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpente
r
B
re
a
k th
i
ngs out into functions a bit
.
Clean ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpen
t
er
Handle whi
l
e and for
l
oop
s
slig
h
tly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
Dan Carpenter
I removed nu
l
lify_path
(
) earli
e
r but that w
a
s
a
mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
I d
o
n't think the s
p
ecia
l
_
k
e
rnel_macros() fu
n
ct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpe
n
ter
Add a function to
d
o a
strcmp
(
) with a s
y
mbol name
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carp
e
nt
e
r
Remove
e
verythin
g
to
do with
path_id's
.
I couldn't
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Replace the variable __ne
g
ate with
the f
u
nction __negate()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Small clean
u
p
.
Move the
p
assing th
e
whole conditi
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Carpenter
Crap
.
I meant to
m
er
g
e this e
a
rlier whe
n
I divided
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Ca
r
penter
Add
a comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpen
t
er
M
oved all the logi
c
for handling condition
s
into a
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
Dan Carpenter
Oops
.
I guess
I
dele
t
ed the wrong list
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-17
D
a
n
Car
p
enter
D
o
n't pass the
c
ontents of
s
iz
e
of() to
the client
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
I
mprove how the
d
ebug
info
f
or merging
s
tates gets
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Da
n
Car
p
e
n
ter
The main thing
i
s
to handle zer
o
co
m
pariso
n
s better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan Carpenter
R
e
move unnee
d
ed code
.
This stuff is handl
e
d in smatch
_
flow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-16
Dan C
a
rpenter
We nee
d
t
o
be able to break dow
n
(foo != 0) for BU
G
_ON
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next