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
Make validation test harder.
2009-02-23
Dan Carpenter
Warn on double
loc
k
/
unlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer
Unclear lo
c
king message
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n C
a
rpe
n
t
e
r
if ((1)) {
.
.
.
i
s
a k
n
own_c
o
ndition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
for t
h
ose funny gcc ({
.
.
.
}) block state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Han
d
le
dec
l
a
r
ations inside switch statement
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Ad
d
known_
c
ondit
i
on_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
Fix han
d
lin
g
of co
n
tinu
e
inside do while
s
tat
e
m
en
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
Don't set let p
e
ople set states
for unreachab
l
e
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
ter
S
mall cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Handle
t
h
e
ite
r
ators correctl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "if (a?b:c) {
.
.
.
" ternary con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n C
a
r
penter
A
d
d some
s
upport
for _spin_try
l
o
ck() a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arp
e
nter
if (
a
|| b) { a->foo;
s
hould p
r
i
n
t
an
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan C
a
rpenter
This p
r
i
n
ts
out erro
r
me
s
sage
s
all the time
t
hat are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
A
s
s
ign
m
ent always sets &isf
r
eed to something else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
r
penter
Don't print cross_fun
c
errors if
the
cal
l
ed functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpente
r
Remo
v
e
call
t
o
alloc_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
Call the merge_hook() in
s
tead
o
f s
e
tti
n
g
the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
Ca
r
penter
O
ops
.
Meant to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add the mer
g
e
_
hook()
b
ack in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clea
r
the retu
r
n
s
l
ists at the end
o
f
ea
c
h functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Move the implica
t
io
n
s checking
to after t
h
e scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Rewrite
completely with ne
w
goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to h
a
nd
l
e
tracker li
s
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfau
l
t all the t
i
me when
c
heck
i
ng
f
or
e
v
er loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ente
r
Test t
o
see
if we
a
r
e
c
a
tc
h
ing cross fu
n
c
t
ion der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
U
s
e the ->possible st
a
tes a
n
d remove the me
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while (
(
1)) {" is a fo
r
ever loop
.
Call
strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
f
ixes to the -
>
p
o
s
s
ible setti
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Da
n
Car
p
en
t
er
Merge branch
'
master' i
n
t
o
null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Add va
l
idation script for check_
n
ull_d
e
r
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
C
a
rpente
r
Clean up
.
new->possi
b
le
i
s
a
lway
s
null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Oops
.
->p
o
ssibles wasn't ge
t
ting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpent
e
r
U
se st
r
ip_expr() in split_conditions() instead reprodu
c
ing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpen
t
er
A
dd some more opera
t
ions to get_val
u
e()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n C
a
rpenter
Retu
r
n &merged inst
e
ad of &unde
f
i
ne
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpe
n
ter
mak
e
get_val
u
e
() ret
u
rn a value for bitwise
or
e
xpressio
n
s
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try again rem
o
vin
g
st
a
tes from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
C
a
rpenter
Reve
r
t "Remove
a
st
a
te from it's ->pools
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Elimin
a
te a warning
.
Probab
l
y t
h
e
w
rong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Clean
ups
.
Comment
s
.
Rename slist_stack to named_
s
tack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha
ha
.
I still suck
a
t
p
ointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Cle
a
nu
p
s
.
Com
m
ent
s
.
Remove
debuggin
g
co
d
e from
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Al
s
o preserve
t
he
->pools in
o
n
e
path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up g
e
t
_
s
t
a
te_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging o
u
tput that accide
n
tally got committe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpenter
Remove a state
fro
m
i
t
's ->pools whe
n
set
_
st
a
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delet
e
the ->
p
ools on mergin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nt
e
r
Try u
n
d
e
rstand the implicatio
n
s from compound
c
o
nditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
Crea
t
e a state &merged
.
When
we m
e
rge stuff
i
t isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time sma
t
ch_im
p
lied _
r
ea
l
ly_ does
someth
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
gnore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small
c
lea
n
ups
.
(Wh
i
te spac
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
W
hitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add so
m
e
m
ore locki
n
g functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpent
e
r
Fix implied pools so
that at least it
does some
t
h
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
t
se
e
med like tracker_list wo
u
ld be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
t
er
Add a READM
E
describi
n
g smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpenter
A
dd script to
find NULL derefer
e
nces between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix usage
m
essage
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check f
o
r
m
alloc(
)
a
s well
a
s kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segf
a
ult
when handl
i
ng i
m
p
licitly
declared f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
a
r
penter
Warn when w
e
d
on't acquire locks when c
a
lling
certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carp
e
nte
r
Try (and
fail) to find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
p
e
n
t
er
Almo
s
t pri
n
t a
m
essage when
y
ou come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add check
to look for do
u
ble frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
C
arpenter
Add
checki
n
g f
o
r lock_kern
e
l
(
)/un
l
o
c
k_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpe
n
ter
Make
c
heck_lo
c
king check
b
oth
s
pinl
o
cks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Add a new function
sli
s
t
_has_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpe
n
t
er
I
f
t
here is an i++
then t
h
e value
of 'i'
is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
n
ter
Add a
new che
c
k_locking script tha
t
checks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nter
Save
t
he
possi
b
le states
instead of just merging
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arpenter
Ignore emacs g
a
rbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
an
C
arp
e
nter
Merge br
a
n
c
h 'master' into
pool
s
5
commit
|
commitdiff
|
tree
2009-01-20
D
a
n C
a
rp
e
nter
Fix lik
e
ly() and unlikely() ha
n
dl
i
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Da
n
Carpenter
A
d
d s
i
ngle quotes arou
n
d the
variable for co
n
s
i
sten
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Ca
r
pente
r
We could
save some memory by n
o
t
allocatin
g
new memo
r
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Ca
r
penter
Add a c
o
mment s
h
owi
n
g where the
t
ests are s
u
pposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
enter
This is left over from Octobe
r
as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpent
e
r
Add get_possible_state
s
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
n
t
er
Stuff lef
t
over fro
m
Oc
t
obe
r
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n
C
a
rp
e
nter
W
e
could sav
e
s
ome
memory by n
o
t
a
l
locatin
g
new memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpent
e
r
Fix
m
emory leak
.
Add m
o
re
c
omments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
a
r
penter
Add a merge hook
.
Handle the situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
strcmp() doesn't accept NULL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
re
n
ame two fun
c
tions: get_variable_from_expr_simple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
g
e
t
_
v
ariable_from_expr
(
) uses a static buffer
and y
o
u
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
C
r
eate a
check_te
m
plate
.
c
examp
l
e script tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpente
r
Make get
_
all_states() not s
e
g
fault every t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix get_val
u
e
() to return neg
a
tive v
a
lues
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
We only
e
v
e
r pass one
p
a
ra
m
eter
i
nto get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpe
n
ter
Fix
get_
a
ll_state
s
(
) to
m
atch the f
u
n
c
tion definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Remove
a
dd_state()
a
nd
s
t
ate_defin
e
d
(
) definitions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan Carpenter
Clean
u
p
.
Fix leak
.
M
y proble
m
is t
h
at I don't understand
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
I
ni
t
ial comm
i
t of the "implied state
p
o
ols" stu
f
f
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
an Carpent
e
r
Doh
.
We haven't been usin
g
sma
t
ch_extra for a
while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpent
e
r
Get rid of path_history
.
It's never going to be used
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_stack static
.
commit
|
commitdiff
|
tree
next