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
an Carpenter
New f
u
n
ction harmo
n
iz
e
_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Ca
r
penter
ca
l
l __s
p
lit_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n C
a
rpenter
re
m
ove unne
e
de
d
ca
l
ls to
__use_cond_true
_
states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpen
t
er
Don't
set the imp
l
ied state to &me
r
ge
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n C
a
rpe
n
ter
Ma
k
e
c
mp_tracker() accessible to o
u
tsi
d
e file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the states are implied not
j
us
t
uniq
u
e ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Car
p
e
nter
Improve loc
k
che
c
k
output
.
Add more
v
alida
t
ion sample
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carp
e
nter
Add
su
p
port for down_interruptib
l
e(
)
and
fr
i
ends
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
F
ix
the Unclear l
o
cking
t
h
i
ng
.
Agai
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
W
a
rn on
d
ouble lo
c
k
/
u
nlocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpe
n
t
er
Prin
t
f
e
we
r
Unclear locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1
)
)
{
.
.
.
is a
k
n
own_condition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Add support for those funny gc
c
({
.
.
.
}) block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpe
n
t
e
r
Handle declar
a
tions inside
swi
t
ch statement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Cleanu
p
is_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpen
t
er
Add
k
now
n
_condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpen
t
er
Fix handling
o
f
c
ontinue inside do while sta
t
ements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
C
arpente
r
D
o
n't
set
le
t
pe
o
p
l
e s
e
t state
s
fo
r
u
n
reachable code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Ca
r
pen
t
er
Small
c
leanup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
e
nter
H
a
ndle the itera
t
ors c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for
"
i
f
(a?b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add
s
ome sup
p
o
rt for _spin_trylo
c
k() and
f
ri
e
nds
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carpe
n
ter
i
f
(a ||
b
)
{ a->foo; should pr
i
nt an error
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Th
i
s prints out error messages al
l
the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
e
r
Assignment always sets &isfreed to so
m
ething else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Don't pr
i
nt cros
s
_fun
c
errors if the called
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Remov
e
call
t
o
all
o
c_
s
tate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Call the merge_hook() instead of
set
t
ing the sta
t
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Oops
.
M
eant to commi
t
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpen
t
er
Add the mer
g
e_ho
o
k
(
)
b
ac
k
in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Clear the
retu
r
ns lis
t
s at the end of each fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpe
n
ter
Move the implications checking to after the scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpen
t
er
Rewrit
e
completely w
i
th new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions
t
o handle
tracker lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Do
n
'
t segfaul
t
all
t
h
e
tim
e
when checki
n
g for
e
ver loo
p
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Test to
s
ee if we are c
a
tc
h
ing c
r
o
s
s function
derefs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
rpent
e
r
Use the ->possible state
s
and
r
e
move th
e
merge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
Carpe
n
ter
"while
(
(1)
)
{" is a forever loop
.
Call strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
fi
x
es
to the -> possible setting
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Merg
e
branch '
m
aster' into null_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
Add validation
script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
lean up
.
new->possible is always null here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpe
n
ter
O
o
ps
.
->p
o
ssibles wasn't getting set correc
t
ly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpenter
Use strip_expr(
)
in s
p
lit_conditions() in
s
tead rep
r
oducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Da
n
Carpen
t
er
A
d
d som
e
more opera
t
ions to get
_
value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Ret
u
rn &mer
g
ed in
s
t
ead
o
f &un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Ca
r
penter
make get_value()
return a
value
f
o
r
bitwise or expres
s
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpenter
Try
ag
a
in removing states from
pools
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
Revert "Rem
o
ve
a
s
tate from it
'
s ->pools
when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Eliminate a warning
.
Pr
o
bably the w
r
o
ng
way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an
Carp
e
nter
Cl
e
a
n
ups
.
Comments
.
Rename slist_stack
t
o nam
e
d_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpenter
H
a
ha
.
I
s
t
ill suck at poi
n
te
r
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
leanups
.
Comme
n
ts
.
R
emove d
e
buggin
g
code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
e
n
t
e
r
Cle
a
n up
.
Al
s
o
p
r
eserv
e
the ->po
o
ls in
on
e
path of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
Cl
e
an up ge
t
_state
_
slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove _
_
o
v
erwri
t
e_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
There was debugging ou
t
pu
t
tha
t
a
ccid
e
ntally got
committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a
s
tate from it's
-
>pools wh
e
n se
t
_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't
d
e
l
ete
t
he
-
>
p
oo
l
s o
n
m
e
rging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try un
d
erstand
the implications fr
o
m
compound co
n
dit
i
on
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
C
reate
a state &
m
erged
.
When
w
e
m
e
r
ge
s
t
u
ff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatch_implied _really_
does
s
ome
t
hing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ignore csc
o
pe files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small cle
a
nups
.
(White space)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
penter
W
h
itespace ch
a
nge
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Add s
o
me more locking f
u
nc
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carp
e
nter
F
i
x implied pools so that at leas
t
it does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
pe
n
t
e
r
I
t
se
e
m
e
d l
i
ke tracker
_
list would be use
f
u
l
in
a lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add a
R
EADME descr
i
bing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpe
n
ter
A
d
d sc
r
ipt to find NULL dereferences bet
w
ee
n
functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
C
a
r
penter
Fix usage me
s
sage
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Che
c
k for malloc() as we
l
l as
k
m
a
lloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Fix
s
e
gfau
l
t when handl
i
ng impl
i
citly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Warn when we don
'
t acquire locks when calling certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (a
n
d
fail) to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almo
s
t print a messag
e
w
h
en
you come
t
o u
n
reachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Add
c
heck to look for d
o
u
ble frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add chec
k
ing f
o
r l
o
ck_kerne
l
()/unlo
c
k_kernel()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Make check_loc
k
ing c
h
eck both spinl
o
cks and
s
e
m
aphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
er
Add
a
new funct
i
on slist_has_st
a
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
If
t
here is
a
n
i+
+
th
e
n the va
l
ue of 'i' is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carp
e
nt
e
r
Add a
n
e
w check_locki
n
g
scr
i
pt that c
h
ecks
s
pinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save the possibl
e
states ins
t
e
ad of ju
s
t
m
erging them
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Da
n
Carpenter
Ignore emac
s
g
arbag
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-16
D
an Carpenter
We co
u
l
d
save som
e
memory b
y
not alloca
t
i
ng new
me
m
ory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
a
rp
e
nter
Add a comment showing where the tests are
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpe
n
te
r
Th
i
s
is left over from
October as part of the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Da
n
Carpenter
A
dd get_possible_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Da
n
C
arpe
n
t
er
Stuff left over fro
m
October
.
Implied poo
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We could save
s
o
me me
m
ory by not allocating new
m
emory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Ca
r
penter
F
ix memory leak
.
Add mo
r
e comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpenter
A
d
d a merge hook
.
Handle the
s
i
tuations l
i
ke:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doesn't acc
e
pt N
U
LL a
r
gume
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpente
r
rename two functions: get_vari
a
ble_from_expr_s
i
mple
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get
_
v
ariable_from_expr() u
s
e
s
a
st
a
tic buf
f
er and you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
D
an
Carp
e
nte
r
Create a
chec
k
_
t
emplate
.
c examp
l
e
s
cript th
a
t looks
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
Carpenter
Make get_all
_
sta
t
es
(
) n
o
t segfaul
t
every time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Fix
get_value() to r
e
turn neg
a
tiv
e
va
l
u
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
We only eve
r
pass one parameter into get_val
u
e
()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next