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 Carp
e
nter
This check_orde
r
() seems
superfluous
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Carpen
t
er
New
f
unction harmonize_states()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpent
e
r
call __split_expr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arp
e
n
ter
re
m
o
v
e unnee
d
e
d
calls t
o
__use_cond_true_states(
)
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
D
o
n't set th
e
i
m
p
lie
d
sta
t
e to &merged
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Car
p
enter
Make cmp_tracke
r
(
)
accessible to outsi
d
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpen
t
er
All t
h
e s
t
a
tes ar
e
im
p
lie
d
n
o
t
just uni
q
ue o
n
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Ca
r
penter
Improve lock check output
.
Add more val
i
d
ation s
a
mples
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
pe
n
ter
Add support f
o
r down_interru
p
tible() and friends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
F
ix the Unclea
r
l
o
cki
n
g thing
.
Again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn on doub
l
e
lock/unlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
an
C
arpenter
Print f
e
wer Uncl
e
ar lock
i
ng messages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n
Carpenter
if
(
(1)
)
{
.
.
.
is a known_condit
i
on_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
A
d
d
support for those funny
g
c
c ({
.
.
.
})
b
lo
c
k s
t
atement
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle declarations inside switch stat
e
m
e
nt
b
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Car
p
enter
C
l
ea
n
up
i
s_zero()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
Add
known_conditi
o
n_false
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Car
p
ente
r
Fix han
d
ling of continue inside do while statements
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Don
'
t s
e
t let
p
eople
s
e
t
states for u
n
r
each
a
ble co
d
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Car
p
enter
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
H
andl
e
th
e
ite
r
ators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Ca
r
penter
Ad
d
s
u
pport for
"i
f
(
a
?
b
:c) {
.
.
.
" ternary condi
t
io
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d some
s
u
p
port fo
r
_sp
i
n_trylock
(
) and
friend
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carp
e
nter
if (a
||
b) { a->foo
;
should
print an e
r
ror
.
Also
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpe
n
ter
T
h
is prints out error messages all
the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpen
t
er
Assignme
n
t always s
e
t
s
&isfreed to s
o
me
t
h
i
n
g else like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpent
e
r
Don't
p
rint cross_func er
r
or
s
if
t
h
e
c
a
lled fu
n
ction
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Remove call to alloc_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
Call the
m
erge_hook() instead of setti
n
g the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Oops
.
Meant to commit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
A
dd the m
e
rge_hook() b
a
ck
in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
C
a
rpenter
Clear the
r
e
t
u
r
n
s lists at th
e
end of each
f
unction
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Move
the implication
s
check
i
n
g to
a
f
ter t
h
e scr
i
pts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
n
t
e
r
Rewrite comp
l
etely
wit
h
new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Add some functions to han
d
le tra
c
ker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Don't segf
a
ult al
l
the time when checking forever loop
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Car
p
enter
Test
t
o se
e
if we a
r
e
catching
c
ross func
t
i
on
dere
f
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
ar
p
enter
Use the
-
>
p
ossib
l
e states
and remove the merge_h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
"while (
(
1
)) {" is
a
forever loop
.
Ca
l
l stri
p
_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
f
i
x
es to the -> possible setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpen
t
er
Merge b
r
anch 'maste
r
' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
r
pen
t
e
r
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
.
n
ew->possible is always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
r
p
e
nter
O
o
ps
.
->possibles wasn't getti
n
g se
t
correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpe
n
ter
Use strip_expr()
i
n s
p
lit_con
d
itions(
)
instea
d
reprodu
c
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
A
d
d
some
m
ore operations to get_va
l
ue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
t
e
r
Return
&merged instea
d
of &
u
ndefine
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
enter
make get_value() retu
r
n a value for bitw
i
se or expr
e
s
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
Tr
y
again removin
g
s
tates from pool
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan C
a
rpente
r
R
evert "Rem
o
v
e
a
s
t
ate from it's -
>
pools
when
s
et_s
t
at
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate a warning
.
Probably the wr
o
ng way to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean ups
.
Comments
.
Re
n
a
m
e s
l
i
s
t_stac
k
to
na
m
ed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpen
t
er
Ha h
a
.
I
still suck at po
i
nters
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
C
l
eanu
p
s
.
Comments
.
Remov
e
d
ebuggi
n
g cod
e
fro
m
filter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Clean up
.
Als
o
pr
e
serve the ->poo
l
s in one path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
Clean up ge
t
_state_slis
t
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
R
emov
e
_
_
overwri
t
e_cur_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
There was debug
g
i
n
g output that
a
cciden
t
ally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpen
t
er
Remove
a state f
r
o
m
it's ->pools when
s
e
t_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don
'
t delete the ->po
o
ls on mergi
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpenter
Try u
n
derst
a
n
d
the implicat
i
ons
f
ro
m
compound co
n
d
i
tions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpenter
Create a state &merged
.
W
h
en we merge
s
tuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpen
t
er
Ok
.
T
h
i
s time sm
a
tch_
i
mplied _really_ does so
m
e
t
hing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
rpe
n
ter
Ign
o
re cscope file
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n
Carpenter
Small cleanups
.
(White
sp
a
ce
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Add some more locking f
u
nctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
F
i
x implied pools so that at least it does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpenter
It
s
eemed li
k
e tracker_list w
o
uld be useful in a lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpenter
A
dd
a
R
E
A
DME
describing sm
a
tch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpenter
Add script to find NULL dereferences
between
f
unctions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix us
a
ge message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nter
Check f
o
r
m
alloc() as well as
k
malloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
rpenter
Fix
s
egfault when handling imp
l
icitly
d
ecla
r
ed functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
an Carpenter
Warn
w
hen we
don
'
t
a
cqu
i
r
e
l
ocks when calling certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Try (and
f
ail)
t
o find memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
Almost print a mes
s
age
w
hen y
o
u come to unrea
c
h
a
b
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carp
e
n
t
er
Ad
d
check to
l
ook for
double free
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add checkin
g
for loc
k
_kernel()/unlock_k
e
rnel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Ca
r
penter
Make check_locking check both spinlo
c
k
s
and
semap
h
ore
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new function sli
s
t_has_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If there is an i++ then the va
l
ue of 'i' is undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
D
an Ca
r
penter
Add a new check_locking script
t
hat che
c
ks spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carp
e
nte
r
Save the possible states
instead of just
merging
t
hem
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore emacs
garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Merge branch 'ma
s
ter' int
o
p
ools5
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpent
e
r
Fix likel
y
() an
d
u
n
li
k
ely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Carp
e
n
t
e
r
Add singl
e
q
u
o
t
es around the v
a
r
i
ab
l
e for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Da
n
Ca
r
pente
r
We
coul
d
s
ave som
e
memory by not allocati
n
g new
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rp
e
nter
A
d
d
a comme
n
t
sho
w
ing
w
h
ere the tes
t
s a
r
e
sup
p
osed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
This is left over
fro
m
Octob
e
r as part of th
e
i
m
plied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Ad
d
get_possibl
e
_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
St
u
f
f le
f
t over from October
.
I
m
plied poo
l
s wo
r
k
.
commit
|
commitdiff
|
tree
2008-10-19
D
a
n Carpent
e
r
We co
u
l
d
s
a
ve some memory
b
y
n
ot allocating new memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
D
an Carp
e
n
t
er
F
i
x
m
emory le
a
k
.
Add more comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
Add a
merge hook
.
Handle
t
he si
t
uations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
rpenter
strcmp()
d
oesn't accep
t
NULL arg
u
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
renam
e
two functions: get_
v
ariable_from
_
e
xpr_sim
p
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan
C
arpe
n
te
r
get_va
r
iable_from_expr() uses a
static bu
f
fer and
you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Cr
e
ate a check_template
.
c example script that looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next