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
Don't __free_sm_state() until end of function.
2009-03-02
Dan Carpenter
Do
n
't __free_sm_state() until end
of function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
f
r
ee_slist() after cal
l
i
ng ge
t
_all_states
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpente
r
don't realloca
t
e the ->possible states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
G
et ri
d
o
f
unused line histor
y
c
ode
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Car
p
e
nter
Fix so
m
e memory
l
eaks in __implied_states_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
D
an Ca
r
pe
n
ter
Add fr
e
e_
t
r
a
c
k
e
rs_and_l
i
st() and free_trac
k
er_list
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
A
d
d ne
w
free_stack() fu
n
c
t
i
on
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
rename d
e
l_
s
l
i
st_stack() to
f
r
e
e
_
s
t
ack_
a
nd_slist
s
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
r
e
name
d
e
l_slist() -> free_slist
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpent
e
r
Fre
e
all
t
he sm_stat
e
s
a
t the end
o
f each functio
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
Add -
>
po
s
sible to __print_slist() output
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-28
Da
n
Ca
r
p
enter
S
a
ve all the p
o
ols a s
t
ate goes
t
h
r
ou
g
h
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add an
d
fix smatch implied tests
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
P
reserve the
-
>po
o
ls
and ->possible for impl
i
ed states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpe
n
t
er
F
i
x
handlin
g
mutual
l
y
e
x
cl
u
sive states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
Dan Carpenter
G
et rid o
f
r
e
dundant harmonize_st
a
tes()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-27
D
a
n
C
a
r
penter
A
dd func
t
ion _
_
set_t
r
ue_false_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carp
e
nter
O
n
l
y save an implied lis
t
if a state
has be
e
n modi
f
ied
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Da
n
Carp
e
n
t
e
r
Only
implied st
a
t
e
s that aren't
a
lready
t
r
ue
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a parameter
ins
t
ead
of ass
u
ming the output is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Don't check that th
e
re
a
re both true and false states
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
This check_or
d
er
(
) seems superfluou
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
Ne
w
function harmon
i
ze_
s
tates()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
Carpe
n
te
r
call __s
p
lit_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpe
n
ter
r
emove unn
e
eded calls to __use_cond_true_state
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Don't set the implied state to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
Ma
k
e cmp_tracker()
a
cces
s
ible
to outsid
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All the states are imp
l
ied n
o
t just u
n
ique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Carpent
e
r
Improve loc
k
check o
u
tput
.
Ad
d
more valid
a
tion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an C
a
rpe
n
ter
Add suppo
r
t for do
w
n_in
t
e
r
ruptible(
)
and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
Fix the U
n
clea
r
l
o
cking thin
g
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n on doub
l
e
l
o
ck/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpent
e
r
Print
fewer U
n
clear locking mess
a
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carp
e
nter
if ((1))
{
.
.
.
is a known_
c
o
nditi
o
n_tru
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpent
e
r
Add support fo
r
those funny g
c
c ({
.
.
.
}
)
block statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Handle decla
r
atio
n
s inside sw
i
tch statement
blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
Cleanup is_
z
ero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpe
n
ter
Add known_condition_
f
a
l
se()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
Carpenter
F
i
x hand
l
ing of continue
i
n
side
d
o while s
t
atem
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
ar
p
enter
Don't set let peop
l
e set states for unreachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
S
mall cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
enter
H
a
n
d
le
t
he
i
ter
a
tors
c
orrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Add support for "if (a?b:c) {
.
.
.
"
tern
a
r
y
conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
a
r
penter
Add some support
f
or _spin_trylock() and fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Ca
r
p
e
nter
if
(a
|
|
b
)
{
a
->foo; should print an er
r
o
r
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpente
r
This prints out
err
o
r
m
essages a
l
l the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assi
g
nment
always sets
&
i
sfree
d
t
o
something
el
s
e lik
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't print cros
s
_
func errors if the called function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove 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
r
g
e_hook() inst
e
a
d
of settin
g
t
he state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
O
ops
.
Meant
t
o
c
om
m
i
t thi
s
earlie
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
er
Add the
m
erge_h
o
ok() ba
c
k in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the r
e
turns lists at
the end of e
a
ch func
t
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
M
ove the imp
l
ications ch
e
cking to after th
e
scrip
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Rewrite completely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
pen
t
er
A
dd
some fu
n
ctions to handle tracke
r
lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
ent
e
r
D
on't
segfault all the time wh
e
n c
h
e
c
king
f
orever
l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
T
e
st to see
if we are
c
a
tchi
n
g cross
f
un
c
tion d
e
refs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
penter
Use the
-
>
pos
s
ible states and rem
o
ve the
m
e
rge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
"w
h
ile ((
1
))
{
" is a f
o
rev
e
r
loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixes
t
o t
h
e -> possi
b
l
e
settin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpen
t
er
Merge b
r
a
nch 'ma
s
te
r
' into null_
d
e
r
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpe
n
ter
Add va
l
ida
t
io
n
scr
i
pt for ch
e
ck_nul
l
_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpente
r
Clean u
p
.
n
e
w->possible is alw
a
ys
n
ull he
r
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpe
n
t
er
Oops
.
->
p
ossibles wasn't ge
t
ti
n
g set cor
r
ectl
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
U
s
e str
i
p_e
x
pr(
)
in s
p
lit_conditions() instead reprod
u
cing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Ca
r
penter
Ad
d
some mo
r
e operati
o
ns to get_valu
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Return &merged
i
nstead
of &
u
n
d
ef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carp
e
n
te
r
make get_value() return a val
u
e fo
r
bitwise or expr
e
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
Try again removi
n
g st
a
t
e
s f
r
om pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an
Carpenter
Rever
t
"Remove a st
a
te fro
m
i
t's ->po
o
ls when set_s
t
ate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Eliminate a w
a
rning
.
Proba
b
ly
the w
r
ong way
t
o
do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
nter
Clean up
s
.
Comments
.
Rename slis
t
_stack to name
d
_stac
k
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
Ha ha
.
I stil
l
s
uck at poi
n
ters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpen
t
er
Cleanups
.
Comment
s
.
Rem
o
v
e
deb
u
ggi
n
g code from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
ente
r
Clean up
.
Also
pre
s
erve the
->po
o
ls in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up get_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
R
e
move __overwrite_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ther
e
wa
s
debugging
o
utput that accidentally got commi
t
ted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a state from it'
s
->poo
l
s when set_state
(
) i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
D
o
n't delete the
->pools on m
e
rging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpent
e
r
Try und
e
r
stand t
h
e im
p
lications f
r
o
m
c
o
mp
o
und conditi
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
C
r
ea
t
e a state &merged
.
When we merge stu
f
f it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpente
r
Ok
.
This
ti
m
e sm
a
tch_implied _really_ does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
I
g
nore cscope
f
il
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cleanu
p
s
.
(White sp
a
c
e
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Whites
p
ace chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
A
d
d some mor
e
locking function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Fix implied pools so t
h
at at least
i
t does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
p
enter
It s
e
emed
l
ike tracke
r
_list would be u
s
e
f
ul
i
n a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
Add a
R
EADM
E
describi
n
g s
m
atc
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Car
p
enter
Add script to find
N
ULL der
e
f
er
e
nces between functi
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rp
e
nter
Fix usage message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
C
arpent
e
r
C
h
eck fo
r
mallo
c
(
)
a
s
w
ell as kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
Fix segfa
u
lt when hand
l
ing implic
i
t
l
y declared funct
i
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn
when we
d
on't acqu
i
re loc
k
s w
h
en calling c
e
rta
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan
C
arpen
t
er
Try (and
fail)
to fi
n
d m
e
mory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost print
a
m
e
ssage when you come to
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpent
e
r
Add check to look for dou
b
le
f
rees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n Carpenter
A
dd checking
f
o
r lock_k
e
rnel()/
u
nlock_kern
e
l()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next