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
New function harmonize_states()
2009-02-25
D
a
n Carpen
t
er
New function
h
a
r
mo
n
i
ze_stat
e
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan C
a
rpenter
call __spli
t
_expr
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Car
p
ent
e
r
remov
e
unneeded
cal
l
s to __use_cond_t
r
ue
_
states
(
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
Don't set th
e
i
mplied state to &merg
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Ca
r
p
e
nter
Make cmp_tracker() acce
s
s
ible t
o
out
s
ide files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpente
r
All the states a
r
e implie
d
not just
u
nique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpenter
Improve lock check output
.
A
dd
m
ore validatio
n
sa
m
ple
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpente
r
Add support fo
r
dow
n
_interruptible() and
f
riends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Fix the Unclear lo
c
king th
i
ng
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
Warn
o
n
doubl
e
loc
k
/unl
o
cks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
P
rin
t
fewer Un
c
le
a
r lock
i
ng messa
g
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpenter
if ((1)) {
.
.
.
i
s
a
k
nown_con
d
i
t
ion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an Carpen
t
er
Add
support fo
r
th
o
s
e
funny
gc
c
({
.
.
.
}) block s
t
ate
m
e
n
t
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
Handle decl
a
ra
t
ions ins
i
de sw
i
tch sta
t
ement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
C
l
eanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add know
n
_
c
o
nditi
o
n_f
a
ls
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix handling of continue inside do whi
l
e statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpe
n
te
r
Don't set let peop
l
e
s
et
s
t
at
e
s
f
or unreach
a
ble c
o
de
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
t
e
r
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Handle the i
t
e
r
ators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n
C
arpenter
Add support fo
r
"
i
f (a
?
b:c) {
.
.
.
" ternary condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpent
e
r
Add some support for _sp
i
n
_trylock() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if (a ||
b) { a->f
o
o; should
print an error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
T
his prints out error messag
e
s
a
ll
the time that a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpe
n
ter
Assi
g
nment always sets &
i
sfr
e
e
d
to som
e
thing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Don't print cro
s
s
_fu
n
c errors if the
c
alled fu
n
cti
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
pen
t
e
r
Re
m
ov
e
c
all t
o
alloc_state(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Call the
mer
g
e_hook() inst
e
a
d
o
f s
e
tting th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
rpenter
Oops
.
Meant to commit t
h
is earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Add the merge_hook() back in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Clea
r
th
e
r
e
tur
n
s li
s
ts at t
h
e
end of
each func
t
ion
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
M
o
v
e th
e
implica
t
ions checkin
g
t
o
after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
R
e
write completely w
i
t
h
new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add some f
u
nctions to hand
l
e tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpen
t
er
Don't s
e
gfau
l
t
a
ll the t
i
me when ch
e
cking fo
r
ever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Test to see if we are
catching cross function der
e
fs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Car
p
enter
Use
t
he ->possi
b
le sta
t
e
s and
r
e
m
ove the merge_
h
ook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Ca
r
penter
"
w
hile ((1)) {" is a forever l
o
op
.
Call
s
tri
p
_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
fixes to the -> pos
s
ible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merge branch 'master' into null_d
e
ref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carp
e
n
t
er
Add validation s
c
ript for check
_
n
u
ll_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpente
r
Clean up
.
new->poss
i
ble is alwa
y
s null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
n
te
r
Oops
.
->possibles w
a
sn't g
e
tting set correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nt
e
r
Use s
t
rip_expr() in
s
p
l
it
_
con
d
i
tions
(
) instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
r
pente
r
A
dd s
o
me more
operat
i
ons to
g
et_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Return &merged in
s
tead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
a
n
Carpenter
make get_value() retu
r
n
a va
l
ue for bitwise or
expressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
a
n Carp
e
nter
Tr
y
a
g
ain removing states f
r
om poo
l
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Revert "
R
e
mov
e
a s
t
a
te
from it's ->pools when set_sta
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
E
limi
n
ate
a warning
.
Probably the wrong
w
ay to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Clean ups
.
Comments
.
Rename
slist_stack to na
m
e
d
_
stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Ha ha
.
I stil
l
suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Cleanups
.
Comments
.
Remove debugg
i
n
g
c
ode from
fil
t
er(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpente
r
Clean up
.
Also preserve
the ->pools in one path o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
lean up get
_
s
tate_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Car
p
enter
Re
m
o
ve __o
v
erwrit
e
_cur_
s
l
i
st(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
There was de
b
u
g
g
i
ng output that acci
d
en
t
ally got
committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Remove a s
t
ate from it's ->pools when set_s
t
ate() i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't del
e
te the ->pool
s
o
n merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand
the
i
mplicatio
n
s f
r
om compound
conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create a st
a
te &merged
.
When we merg
e
stu
f
f it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
O
k
.
This time smatch_implied _rea
l
ly_ does
s
omethi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
r
p
ent
e
r
Ignore cscope fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
C
arpenter
Small clea
n
ups
.
(White sp
a
ce)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
Whitespace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
Ad
d
some more locking funct
i
ons
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpen
t
er
F
i
x implied pools so that
a
t leas
t
it does s
o
mething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
It seemed like tracker_
l
ist would b
e
u
s
eful in a l
o
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd a R
E
ADME de
s
cr
i
bing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Add sc
r
ipt to fi
n
d
NULL dereferences b
e
tween functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
u
sage mes
s
a
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carp
e
nter
Check for ma
l
loc() as well
a
s kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpente
r
Fix segfault w
h
en handling implicit
l
y dec
l
ared fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpen
t
er
Warn when we
d
on't acquire locks when calling certai
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan C
a
rpe
n
ter
Try
(
a
n
d fail) t
o
f
i
nd memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almo
s
t
prin
t
a message
w
h
en yo
u
c
ome to unrea
c
hable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
check to
l
ook
f
or double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Car
p
enter
Ad
d
checking for lock_k
e
r
n
el()/unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpente
r
Make
c
hec
k
_locki
n
g check both spinlocks and semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
Add a n
e
w function slist_ha
s
_
s
t
ate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there i
s
an i++ then the
v
a
lue of 'i' is
undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new check_lo
c
king script that c
h
ecks spi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpent
e
r
Save
the pos
s
i
ble
s
tates instead of
j
ust merg
i
ng them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpente
r
Ignore emacs
ga
r
bage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Merge
br
a
nch
'
ma
s
ter' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan
C
a
rpenter
Fix
l
ikely
(
) and
unlikely()
h
andling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpen
t
er
A
d
d single quo
t
es a
r
oun
d
t
he var
i
able for
consist
e
ncy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan C
a
rpente
r
We could save some memor
y
by n
o
t allocating new mem
o
ry
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
er
Add a
comment showi
n
g whe
r
e the tests
are
s
uppose
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
This is left over from October
a
s
pa
r
t
of the implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_possible_st
a
tes(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Stuff left over from October
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Ca
r
p
enter
We co
u
ld save
s
ome memory b
y
not a
l
locating n
e
w memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more
co
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan C
a
rpenter
Add a
m
erge hook
.
Handle the situation
s
like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
strcmp() doesn't accept NULL arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpe
n
ter
rename tw
o
f
u
nctions: get_
v
ariable_fr
o
m_e
x
pr_
s
imple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
g
e
t_
v
ariable
_
from_ex
p
r(
)
uses a static buffer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an Carpenter
Create a check_templa
t
e
.
c example
script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
r
penter
M
a
ke get_all_s
t
ates() not
seg
f
au
l
t
every time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next