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
This prints out error messages all the time that are always bogus. Disable.
2009-02-19
Dan Carpenter
This p
r
ints out error m
e
s
sages all the
time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
Carpent
e
r
Assignme
n
t al
w
ays sets &isfre
e
d to someth
i
ng else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
e
n
ter
Don't
print cro
s
s
_func errors
if
the
called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
R
e
move call to al
l
oc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpent
e
r
Call the me
r
ge_hook() instead of setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Oops
.
Meant t
o
commit
t
his earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
t
e
r
Ad
d
t
he me
r
ge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Car
p
enter
Cle
a
r
the returns l
i
s
t
s at
the end
o
f each functi
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Mo
v
e the imp
l
ic
a
tions
c
hec
k
ing to
after
the scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nte
r
R
ew
r
ite complet
e
ly with new g
o
al
.
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpente
r
Add some functions to
handle tracker lis
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all the time when
checki
n
g
f
o
re
v
er loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Test to s
e
e if we are catch
i
ng cross funct
i
on derefs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use th
e
->possible states and remove
t
he merge
_
h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
"while ((1)) {" is a forever loop
.
Call strip
_
expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
fixes t
o
the -> possible set
t
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branch 'master'
into null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpente
r
Add validation
scr
i
pt for check
_
nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Oops
.
->possibles wasn'
t
gettin
g
s
et correct
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Use strip_expr()
in split_conditions
(
) instead repro
d
ucing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
Add some mo
r
e operati
o
ns to get_
v
a
lue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged instead of &und
e
fined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_v
a
lu
e
(
) return a va
l
ue fo
r
b
i
tw
i
se or
e
xpression
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Tr
y
again removin
g
states from
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpent
e
r
Rever
t
"Remove
a stat
e
fro
m
it's ->p
o
o
l
s w
h
en set_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
e
nte
r
E
limina
t
e a warning
.
Pro
b
ably
the wrong w
a
y to d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean ups
.
C
om
m
e
nts
.
Re
n
ame slist_st
a
ck to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
en
t
er
H
a ha
.
I
still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cleanups
.
Comments
.
R
e
move debu
g
g
ing code f
r
o
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also
pr
e
s
erv
e
t
he ->pools in one pa
t
h o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n
up get_sta
t
e_slist(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
R
e
mo
v
e
__overwrite_cu
r
_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
There was debu
g
g
i
ng output that acc
i
de
n
tally got
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
ent
e
r
R
e
move a state f
r
om it's
->pools when se
t
_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
ent
e
r
Don't delete the ->pools on mer
g
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Try
u
n
d
erstand
the im
p
lications from compound
c
on
d
itions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Create
a
sta
t
e &mer
g
ed
.
When we merge
stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
O
k
.
T
h
is ti
m
e smatch_im
p
li
e
d _really_ do
e
s
so
m
eth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Ignore c
s
cope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Small
cleanups
.
(White spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whit
e
space change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Add som
e
m
o
re locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Fix implied
p
ool
s
s
o
t
h
at at
least it d
o
es something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
It seemed like
tracker_list wou
l
d be useful in
a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpenter
Add a R
E
ADME
d
e
s
c
ribing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
n
t
er
Add
s
cri
p
t t
o
fi
n
d NULL der
e
ferences
between function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpenter
Fix
u
sage
m
essage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Check for
m
alloc(
)
as well
as kmall
o
c()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
an
C
arpenter
Fi
x
segfault when ha
n
dling implicitly declare
d
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
w
hen we don'
t
a
c
qu
i
re
l
o
c
k
s when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
T
ry (and
fail)
t
o
f
ind memor
y
lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
r
p
e
n
ter
Almost
print a message when you co
m
e
to
unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add ch
e
ck to look for dou
b
le
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add
checking
f
o
r
loc
k
_kerne
l
()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
M
a
k
e che
c
k_
l
ocking check both spi
n
l
ocks and sema
p
hor
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
A
d
d a new function slist_
h
as_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
If th
e
re is an
i
++ then the value of 'i' is und
e
f
i
n
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new ch
e
c
k
_lo
c
king script t
h
at ch
e
c
k
s spinl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpent
e
r
Save the
possible states
i
nstead of just m
e
rging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nt
e
r
Ignore em
a
c
s
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpen
t
e
r
Merge b
r
anch
'master' into
p
o
ols5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
e
nter
Fix like
l
y(
)
a
nd
unlike
l
y() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Add single qu
o
tes around the variable
for con
s
i
s
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpente
r
W
e could
save some memory b
y
n
ot allocat
i
ng new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
ter
A
d
d
a
comm
e
nt showi
n
g
w
here the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
This is
l
eft over from October
a
s part of t
h
e implied
.
.
.
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
Dan Carp
e
nter
Stuff left
over
fr
o
m Octob
e
r
.
Impli
e
d pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Car
p
enter
We
co
u
ld save
some memo
r
y by not alloca
t
ing n
e
w memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
l
e
ak
.
Add more comme
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
enter
Add a merge hook
.
Handle
the
s
itu
a
tions l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
s
trc
m
p(
)
d
oes
n
'
t
accept
NULL
argumen
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
two funct
i
ons:
get_variable_fr
o
m_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
get_
v
ar
i
able_from_
e
xpr() uses
a
static buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n
Carpenter
C
r
eate a check_temp
l
ate
.
c example script
tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
p
enter
Mak
e
get_all_state
s
(
)
not se
g
fault every ti
m
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_value() to return negati
v
e values
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
a
r
p
ente
r
W
e
o
n
l
y
ever pass one para
m
eter into get_value(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
get_a
l
l_sta
t
es() to match the function definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Re
m
o
v
e ad
d
_sta
t
e()
and s
t
a
te
_
defined() definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
enter
Cle
a
n
up
.
F
ix lea
k
.
My problem is that
I d
o
n't u
n
d
e
rstand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n
C
arpente
r
Initial
c
omm
i
t
o
f the "implied state pools"
s
tuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Doh
.
We
h
aven't b
e
en usin
g
s
match_extra f
o
r a whil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Da
n
Carpente
r
Get
r
id of path
_
history
.
I
t
's never goin
g
to be
used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpente
r
Make got
o
_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
Dan C
a
rpent
e
r
S
p
eed up
m
erge_
s
list now that
the s
l
i
s
ts are
o
rd
e
red
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Carpe
n
ter
Insert stuff onto lists in a sorted order
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete an unu
s
ed functi
o
n
merge_sta
t
e
_
s
t
ack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Dan
Carpente
r
f
i
x: if (
*
f
oo) { (*
f
o
o
)->bar; }
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpenter
kmallo
c
() and friends don't alw
a
ys ret
u
r
n a non-nu
l
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-06
Dan Carpe
n
ter
The checks from here go
t
merged in
t
o
check_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan
C
arpenter
Mo
v
e the stuff
f
ro
m
ch
e
ck_derefed_par
a
ms
.
c into chec
k
_null
_
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-04
Dan 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
Dan Carpenter
A
d
d
a
hook at th
e
end of
a fil
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Da
n
Carpenter
Fo
r
got an
o
ther strip_expr() call
.
.
.
:/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
Dan Carpenter
H
andle as
s
ign
m
eents
inside con
d
itions bet
t
er
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-28
D
an Carpenter
O
n
l
y pri
n
t
s
omething fo
r
a->f
o
o and no
t
a
.
foo
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-25
D
an Carpenter
Igno
r
e array de
c
larations
.
Those can't be NULL obviousl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-09-23
Dan
C
a
r
p
enter
Make
cur_slist static
.
I
t
'
s
on
l
y us
e
d
i
n smat
c
h_states
.
c
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next