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
Dan Car
p
enter
Ne
w
functi
o
n
h
armonize_sta
t
es()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
call __split_ex
p
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpenter
remove unneeded
cal
l
s
to __use_cond_t
r
u
e
_sta
t
es();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
an Ca
r
penter
Don't se
t
the impl
i
e
d s
t
ate to &m
e
rge
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan C
a
rpenter
Make cmp_t
r
ack
e
r() acce
s
sible t
o
outsid
e
files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpenter
All the
states
a
re
implied not just
unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
C
arpenter
Improve l
o
ck check output
.
Add
m
ore
validation samples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
f
or down_inte
r
ruptible()
and
f
riends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Fix the Unclear locking thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
Carpenter
W
a
rn on double lock/unlo
c
ks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpe
n
ter
Pri
n
t fewer Unclear locking messa
g
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
if ((1)) {
.
.
.
is
a known
_
c
o
ndition_tr
u
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
Ad
d
support fo
r
thos
e
funny
g
c
c ({
.
.
.
})
b
lo
c
k statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
a
nd
l
e de
c
larations inside
switch statement bl
o
cks
.
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
Dan Carpente
r
Add
know
n
_condition_false()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
F
ix handling
o
f c
o
ntinue inside
do
w
hile s
t
at
e
m
e
n
ts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpente
r
D
on't set let people s
e
t states for
u
nreachable
code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
arpenter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle th
e
i
terators
c
orrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add s
u
pp
o
rt for "if (a?b
:
c) {
.
.
.
"
ter
n
ary con
d
itions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpen
t
e
r
Add some support for
_
spin_
t
rylock() and f
r
ien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
enter
if (a || b
)
{ a->foo;
should print an error
.
A
l
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
arpent
e
r
This prints out
err
o
r
messages all the time
t
hat are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Car
p
ent
e
r
As
s
ignm
e
nt a
l
ways
s
ets &isf
r
e
e
d to so
m
ething else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpen
t
e
r
Don't pr
i
nt
c
ross_func e
r
rors
i
f
the
called fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
ar
p
enter
Remove call to
a
l
l
oc_st
a
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Call
t
he m
e
rge_
h
o
o
k() instead of set
t
ing th
e
state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Oops
.
Mean
t
to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Ad
d
t
he
merge_hook() back
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the retu
r
ns lists at th
e
end of each
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
M
o
v
e
t
he implic
a
tions c
h
ecking to af
t
er
the scripts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpenter
Rewrite
completely with
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Add some functions
t
o
handle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
D
o
n't segfault all th
e
time when c
h
ecking
forever loops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Car
p
enter
Test to s
e
e if we are
c
a
tching
c
ross function dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nter
Use the -
>
possible
s
t
a
tes and remove the merge_hoo
k
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
"while (
(
1
)) {" is a
f
ore
v
er loop
.
Call stri
p
_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
f
ixes
t
o the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Me
r
ge branch 'master' in
t
o null_der
e
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Add validation s
c
ript
f
o
r check_nul
l
_der
e
f
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan C
a
rpen
t
er
Clean u
p
.
new-
>
possible is a
l
ways null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpent
e
r
Oops
.
-
>
p
o
ss
i
b
l
es w
a
sn't gett
i
ng se
t
c
o
r
rectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
an Ca
r
p
e
nter
Use stri
p
_expr() in sp
l
it_conditions(
)
ins
t
ead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Ad
d
some more operations to get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Return &merged
inst
e
ad o
f
&undef
i
ned
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpen
t
er
make get_value() retu
r
n a
v
a
l
ue f
o
r bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try agai
n
remo
v
ing states from pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpenter
Revert "
R
emove a st
a
te f
r
om it's ->poo
l
s when set_st
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
r
penter
Eliminate a warning
.
Proba
b
ly the wrong way
t
o do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Car
p
enter
Clean ups
.
Comments
.
Rename slist_
s
tack to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Car
p
enter
Ha h
a
.
I still su
c
k at
pointer
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carpenter
C
l
ean
u
p
s
.
Comments
.
Remove d
e
bu
g
ging c
o
de from filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n up
.
A
l
so preserve t
h
e ->pools i
n
o
n
e path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
C
l
e
an up ge
t
_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpent
e
r
R
e
m
ove
_
_
overw
r
i
te_cur_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rp
e
n
t
er
There was de
b
u
gg
i
n
g output that accidentall
y
got co
m
mitt
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
n
ter
Remove a state from it'
s
->pools when s
e
t_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
pe
n
ter
D
on't delete the ->poo
l
s on m
e
rging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpen
t
er
Try
u
n
dersta
n
d the im
p
lications fro
m
compound conditions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
enter
Create a s
t
a
t
e &merged
.
When
w
e merge stuf
f
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
p
enter
Ok
.
This time
s
match_implied _really_ does
s
omething
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
C
a
rpenter
I
gn
o
r
e cscope
f
iles
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nter
S
m
all clea
n
ups
.
(Whi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan C
a
rp
e
nter
Whitesp
a
c
e
chan
g
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Add so
m
e more locking functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Fix implied pools
s
o
that at least i
t
does s
o
methi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an
Carpenter
It seemed l
i
ke tr
a
c
k
er_li
s
t wo
u
ld be useful
i
n
a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
dd a
R
EADME descri
b
ing
s
match
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add script
to find NUL
L
dereferences between functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Car
p
enter
Fix u
s
a
g
e mess
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Chec
k
for malloc() as
w
ell a
s
kmalloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
penter
F
i
x
s
eg
f
ault when hand
l
ing i
m
plicitly decl
a
r
e
d
f
unction
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpen
t
er
Warn
when we do
n
'
t acquire locks
w
he
n
calling certa
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Try
(
an
d
fail) to find memo
r
y lea
k
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Da
n
Carpent
e
r
Almost print
a
mes
s
age
w
hen
y
ou c
o
me to
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
D
an Ca
r
penter
Add check to look for
doubl
e
frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpente
r
Add checking for lock
_
kernel()/u
n
lock_
k
ernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
M
ake check_locking check bot
h
spinlocks and semap
h
ores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Add
a new function slis
t
_
h
as_state
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
If there is an i
+
+ then
t
he val
u
e
of
'i'
is undefi
n
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n
Carpenter
Add
a
new che
c
k_
l
o
c
k
ing
s
cript that checks
s
pi
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
S
a
ve
t
he possible s
t
a
t
es instead of
j
ust merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan
Carpenter
Ig
n
ore
e
m
acs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan C
a
rpe
n
te
r
Merge bra
n
ch 'm
a
ster' into
p
o
o
ls5
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpenter
Fix likely(
)
and un
l
ikely() handli
n
g
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carpente
r
Add sing
l
e quotes
a
round the variable for cons
i
s
t
ency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carp
e
nter
W
e coul
d
save some me
m
o
ry by not allocatin
g
new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add a co
m
ment
s
howing
w
here the tests
are
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpente
r
T
h
is is left over from Octob
e
r as part
o
f the implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
ar
p
ente
r
Add get_possible_st
a
tes()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpe
n
t
er
Stuff
l
eft
ov
e
r from October
.
Implied po
o
ls work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
C
arpenter
W
e could save some memory by not allocating
n
ew memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fi
x
memory l
e
ak
.
Add m
o
r
e
comm
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
an
C
arpe
n
t
e
r
A
d
d a mer
g
e hook
.
Handle
t
he situations like:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp(
)
doesn
'
t a
c
c
e
pt NULL a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
rename two functi
o
ns:
g
e
t_vari
a
ble_from_ex
p
r_si
m
p
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
p
e
n
ter
get_variable_f
r
om
_
expr()
uses a static buffer
a
nd you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpen
t
e
r
C
r
eate
a che
c
k_template
.
c example sc
r
ipt
that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
Ma
k
e get
_
all
_
states() not
s
egfault
e
very
time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next