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
Oops. ->possibles wasn't getting set correctly.
2009-02-14
Dan
Carp
e
nter
Oops
.
-
>possibl
e
s w
a
sn't gett
i
n
g
set
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
C
a
rpen
t
er
Use
s
trip_expr
(
) in spl
i
t_conditions() in
s
te
a
d reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
e
nter
A
d
d some more oper
a
tions to get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Retu
r
n &merg
e
d instead o
f
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
make get_value() return a value
for bitwi
s
e
o
r expr
e
ssions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
t
er
Try
ag
a
in
r
e
moving states from pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Revert
"Remove a
state
from it's ->p
o
ols
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
e
n
t
e
r
Eli
m
inate
a
warning
.
Probably t
h
e wro
n
g
w
ay to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an ups
.
Comments
.
Rename slist_stack to named_
s
tac
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still
s
u
ck at
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Cle
a
nups
.
Comments
.
Remo
v
e debug
g
ing cod
e
from
filt
e
r()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clea
n
up
.
Also preserv
e
the ->pools in
o
n
e p
a
th of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
ar
p
enter
Clean
up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
enter
Remov
e
__overwrite_cur_s
l
ist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
pent
e
r
T
here was debugg
i
ng outpu
t
that a
c
cidentally
got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Remove a state f
r
om it
'
s ->pools when set_s
t
ate() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
delet
e
the
-
>pools
o
n mergin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Try understand the i
m
p
licat
i
o
n
s
from
c
ompound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Create
a
state &merg
e
d
.
Wh
e
n we merge stuff i
t
isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_implie
d
_really_ doe
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ignore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small clean
u
ps
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
Whit
e
spac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
A
d
d some more
locking functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fi
x
i
m
pli
e
d pools so
t
hat at le
a
st it doe
s
something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nte
r
It see
m
ed
l
ike tracker_list would
b
e
us
e
ful in a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a
R
E
ADME descr
i
bing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
Add script to fi
n
d NULL dereferences
b
et
w
een function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
p
enter
F
ix u
s
age
m
essage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Check
f
o
r
malloc() as w
e
ll as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Fix seg
f
ault
when
handling implicitly de
c
lared
f
unctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpenter
Warn when we don't acqui
r
e lock
s
when call
i
ng certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try
(
and fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost pr
i
n
t
a messag
e
when you come to
u
nreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
Add check
to look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arpent
e
r
Add checking for lock_kernel(
)
/
u
nlock_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_
l
ocking c
h
eck both spi
n
locks an
d
se
m
aphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
Add
a
new function slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
en
t
er
If there is an i++ th
e
n th
e
valu
e
o
f
'i' i
s
un
d
e
f
ined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new chec
k
_locking scr
i
pt that
check
s
s
p
inlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpe
n
ter
S
ave the possible sta
t
e
s
instead of
ju
s
t mer
g
ing th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Igno
r
e
e
m
a
c
s
g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
an C
a
rpenter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
en
t
er
Add a comment showing where the tests a
r
e
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
e
n
ter
This i
s
left over f
r
om
October
as part of the
i
mplied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
A
d
d
ge
t
_
possible_states
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Stuff left over fr
o
m October
.
Implied
pools
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
We could save some
memory by not allo
c
ati
n
g n
e
w memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan
C
arpenter
Fi
x
m
emory le
a
k
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
enter
A
d
d a merge
h
ook
.
Handle the situatio
n
s l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
strcm
p
() do
e
sn't accep
t
NU
L
L
a
rgumen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two function
s
: get_variabl
e
_from_e
x
pr_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
vari
a
ble_from_
e
xpr() uses a s
t
atic buffer and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
C
rea
t
e a check_
t
emplate
.
c example script that
looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
M
a
ke get
_
all
_
states
(
) not s
e
gfault e
v
ery
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpent
e
r
Fix
g
et_value() to return negat
i
ve values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Ca
r
penter
We
onl
y
e
ver pass one parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_all_states() to
m
atch the
functi
o
n definition
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Remove add_
s
tate() and state
_
defined() def
i
nitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n C
a
rpenter
Clean up
.
Fix
leak
.
My problem
is that
I
don't understa
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
I
nitial c
o
m
mit of the "implied state pools"
stuf
f
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
h
aven't be
e
n us
i
ng
smatch_ext
r
a
for
a while
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n Carpe
n
ter
Get
r
id of path_
h
istory
.
I
t
's neve
r
goi
n
g to be
u
sed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
a
n
Carpe
n
t
e
r
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Speed up merg
e
_sl
i
s
t
now tha
t
th
e
slists are ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpenter
Ins
e
rt
s
tuff on
t
o lis
t
s
in a
sor
t
ed o
r
der
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan C
a
rpenter
D
e
lete an unuse
d
function merge_
s
tate_stack
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carp
e
n
t
er
fix: if (*f
o
o) { (*
f
oo
)
->b
a
r
; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
kmalloc()
and frie
n
ds don
'
t always re
t
urn a non-null
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-06
Dan
Carpenter
Th
e
checks fr
o
m
here got merged into check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Dan C
a
r
p
ente
r
Move t
h
e stuff f
r
o
m check_derefe
d
_params
.
c
in
t
o check_null_d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-04
Da
n
Carpen
t
er
Fix b
u
g
i
n
o
r_sl
i
st
_
s
t
ac
k
(
)
.
if (a && b) wasn't b
e
ing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carpente
r
A
dd a ho
o
k
at
t
he end of a
file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpen
t
er
Forgot
a
not
h
er strip_expr() call
.
.
.
:/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
D
a
n
C
a
r
penter
Handl
e
a
s
sig
n
meents inside c
o
n
d
itions
b
etter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-28
Dan
C
arpen
t
er
Only prin
t
so
m
eth
i
ng
for a->foo
and no
t
a
.
foo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-25
Dan
Carpenter
Ignore
array declarati
o
ns
.
Those can't be NULL
obviously
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-23
Dan Carpenter
Mak
e
cur_
s
list
static
.
It's only used in smatch
_
stat
e
s
.
c
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Car
p
enter
W
h
ite sp
a
ce
c
han
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
D
an Carpenter
Use merge_sl
i
st() i
n
s
te
a
d of trying to
h
andle it yoursel
f
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-22
Da
n
Ca
r
penter
__process_co
n
tinues() is su
p
pose
d
to be basically the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
D
an Carpenter
New smat
c
h
_
ignore
.
c file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carp
e
nter
(foo) =
1
is th
e
sam
e
as fo
o
=
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-21
Dan Carpente
r
G
eneralize
s
t
ip_
c
asts
(
)
.
I
t
's n
o
w
called strip_expr
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpent
e
r
I
g
nore c
a
s
ts
.
foo(
(
int *
)
&bar) is the sam
e
as fo
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
an
C
arpenter
C
r
eat
e
d show
_
state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
D
a
n Carpenter
I
g
nore stuff li
k
e fo
o
.
bar
.
We o
n
ly c
a
re
about
foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-20
Dan Carpen
t
er
What
hap
p
ens befor
e
is th
a
t
p
arameters wou
l
d get assigne
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Dan Carpenter
Missed a crashing bug in
the int
=
> str
u
ct convers
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
D
a
n Carpente
r
I can'
t
believe I
w
as doi
n
g stacks wrong this
w
h
ole
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-19
Da
n
Carpenter
Ch
a
ng
e
d
s
match sta
t
e from being an int to b
e
i
n
g
p
o
in
t
er
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
I w
a
nt to reuse the name s
m
atch_sta
t
e
.
T
h
e
current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
D
an Carpenter
Redo th
e
n
ull path thing
.
So long
as t
h
e
re is one
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-17
Dan Carpenter
C
l
e
a
n up
.
C
o
mplicated is just a
b
oolean
.
Set it
to
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
M
erg
e
bran
c
h 'devel'
commit
|
commitdiff
|
tree
2008-09-01
Dan Carpent
e
r
Save the p
r
e condit
i
ons i
n
side t
h
e
condit
i
ons
s
o that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-09-01
Dan Ca
r
penter
The
m
ain chang
e
here wa
s
to compl
e
tely rewrite
h
ow
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpen
t
er
Br
e
a
k
t
hings
o
ut int
o
fu
n
ctions a bit
.
Cl
e
an ups
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-21
Dan Carpenter
Han
d
l
e
while
a
n
d fo
r
l
o
ops slightly better
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-08-18
D
a
n Carpenter
I
removed nullify_pat
h
() ea
r
lier but that was a mistake
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next