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 check_order() seems superfluous.
2009-02-25
Dan Carpenter
This check_order() see
m
s su
p
e
r
fluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
New fu
n
ction harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpen
t
e
r
c
all __
s
plit_e
x
pr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n C
a
rpenter
remove u
n
n
e
eded calls to __use_cond_true_states(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpe
n
ter
Don't set the implied state
to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Ma
k
e cmp_t
r
acke
r
() acc
e
s
sib
l
e to out
s
i
de
fil
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
All th
e
states a
r
e implied
n
ot just u
n
iq
u
e o
n
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpenter
Improve lock check output
.
Add more val
i
d
a
tion samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
n
t
er
A
d
d sup
p
ort for down_int
e
rruptible()
and
f
riends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rp
e
nte
r
Fix the Unclear locking thing
.
Agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
e
nter
W
a
r
n on
d
o
u
ble
lo
c
k
/un
l
o
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
enter
P
rin
t
fewer Unc
l
e
a
r locking mes
s
ages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
e
nter
i
f
(
(
1)) {
.
.
.
i
s a kno
w
n_condition_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Ca
r
pente
r
Add support for t
h
o
se funny gcc ({
.
.
.
}
) block st
a
tements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle declara
t
ions insi
d
e switch statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanup is_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Ad
d
known_co
n
dition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Fix ha
n
dling of continue insid
e
d
o
while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Do
n
't set le
t
peopl
e
set states
for u
n
reachable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpente
r
Smal
l
c
lean
u
p
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpent
e
r
H
a
ndle the iterat
o
r
s co
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpen
t
er
Add support for
"if (a?b:c)
{
.
.
.
" t
e
rn
a
ry co
n
d
i
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
an C
a
rpente
r
A
dd some s
u
ppo
r
t for
_spin_t
r
yl
o
ck() a
n
d friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
arpenter
if (a || b) { a->foo; should print
a
n
error
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Ca
r
pent
e
r
This prints out error messages a
l
l
the t
i
me that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carp
e
nter
Assignment always sets &isfr
e
ed to some
t
hing else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpent
e
r
Do
n
't print cross_func err
o
r
s
if the ca
l
led
functio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove cal
l
to allo
c
_stat
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Call the merg
e
_ho
o
k(
)
instead of
setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
r
penter
Oo
p
s
.
M
e
ant
to commit this
e
arlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Add th
e
merge
_
hook() ba
c
k
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpenter
Clear t
h
e returns lis
t
s at the end of e
a
ch function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the implications checking to after the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpe
n
ter
Rewri
t
e
c
omp
l
etely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
A
d
d
some functions to
han
d
le tracker
l
ists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Don't segf
a
u
l
t all the time when ch
e
cking foreve
r
l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Test
t
o see if we are ca
t
ching cr
o
ss func
t
ion deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Ca
r
pente
r
Us
e
the ->p
o
ssi
b
le
states and remo
v
e
t
he merge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"whil
e
((1)) {" is a forever loop
.
Call strip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
fixes to the -> p
o
ssible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Car
p
enter
Merge b
r
anch 'master' into
n
ull_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan
C
a
r
p
enter
Add vali
d
ation script fo
r
check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpe
n
t
er
Clean up
.
new->possibl
e
i
s
a
l
ways null
here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
arpenter
Oops
.
->possibles wasn't getting set
c
o
r
rect
l
y
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Use strip_expr() in split_
c
o
n
ditions() in
s
tead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
te
r
Add some more
o
pe
r
ations t
o
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Car
p
ent
e
r
Return
&
mer
g
e
d
i
nstead of &u
n
defi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpen
t
e
r
m
a
k
e
get_value() re
t
urn
a
v
alue for bitwise or expre
s
sions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Ca
r
penter
Try again removin
g
s
tates from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
C
a
rp
e
nter
Revert "Re
m
ove a
state from it's
-
>pools
w
hen set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Eliminate a warning
.
Pr
o
babl
y
the wrong way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpe
n
ter
C
le
a
n ups
.
Comments
.
Rename slist_stack
t
o
n
ame
d
_
s
tack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I still s
u
ck at po
i
nters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
C
l
e
a
nups
.
Comments
.
Remove de
b
ugging
c
ode from filte
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
arpenter
Clean up
.
Also p
r
eserve t
h
e
-
>poo
l
s in
o
ne
p
a
t
h of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
lea
n
up get_state_
s
l
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Remo
v
e
__overwrite_cur_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpent
e
r
There wa
s
d
eb
u
g
g
i
ng out
p
ut th
a
t
a
c
c
identally got com
m
itted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpente
r
Remove a s
t
a
t
e f
r
om it
'
s
->pools
when set
_
sta
t
e() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
e
lete the
->poo
l
s
o
n me
r
gin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
T
ry und
e
rstand
the
i
mplications from c
o
mpou
n
d conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
C
re
a
te a state &merged
.
When we merge s
t
uff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
T
h
is time smatch_implied _
r
eal
l
y_
d
o
e
s somethin
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ignore cscope
f
i
les
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Small
c
leanups
.
(White spa
c
e)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rpenter
Whit
e
space
c
hange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add some m
o
re l
o
ck
i
n
g
fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
r
p
enter
Fix implie
d
p
ools so
t
hat at least i
t
does so
m
ething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpenter
It see
m
ed like
t
racke
r
_lis
t
woul
d
be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a README describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpe
n
te
r
Add
script to
f
ind NULL dereferences
b
etween f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Carpenter
Fix u
s
age mes
s
age
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
Carpe
n
ter
Check
for mal
l
oc
(
) as well as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
arpe
n
ter
F
ix s
e
g
fa
u
lt
wh
e
n handling implicitly declar
e
d fu
n
ctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn when we don't ac
q
uire locks when call
i
ng certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Tr
y
(a
n
d fa
i
l
)
t
o find
m
emor
y
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
nter
Almost print
a message
when you come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
a
n
Carpen
t
er
Add check to
look f
o
r
double frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rp
e
nter
Add checkin
g
for
l
ock_kernel()/unl
o
ck_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
penter
Make check_locking check both
s
p
inlo
c
ks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
a
r
pent
e
r
Add a ne
w
function sl
i
st_has_sta
t
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
I
f th
e
re is an i
+
+
t
h
e
n t
h
e value of
'i' is
u
ndefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Add a new chec
k
_locking
scr
i
pt that checks
sp
i
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arp
e
nter
Sa
v
e
t
he possible states instead of just
m
erging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ignore emacs ga
r
b
a
ge
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
C
a
r
p
e
nter
M
erge branch 'master' i
n
t
o poo
l
s5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpent
e
r
Fix likely
(
) and u
n
l
i
k
ely
(
) handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
A
dd
single quotes arou
n
d the vari
a
ble for c
o
nsi
s
tency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We could save some memory by not allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpente
r
A
d
d a c
o
mment showing where the
tests are supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is
left over
f
r
o
m
Octobe
r
as part of
t
he implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Car
p
e
nter
Ad
d
get_possible_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
e
r
S
t
uff left
o
ver from October
.
Im
p
lied pools w
o
rk
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpenter
We could s
a
v
e
s
om
e
memor
y
by n
o
t al
l
o
c
ati
n
g new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memo
r
y l
e
ak
.
Add
more com
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Add a merge hook
.
Handle the
situa
t
ion
s
l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpent
e
r
strcmp() doesn't accept NULL a
r
g
uments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
t
wo functions: get_va
r
iable_from_e
x
pr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
ge
t
_v
a
ria
b
le_fro
m
_expr() uses a static bu
f
fer and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nte
r
C
r
eate a check
_
template
.
c e
x
ample script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next