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
if (a || b) { a->foo; should print an error. Also better --debug output.
2009-02-20
Dan
C
arpenter
if
(a ||
b) {
a->foo
;
should
print an error
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
en
t
e
r
This p
r
ints out error mes
s
age
s
all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
a
r
pe
n
te
r
A
ssignm
e
nt
a
l
w
ays sets &isfree
d
to
some
t
hing
e
lse like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Do
n
'
t
p
rint cros
s
_func errors
i
f th
e
called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carp
e
nter
R
emove call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call th
e
merge_hook() instea
d
o
f
set
t
i
n
g t
h
e state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
ent
e
r
O
o
p
s
.
M
e
a
nt to commi
t
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add t
h
e merge
_
hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpe
n
ter
Clear the retur
n
s lists at
t
he end of
e
a
ch function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Move t
h
e
i
m
plica
t
ions
c
hecking to
a
ft
e
r t
h
e scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Re
w
r
ite completely with new
g
oal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add some functions
t
o handle tra
c
k
e
r lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
D
o
n
'
t segfault
all t
h
e
t
ime when checking forever l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if
w
e
are catching
c
ross
f
unc
t
ion
derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an C
a
r
p
en
t
er
Use the ->possible s
t
ates
and r
e
m
o
ve the merge_ho
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"whil
e
((1)) {" is
a fo
r
ever loop
.
Ca
l
l strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
en
t
er
fixes to the -
>
p
o
ssible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an
C
a
r
pe
n
ter
Mer
g
e
b
ranch '
m
aster' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Add validation sc
r
ip
t
fo
r
chec
k
_n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
lean
u
p
.
new
-
>
p
oss
i
ble is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpen
t
e
r
Oo
p
s
.
->possib
l
es wasn't getting s
e
t
correc
t
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
Us
e
st
r
ip_expr() in split_co
n
dit
i
ons() ins
t
ea
d
r
eproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Carpenter
Add so
m
e m
o
r
e
operations to get
_
value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Ca
r
p
enter
Return &merg
e
d instead of &unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Ca
r
penter
make get_val
u
e
(
) return a
v
alue for bi
t
wise or express
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Try again re
m
oving states fr
o
m pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Revert "Remove a st
a
te fr
o
m
i
t's ->po
o
ls when s
e
t_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a
w
a
rning
.
Probab
l
y the wrong way
to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
C
lean u
p
s
.
C
o
m
ments
.
Renam
e
sli
s
t_stack to
n
ame
d
_st
a
ck
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
H
a
ha
.
I
s
t
i
ll s
u
ck a
t
pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clea
n
u
p
s
.
Comments
.
R
e
move debugging co
d
e
f
r
o
m filte
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
nter
C
l
ean
up
.
Al
s
o preserve the ->pools in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Cle
a
n up
g
et_
s
t
ate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
ve __overwrite_cur_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an C
a
r
pente
r
T
here was de
b
uggi
n
g ou
t
put that acciden
t
ally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remov
e
a
s
tat
e
f
r
om it's -
>
pools when set_
s
tate()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
D
on't de
l
e
t
e the ->pools on
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Try understand the implications fr
o
m compound cond
i
tio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Create a state &merge
d
.
When we merge stu
f
f i
t
isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpenter
Ok
.
Thi
s
t
i
me smatc
h
_implied _really_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ign
o
re
c
scope
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpen
t
er
Smal
l
c
l
e
anu
p
s
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whites
p
ace
c
h
a
nge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add s
o
me more
l
ocking
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Fix
implied pools s
o
that at least it does somethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
pente
r
It seemed like tracker_list would be use
f
ul in a lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
A
dd
a README describ
i
ng
sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpent
e
r
Add script to
f
ind
N
ULL dereferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nt
e
r
Fix usage me
s
s
ag
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpent
e
r
Check for malloc() as well as k
m
alloc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Fix se
g
fault when
handli
n
g implicitly
dec
l
ar
e
d
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carp
e
nter
War
n
when we
do
n
'
t
acquire
lo
c
k
s
when calli
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpenter
Try (and
fail) to find memory le
a
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpen
t
er
Almost print
a message when
you come
t
o unreac
h
able
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Carpenter
Add check t
o
l
ook for doub
l
e frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Add checking f
o
r l
o
c
k_kernel()/unlock
_
kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
rpenter
M
a
ke check_
l
ockin
g
check both s
p
inlocks
a
nd semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
e
r
A
dd a new fu
n
ction slist_has_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
p
e
nter
If ther
e
is
an
i
+
+ then
t
he v
a
lue of 'i'
is un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Ad
d
a new check_locking script
that
c
heck
s
s
p
in
l
ocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carpe
n
ter
Save
t
he possible
states ins
t
ead of just me
r
ging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
C
a
r
p
enter
I
g
nore emacs
g
arbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
Merg
e
branch
'm
a
ster' into po
o
ls
5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
F
i
x likely() and unli
k
ely() handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
C
arp
e
nter
Add single quotes around the variable fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
ar
p
enter
We could save some memory
by
not
a
llocating new
m
emory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
Add
a comm
e
nt show
i
ng where the tests are su
p
po
s
ed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Car
p
enter
This
i
s
left over from October as p
a
rt of the i
m
pli
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuf
f
left over fr
o
m
October
.
Im
p
lied po
o
ls
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We co
u
ld
s
ave som
e
memor
y
by
n
ot allocati
n
g ne
w
m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
l
eak
.
Add more
comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
Add a merg
e
hook
.
Handle the situations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
strcmp() d
o
esn't accept
N
UL
L
a
r
g
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
rename two fu
n
ction
s
: get_
v
ariable
_
f
r
o
m
_e
x
p
r
_
simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
ge
t
_variable_from
_
expr() uses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
r
eate a check_template
.
c example scr
i
pt that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_all_
s
tates()
n
ot segfault every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpent
e
r
Fix ge
t
_
value()
to
r
e
turn neg
a
tive val
u
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
W
e
only ever
p
ass o
n
e
p
arameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ent
e
r
Fi
x
ge
t
_all_states()
to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
add_state()
and
s
tate_defined()
d
efin
i
tions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clea
n
up
.
Fix leak
.
My pro
b
lem is th
a
t I do
n
't u
n
d
erstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpe
n
t
er
Initial commit o
f
the "impli
e
d sta
t
e pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpent
e
r
Doh
.
We haven't been u
s
ing smat
c
h
_
ext
r
a for a
w
hile
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan
C
a
r
pente
r
Get rid of path_h
i
story
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Car
p
enter
M
ake goto_stac
k
static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
r
penter
Spee
d
up me
r
ge_slist now that the
s
l
i
st
s
a
r
e or
d
ered
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpen
t
er
Inser
t
stuff onto lists in
a
sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Delete an unus
e
d
function merge_
s
t
a
te_sta
c
k
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpente
r
f
i
x
: if (*fo
o
) {
(*foo)->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Da
n
Carp
e
nter
k
m
alloc() and friend
s
don't always return a non-n
u
ll
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The
c
hec
k
s from here got
mer
g
e
d into
chec
k
_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Ca
r
pe
n
ter
Move the stuff
f
rom check_derefed
_
params
.
c into
check_null_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
Fix bug in or_sl
i
st_stack()
.
if (a &&
b
) wasn
'
t being
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-30
Dan Carp
e
nt
e
r
Add a hook at the en
d
of a
file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpente
r
Fo
r
got ano
t
her s
t
r
i
p
_expr(
)
ca
l
l
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Han
d
le assignm
e
ents
i
nside conditio
n
s better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Onl
y
print something for a->
f
oo and not
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore array decla
r
ation
s
.
Thos
e
can't
b
e NULL o
b
v
i
ously
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next