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
Cleanup is_zero()
2009-02-22
Dan C
a
rpenter
Cleanu
p
is_
z
e
ro
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpent
e
r
Add kno
w
n_condition_fal
s
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Ca
r
penter
Fix
handling of
continue inside do w
h
ile st
a
t
e
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
D
o
n'
t
set let people set states for
unre
a
chable code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Ha
n
dl
e
the ite
r
ators correctly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Ca
r
p
e
nter
A
d
d suppo
r
t
f
o
r "if
(
a?
b
:c) {
.
.
.
"
ternary conditi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
d
d som
e
su
p
port for
_spin
_
try
l
ock()
a
nd
f
r
i
e
nds
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
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 Carpent
e
r
This prints ou
t
e
r
ror me
s
s
a
ges
all the time th
a
t
are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan
C
a
rpente
r
Assignment always set
s
&isfreed to something else
like
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Don
'
t print cross_func errors if the
c
alled fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpe
n
ter
Re
m
o
ve ca
l
l to alloc_st
a
te()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpen
t
e
r
Cal
l
the me
r
ge_hook() inst
e
ad o
f
setting the state
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oo
p
s
.
Meant to co
m
mit this
earlie
r
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
arpenter
Add t
h
e
merg
e
_hook(
)
b
a
ck
i
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
p
e
nter
Cl
e
ar the ret
u
r
ns lists at th
e
end of each function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Move
the implications
check
i
ng
to after the sc
r
ipts
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
R
ew
r
i
t
e co
m
pletely with new goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
A
d
d some functions
to
h
andle tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpenter
Don't segfault al
l
the time when
c
hecking forev
e
r l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpenter
Tes
t
to
see if
w
e are catchin
g
cross
functi
o
n d
e
refs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
Use
t
he
-
>possibl
e
sta
t
e
s and
r
emo
v
e the merge_
h
o
ok()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
"whi
l
e ((1)) {" is a forev
e
r loo
p
.
C
a
ll
s
trip_expr()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
fixes to the
-
>
poss
i
ble
sett
i
ng
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e bran
c
h 'mast
e
r' into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan
Carpenter
A
dd val
i
dation script for check_null_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
D
an
C
ar
p
enter
Clean up
.
new->possible is always n
u
ll here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan
Carpenter
Oops
.
->pos
s
ibles wasn't getting set
c
orrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n
Carpe
n
ter
Use s
t
rip_expr(
)
in s
p
lit_
c
onditions() instead reproducing
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Carpenter
Add some more
o
pera
t
i
o
ns
t
o get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
C
arpenter
Return &merged instead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an Carpenter
make get_value() return a
v
alue
for
bitwis
e
or exp
r
ess
i
ons
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
ter
Try a
g
ain
r
emovi
n
g state
s
fro
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
Revert
"
Remove a state from i
t
's ->pools
w
he
n
set_
s
tate
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Eliminate
a warni
n
g
.
Pro
b
abl
y
th
e
w
r
ong
w
a
y to do
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpenter
Clean ups
.
Com
m
ent
s
.
Rena
m
e
s
l
ist_stack to
n
amed_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
a
rpenter
Ha ha
.
I still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpente
r
Cleanups
.
Comments
.
Remove
d
e
b
u
g
ging code from filt
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
r
p
enter
Clea
n
up
.
Also
p
r
e
serve
the ->pools in
o
ne path of
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carpente
r
Clean u
p
g
et_state_slist()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carp
e
nter
Remo
v
e __ov
e
r
w
rite_cur_sl
i
st()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
e
r
e
was debugging
o
utput tha
t
accidentally got committed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Rem
o
ve
a
state
from it's ->pool
s
when set_state() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpent
e
r
Don't d
e
lete
t
h
e
->pools on
m
erging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Try understand the impli
c
atio
n
s from
c
ompo
u
nd conditio
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
C
a
rpenter
Create a
s
tat
e
&merge
d
.
When we mer
g
e stuff it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Car
p
enter
Ok
.
This time smatch
_
i
mplie
d
_really_ does somet
h
ing
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
Carpent
e
r
Ig
n
ore cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpe
n
ter
Small cleanups
.
(White space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
pente
r
Whitespace c
h
ange
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpent
e
r
A
dd some more lock
i
ng fu
n
c
ti
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
Fix impl
i
ed pools so that at least
i
t does something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Carpe
n
te
r
I
t
seemed
like tracker
_
list would be useful in a
lot
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan
C
a
r
p
e
nt
e
r
A
d
d
a README des
c
ribing sm
a
t
ch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carp
e
nte
r
Add script to find N
U
LL
dereferences
b
etween fun
c
t
ions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Da
n
Carpen
t
er
Fix us
a
ge mes
s
a
ge
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check for malloc() as well as kmalloc(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Ca
r
pent
e
r
F
i
x
segfaul
t
when han
d
ling
impl
i
c
i
tly d
e
clared
f
unc
t
ion
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Ca
r
penter
Wa
r
n
wh
e
n we don't acquire locks when c
a
lli
n
g certain
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpen
t
e
r
Try (and fai
l
)
t
o find memory
leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpent
e
r
Almost print a
m
essage when yo
u
come to unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
A
d
d
check to
look
for do
u
ble f
r
ees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan
Carpenter
Add checking for lock_
k
e
r
n
el()
/
unlock_kernel()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpen
t
e
r
Ma
k
e
check_lock
i
n
g
check both spinlocks an
d
semaphores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Ca
r
pe
n
ter
Add
a
n
ew
f
unction slist_has_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
rpenter
If
t
here is an i
+
+ then
t
he value
o
f 'i'
is undefin
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add a new ch
e
ck_
l
ocking
script that chec
k
s spinlocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Sav
e
the possible states instea
d
of j
u
s
t
merging
them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Ignore
e
macs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
Mer
g
e bran
c
h '
m
aster' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan C
a
rpenter
F
i
x
likely() and unlikely() handl
i
ng
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
D
a
n Carpente
r
Add s
i
n
g
le quotes ar
o
und the variable fo
r
consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We co
u
l
d
s
ave s
o
me memory by not allocating ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpente
r
Add a
c
o
mment showing whe
r
e the tests
a
re supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
D
a
n Carpenter
This is le
f
t
over from October as part of the implie
d
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpe
n
ter
Add ge
t
_poss
i
b
le_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpenter
Stuff
l
eft
o
v
er from Oc
t
o
b
er
.
Implie
d
p
ools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpen
t
er
We could save some memory by not allocati
n
g
n
e
w m
e
mory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpente
r
Fix memory lea
k
.
A
d
d mor
e
c
o
m
ments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Ca
r
penter
Add a merge hoo
k
.
Hand
l
e th
e
situations l
i
ke:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
strcmp() doe
s
n't
a
c
cept NU
L
L a
r
guments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename
t
wo fun
c
tions:
g
et_vari
a
b
l
e_
f
rom
_
e
xpr_si
m
ple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Car
p
enter
get_variable_from_expr() uses a st
a
tic buf
f
er and you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
D
a
n Carpen
t
er
Create
a check_temp
l
ate
.
c example script tha
t
look
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
Make get_al
l
_states()
no
t
segf
a
ult
e
v
e
ry time
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
ente
r
Fix ge
t
_
v
al
u
e() to
r
eturn n
e
g
a
tive
v
a
l
ue
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
D
a
n
Car
p
enter
We
only ever pass one parameter into
get_value()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Car
p
enter
F
ix get_
a
ll_st
a
te
s
()
to
matc
h
the
funct
i
on definition
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
R
e
move
add_state() and state_defined() defini
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
C
arpenter
Clean up
.
Fix lea
k
.
My problem is
t
hat I don'
t
u
nd
e
rs
t
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
D
a
n Carpenter
Initi
a
l commit of the "implie
d
state
pools" stuff
.
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-14
Dan
Carpenter
Doh
.
We haven't be
e
n using smatch_extra for a while
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpen
t
er
Ge
t
rid of path_history
.
It's never going to be
u
sed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-13
Dan Carpe
n
t
e
r
Make goto_stack static
.
commit
|
commitdiff
|
tree
2008-10-13
D
a
n C
a
rpenter
Speed up me
r
ge_slist
now
that the slis
t
s
ar
e
ordere
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan
C
arpe
n
ter
I
nse
r
t stuff onto lists
in
a sorted ord
e
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-11
Dan Car
p
e
nt
e
r
Delete an u
n
use
d
funct
i
on merge_state
_
stack()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-08
Da
n
Carpenter
f
i
x:
if
(*
f
oo) { (*foo
)
->bar;
}
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-07
Dan Carpent
e
r
kmalloc() and friends don't always
r
etu
r
n a non-null
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next