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
Print fewer Unclear locking messages.
2009-02-23
Dan Carpenter
Print fewer
Unclear locki
n
g
mes
s
a
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if
(
(1
)
)
{
.
.
.
i
s
a known_
c
ondition_tr
u
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Ad
d
support for
th
o
s
e
funny
gcc
({
.
.
.
})
b
lock statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
ar
p
enter
Ha
n
dle
decl
a
r
a
tions inside switch sta
t
ement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Cleanup is
_
zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carp
e
nter
A
d
d kn
o
wn_
c
o
n
dition
_
false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Fix handli
n
g of
continu
e
in
s
ide
do while st
a
te
m
en
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
D
o
n
'
t set
le
t
people set states
f
or unreachable
c
ode
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
penter
Sma
l
l clea
n
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpente
r
Han
d
le th
e
itera
t
or
s
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpent
e
r
Add support for "if (a?b:c) {
.
.
.
" te
r
n
a
r
y
conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
an Carpenter
Add
s
ome suppor
t
f
o
r _sp
i
n_
t
rylock() a
n
d
friends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
if
(a || b) { a->foo; s
h
ould print an error
.
Als
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
This prints
o
ut error
m
essages
a
ll
t
h
e
time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
an Carpenter
Assignment always sets &isfreed to
some
t
hi
n
g
else lik
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Don't pr
i
nt cross
_
fu
n
c er
r
ors if the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
a
r
penter
R
e
m
o
ve
call t
o
a
l
loc_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carp
e
nter
C
a
ll the merge_hook() instead of set
t
ing the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Oops
.
Me
a
nt to comm
i
t
t
his ea
r
li
e
r
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
A
d
d the merge_hook() back
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Cl
e
a
r the returns li
s
ts at
th
e
end
of ea
c
h fu
n
ction
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Move
t
h
e
i
mpl
i
c
a
t
i
ons
checking to after the
s
crip
t
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Rewrite completely with new
g
oa
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Add som
e
fu
n
ctions to handle t
r
acker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpente
r
Do
n
't segf
a
ult all
the t
i
me when checking forever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to see if w
e
are catching cross
f
unction derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
enter
Use th
e
->possib
l
e states a
n
d remov
e
the
merg
e
_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"while ((1)) {" is a forever l
o
o
p
.
C
a
l
l str
i
p
_e
x
pr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpente
r
fixes t
o
the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
t
e
r
M
erge b
r
anch 'master' into null
_
deref
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
A
dd validatio
n
script
fo
r
c
h
eck_
n
ul
l
_d
e
ref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean
u
p
.
new->possible is always null
h
ere
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
Oops
.
-
>
p
ossibles wasn't gett
i
n
g
se
t
correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Us
e
strip_expr() in
s
plit
_
con
d
itions() inste
a
d reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carp
e
nter
Ad
d
some
m
ore
o
p
erat
i
on
s
to get_value
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpenter
R
e
t
ur
n
&merged in
s
te
a
d of &undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
ar
p
enter
make get_v
a
l
ue() retur
n
a value f
o
r bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Car
p
ente
r
Try agai
n
removing states fr
o
m pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
R
evert
"Remove a
s
t
a
te fr
o
m
i
t
'
s ->pools when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
e
r
El
i
minate a war
n
ing
.
P
rob
a
bl
y
the w
r
ong wa
y
to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
e
nter
Clean ups
.
C
o
mments
.
Rename slist_stack to named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n C
a
rpenter
H
a
ha
.
I still suck a
t
pointers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean
u
ps
.
Comments
.
Re
m
ove d
e
bugging code
f
rom filter(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Also
p
r
eserve
t
h
e
->pools
i
n one path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpe
n
t
er
Cle
a
n
u
p
get_s
t
ate_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Remove _
_
ove
r
write_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
T
here was debugging ou
t
pu
t
that accident
a
lly got c
o
mmitted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Remo
v
e a state
from it'
s
->pools
when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Don't del
e
te t
h
e ->p
o
ols on
m
erging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
e
n
ter
T
r
y
understand the implic
a
tion
s
from compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arpenter
C
reate a sta
t
e &
m
erged
.
Wh
e
n we
m
erge
s
tuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ok
.
This time s
m
atch_i
m
plied
_
really_ does so
m
eth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Ign
o
r
e
cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Sm
a
ll cle
a
nups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Wh
i
tespa
c
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
e
n
ter
A
d
d some m
o
re locking
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
ter
F
i
x im
p
lied pools so that at least it
does someth
i
ng
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like t
r
acker_list w
o
u
ld be useful
i
n a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Add
a
R
E
ADM
E
d
escribing
smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d
s
cript t
o
find NULL
derefer
e
nc
e
s bet
w
een functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
an Carpe
n
t
er
Fix
usage m
e
ssage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Che
c
k fo
r
malloc()
a
s well a
s
k
m
alloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
ix segfault when handling im
p
licitl
y
declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Da
n
Carpenter
Warn when we don't acquire locks w
h
en c
a
llin
g
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan
Carpenter
Tr
y
(and fa
i
l)
to fi
n
d m
e
m
ory
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan
C
arp
e
nter
Almost print a mes
s
age when
you come to unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Add check
t
o look for double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add che
c
k
ing for lock_kernel()/unlock_ke
r
nel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpente
r
Make ch
e
ck_locking check both spinlocks and semaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new
f
u
nctio
n
slist_has_sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpe
n
ter
If th
e
re i
s
a
n i++ then the value of
'
i
'
is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan
Carp
e
nter
Ad
d
a new check
_
l
o
cking script that checks s
p
inlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpe
n
ter
Save
t
he possibl
e
states in
s
tead of just merging th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n Carpenter
I
gnore emacs ga
r
bag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nt
e
r
Merge br
a
nc
h
'
master' i
n
to pools5
commit
|
commitdiff
|
tree
2008-12-21
Dan
Carpent
e
r
Add a comment showing where the tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carp
e
nt
e
r
This is left over f
r
om October as part of the
i
mpl
i
e
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpen
t
e
r
Add ge
t
_poss
i
ble_states
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
Stuff
left over
f
r
o
m Oct
o
ber
.
I
m
p
lied
pool
s
work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carp
e
nter
We could save some memory
b
y not allocat
i
ng new
m
emo
r
y
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpe
n
te
r
Fix m
e
mory leak
.
Add more
commen
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
nte
r
Add
a
me
r
ge hoo
k
.
Handl
e
the
situations l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't
a
c
c
ept NULL arguments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an Car
p
enter
rename two
f
unct
i
on
s
: g
e
t_var
i
able_fr
o
m_ex
p
r_simple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
n
t
e
r
g
e
t_variable_from_
e
xpr() uses a st
a
t
ic buffer and 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 looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpe
n
ter
Make get_
a
ll_states() no
t
segfault every tim
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n Car
p
enter
Fix g
e
t_value()
t
o return negati
v
e va
l
ues
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Car
p
e
nter
We
o
nly ev
e
r pass on
e
parameter into get_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
g
et_a
l
l_states
(
)
t
o match th
e
f
u
ncti
o
n de
f
ini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpen
t
e
r
Remo
v
e add_sta
t
e() and state_def
i
ned()
definitions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan Car
p
en
t
er
Clean up
.
F
ix leak
.
My problem is th
a
t I don't under
s
ta
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
a
rpente
r
I
n
itial commit of the "imp
l
ied
sta
t
e p
o
ol
s
" stuff
.
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-14
Da
n
Carpenter
D
o
h
.
We haven
'
t been using s
m
a
t
c
h_extra
for a
w
hi
l
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
D
an Car
p
enter
Get
rid of path_hist
o
ry
.
I
t
's never going to b
e
used
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpenter
Make goto_s
t
ack
s
tatic
.
commit
|
commitdiff
|
tree
2008-10-13
Dan Ca
r
penter
Sp
e
ed u
p
merge_sl
i
st now
that the slists are
ordered
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Da
n
Ca
r
p
ente
r
Inser
t
s
tuf
f
onto li
s
ts in
a
s
orted order
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-11
Dan Ca
r
penter
Delete an unused funct
i
on me
r
ge_stat
e
_
s
tack()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
C
arpenter
fix: if
(*foo
)
{ (*foo)-
>
bar; }
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next