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 Carpente
r
if
(a || b) {
a->f
o
o
;
should p
r
in
t
an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Car
p
enter
T
h
is p
r
i
nts out error messages all the
t
i
me th
a
t
a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpenter
A
ssignment
always sets &isfreed to something els
e
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Don
'
t print c
r
oss_func err
o
rs if the called func
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
e
r
R
em
o
ve call to a
l
loc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Call the m
e
rg
e
_hook() instead
o
f
setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
M
eant to commit this earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpen
t
er
Add the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the ret
u
rns
l
i
sts at t
h
e e
n
d of eac
h
f
u
nction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the
i
mp
l
ic
a
tions checking to afte
r
the
s
cripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Rewr
i
te
c
omp
l
etely wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
ar
p
ente
r
Add some functions to handle tra
c
ker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Do
n
'
t
seg
f
aul
t
all the t
i
m
e
w
h
e
n checking foreve
r
loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Test
to see i
f
we are catching cro
s
s
f
unc
t
i
o
n derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
the ->poss
i
ble states and remove the merge_hoo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
er
"while ((1)) {
"
i
s
a
fo
r
eve
r
l
oop
.
C
a
ll str
i
p_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes to
t
he -> po
s
s
i
ble set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
M
e
rge branch
'mast
e
r' into
n
ull_deref
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpen
t
er
Add va
l
i
dation scr
i
pt for c
h
eck_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan
C
arp
e
nter
Cle
a
n up
.
ne
w
->possible is al
w
a
ys n
u
ll h
e
re
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nte
r
Oop
s
.
->p
o
ssibles wasn'
t
g
e
tting s
e
t correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use strip
_
expr(
)
in
s
p
lit_conditions()
i
n
st
e
a
d
reproduc
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Add some mo
r
e o
p
eration
s
to get_v
a
lue(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carpent
e
r
Return
&merged inst
e
a
d of &undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
make get_value() return a value for bitwi
s
e or
e
xpressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
T
r
y again
re
m
oving states from
p
o
o
ls
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
er
Rever
t
"Remove a st
a
te from it's
-
>
pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
E
liminate a warning
.
Pr
o
bably the
wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Clean ups
.
Comments
.
Rename slist_stack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
nter
Ha ha
.
I
sti
l
l
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
anups
.
Comments
.
Rem
o
ve debugging code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n
u
p
.
Also
p
r
e
s
erve
t
he ->poo
l
s in one p
a
th of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Clean
up
get_s
t
ate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove _
_
overwrite_c
u
r_s
l
ist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
There was debu
g
ging o
u
tput that accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Re
m
o
v
e a s
t
ate from it's ->pools when set
_
s
t
a
t
e
()
is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Don't del
e
te
the
->pools on merg
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
t
er
T
r
y
un
d
er
s
ta
n
d
t
he i
m
plications from co
m
pound condit
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Ca
r
p
e
nter
Cre
a
te a
s
t
a
te
&
m
e
r
ged
.
When we merge stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Car
p
e
n
ter
Ok
.
This
t
ime smatc
h
_implied _re
a
lly_ does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpe
n
ter
Ignor
e
cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Sma
l
l cleanups
.
(White spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
e
nter
Wh
i
tespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpent
e
r
Add some more lockin
g
fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arp
e
nter
Fix i
m
plied
poo
l
s so that at least it does somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
I
t seemed like tracker_list
w
ould
b
e use
f
ul in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Ad
d
a README d
e
scrib
i
ng smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add scr
i
pt to find NULL dereferen
c
e
s
b
etween fun
c
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
te
r
Fix
usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Chec
k
fo
r
malloc() as
w
e
l
l as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpen
t
er
F
ix s
e
g
fault
w
hen ha
n
d
l
ing
i
mplici
t
ly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Warn when we d
o
n't acquire lo
c
ks when cal
l
ing cert
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpe
n
ter
T
ry (and fail)
t
o find memory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print a m
e
s
s
ag
e
w
h
en you c
o
m
e to unre
a
cha
b
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check to
look f
o
r
d
oub
l
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Ad
d
che
c
k
ing for
lock_kernel()
/
unloc
k
_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_lockin
g
check both spinlocks a
n
d semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
p
e
n
t
er
Add a n
e
w
f
unction sl
i
st_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
penter
If there is a
n
i
+
+
then
the
v
alue
o
f
'i' is unde
f
ined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpenter
Add
a new check
_
lock
i
n
g
script that
checks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
t
e
r
Sav
e
t
he
po
s
sible states inst
e
ad
o
f just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpent
e
r
Ignore
e
macs garba
g
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge b
r
a
nch 'm
a
ster' into pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpe
n
ter
Fix lik
e
ly() an
d
unlik
e
ly() handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
r
pen
t
er
Ad
d
single
q
uote
s
around the v
a
riable for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan
C
a
r
pe
n
t
er
W
e
could save
some memory by
not alloc
a
ting new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
A
dd a co
m
ment
s
howing where
t
h
e tests a
r
e
s
u
pp
o
sed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
te
r
Thi
s
is le
f
t over
from Octo
b
er
as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
Ad
d
g
et
_
possib
l
e
_
states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nter
S
t
uff
left over from Octobe
r
.
Imp
l
ied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
penter
We
c
ould save
s
ome mem
o
ry by not al
l
ocating n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Car
p
enter
Fix memory leak
.
Add more
c
omme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Add a merge ho
o
k
.
Handle
t
he
situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
rp
e
nter
strcmp() doesn
'
t accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename two fu
n
ctions:
get
_
variable_from
_
expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
er
ge
t
_variable_from_expr()
uses a stat
i
c buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Create a check_template
.
c example script that
l
ooks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Carpenter
Make get_all
_
st
a
tes() not s
e
gf
a
ult ever
y
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpe
n
ter
Fi
x
get_
v
alue()
to
retur
n
negative v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only e
v
er pass
o
n
e
parameter into get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix ge
t
_all_states
(
)
t
o match
t
h
e
fun
c
t
i
o
n
d
efinition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpente
r
Remove ad
d
_state() and state_defined(
)
defi
n
it
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
C
a
rp
e
n
t
er
Clean up
.
Fix
l
eak
.
My
p
roblem
is t
h
at I don't underst
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Init
i
al c
o
mmit of the "implied state
p
ools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan C
a
rpenter
Doh
.
We have
n
't been u
s
ing smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpenter
Get
r
i
d of pa
t
h_histo
r
y
.
It's never going to be
u
s
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_st
a
ck static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
ter
Speed up merge_sli
s
t now that the slists are ord
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpe
n
ter
Insert stu
f
f onto lists in a so
r
ted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Carpenter
Delete a
n
unused fu
n
ction merge_state_
s
tack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan Carpenter
fix: if (*f
o
o) { (*foo)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
k
malloc() and
f
ri
e
n
d
s don't
always r
e
tu
r
n a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan C
a
rpenter
The che
c
ks from here
g
ot me
r
ged into
c
heck_null
_
deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
Carpenter
M
ove the stuff
f
rom c
h
e
c
k
_der
e
fed_params
.
c into c
h
eck_nu
l
l_d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan Carpenter
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
Dan
C
arpenter
Ad
d
a hook at the e
n
d of a file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
Forgo
t
another str
i
p_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Ca
r
penter
Handle assignmeents i
n
s
i
de conditions better
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carp
e
nt
e
r
O
n
l
y print something for a->fo
o
and not a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
Dan Carpenter
Ignore
a
rray declara
t
ions
.
Those can
'
t
b
e
NULL obviou
s
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next