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
remove unneeded calls to __use_cond_true_states();
2009-02-25
D
an Carp
e
nter
r
e
move unneeded calls to __use_cond_true_st
a
t
e
s
();
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n
C
a
rpenter
Don't se
t
t
h
e implied s
t
ate to &merge
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carp
e
nter
Ma
k
e
cmp_track
e
r() ac
c
es
s
ible to outsi
d
e files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Ca
r
penter
All the states are
implied not
j
ust unique ones
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Improve lock check output
.
Ad
d
more validation samp
l
es
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpe
n
t
e
r
A
d
d
s
upport for down_i
n
terruptible(
)
and fr
i
ends
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
a
rpenter
Fix
t
he Unclear l
o
cking
thing
.
Agai
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Wa
r
n on d
o
uble lock/u
n
locks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
D
a
n Carpenter
Pri
n
t fewer U
n
cl
e
a
r
locking m
e
ssages
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
a
r
penter
if ((1
)
) {
.
.
.
is a kn
o
w
n_cond
i
tion_true()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Add support
for those funny gc
c
({
.
.
.
}) block state
m
e
nts
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpenter
Ha
n
dle declarati
o
ns insi
d
e
switch
statement blocks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Ca
r
pent
e
r
C
leanu
p
is_zero
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpenter
Add known_condition_false(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n
Carpenter
Fix handling of cont
i
nue
i
nside do
w
h
ile state
m
ents
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan Car
p
ente
r
D
o
n'
t
set let pe
o
p
le
set states for unreac
h
able code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
D
an Carpent
e
r
Small cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
rpente
r
Han
d
le the i
t
erators c
o
rrectly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpente
r
Add support for
"if (a?b:c) {
.
.
.
"
tern
a
ry cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Dan
C
ar
p
enter
Add some support for _spin_t
r
ylock() and
frien
d
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-20
Da
n
Carp
e
n
t
er
if (a || b) { a->fo
o
; should pr
i
nt a
n
error
.
Al
s
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
This p
r
ints out error me
s
sages all the time that are
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n Carpent
e
r
Assignment a
l
ways set
s
&
i
s
f
reed
t
o som
e
thing els
e
l
i
ke
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan
Carpente
r
Don't print c
r
oss_fun
c
err
o
r
s i
f
the called
function
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Remove call to alloc_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpente
r
Call the mer
g
e_h
o
ok() instea
d
of settin
g
the sta
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
p
enter
Oops
.
Meant to co
m
mit
this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add th
e
merge_hook() b
a
ck in
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Clear the returns list
s
at th
e
e
nd of eac
h
func
t
i
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
M
o
ve the implications
c
hecki
n
g to after the scri
p
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Re
w
r
ite completely wi
t
h
ne
w
g
o
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpent
e
r
Add
some functions to
h
a
n
dle
tracker lists
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't segfault all t
h
e tim
e
when checking for
e
ver
l
o
ops
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
D
an
C
arpe
n
ter
Test to see
if we ar
e
ca
t
ching cross func
t
i
o
n
deref
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
r
penter
U
se the ->possible
states
and remove the me
r
ge_hook()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
"wh
i
le ((1)) {
"
is a forever l
o
o
p
.
Call s
t
rip_ex
p
r()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
penter
fixe
s
t
o
the ->
p
oss
i
ble setting
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-17
D
a
n
Carpenter
Mer
g
e branch 'mas
t
er'
i
nt
o
null_dere
f
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpe
n
ter
Add validation script fo
r
check_nu
l
l_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
C
l
e
an up
.
n
ew->possible
i
s always null here
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
D
a
n Car
p
enter
Oops
.
-
>possibles wasn't getting set corre
c
tly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpe
n
ter
Use strip_expr() in split_co
n
diti
o
ns()
i
nstead reproducin
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Add
s
o
me
m
ore op
e
ration
s
t
o get
_
value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
D
an C
a
rpenter
Return &
m
e
rge
d
in
s
tead of &undefined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
make get_value() return
a
v
a
lue fo
r
bitw
i
se or expres
s
ions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Car
p
ente
r
Try ag
a
i
n
removing stat
e
s
fro
m
pools
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-13
Dan
Carpen
t
er
Revert "Remove
a
state from
i
t's ->pool
s
w
h
e
n se
t
_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Eli
m
in
a
te a warning
.
P
robab
l
y
the w
r
ong way to
d
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n Carp
e
nter
Clea
n
u
ps
.
C
omm
e
nts
.
Rename slist_sta
c
k to named_stack
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
a
rpenter
Ha
h
a
.
I still suck at pointers
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
penter
Cleanups
.
Co
m
m
e
nts
.
Re
m
o
v
e
d
ebu
g
ging code from fil
t
er()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arpe
n
ter
Clean up
.
A
lso preser
v
e th
e
-
>
p
ools in one path
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cle
a
n up get
_
state_sli
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove __
o
verwrite_cur_sl
i
s
t()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carp
e
nter
The
r
e w
a
s de
b
ugging out
p
ut tha
t
accidental
l
y
g
ot
c
ommitted
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Ca
r
p
enter
Remove a state from it's ->pool
s
whe
n
s
et_s
t
ate() is
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don'
t
de
l
ete t
h
e -
>
pools
o
n
merging
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Carpent
e
r
T
r
y
understand the implications
from compo
u
nd condition
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
e
n
ter
Crea
t
e a st
a
te &merged
.
When we merge stuf
f
it isn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Ok
.
This time s
m
atch_implied _really_
d
oes something
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
Carpenter
Ign
o
re cscope files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n C
a
rpen
t
er
S
m
a
l
l
c
lean
u
ps
.
(
W
hi
t
e space)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
arpenter
Whitespace change
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
D
an Carpente
r
Add some more loc
k
i
n
g function
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Fix im
p
lied pool
s
so
that at least it
d
o
e
s
some
t
h
i
n
g
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-10
Da
n
C
a
r
p
enter
I
t se
e
med like tracker_list would b
e
useful in
a
lo
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n C
a
rpenter
Add a R
E
ADME describing smatch
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpe
n
ter
Add script to find
N
UL
L
derefer
e
nces be
t
ween functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix u
s
age message
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpente
r
Check for
m
a
ll
o
c
(
)
a
s
we
l
l as km
a
lloc()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix segfault
when han
d
ling imp
l
icitly declared functions
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n Carpente
r
Warn
w
hen we don't acquire locks when
calling c
e
r
t
a
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-04
D
a
n
Carpenter
Try (and fa
i
l) to
f
ind memory leaks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost pri
n
t a message when you com
e
to
u
nreachable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add
c
heck to look for dou
b
le frees
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-03
Dan Ca
r
penter
Add checking for l
o
ck_kernel()/un
l
ock_ker
n
el()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
M
a
ke c
h
e
c
k_locking ch
e
ck both sp
i
n
locks an
d
semap
h
ores
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan
C
arpente
r
A
d
d a
n
ew fun
c
t
ion slist_has_sta
t
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
If
there is
a
n
i++ the
n
the value
o
f
'i' is un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Car
p
enter
Add a new chec
k
_locking s
c
ript th
a
t che
c
k
s
spinlock
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Save
the possi
b
le
states instead of just merging them
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Ca
r
penter
I
g
n
ore em
a
cs garbage
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carp
e
nter
Merge bran
c
h 'master' into pools5
commit
|
commitdiff
|
tree
2009-01-20
Dan Car
p
enter
F
i
x
likely
(
) and un
l
ikely() handling
.
Signed-off-by:
Dan Carpenter
<dcarpenter@bikeee.(none)>
commit
|
commitdiff
|
tree
2009-01-20
Dan Ca
r
penter
Add single q
u
ot
e
s around the vari
a
ble for consistency
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpenter
We co
u
ld
save
some memory by not allocating ne
w
memory
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpen
t
er
Add
a com
m
e
n
t s
h
o
w
i
n
g
where the tes
t
s
a
re
s
upposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
This is lef
t
over from Oct
o
ber a
s
part of t
h
e
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_poss
i
ble_states()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-12-21
D
an Carpenter
Stuff lef
t
over
from
Octob
e
r
.
Implied pools work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan
Carpenter
We cou
l
d
s
ave so
m
e mem
o
r
y by n
o
t allocating
n
ew memor
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory
leak
.
A
d
d
m
o
re comments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Carpenter
Add a
m
e
r
ge h
o
o
k
.
Handle the situations
l
ike:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
strcmp() doe
s
n't acc
e
pt
N
U
L
L arguments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carp
e
nter
rename
t
wo f
u
nctions:
g
e
t
_
variable_
f
rom_exp
r
_
s
imple
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
get_va
r
i
able
_
f
rom_expr() u
s
e
s
a static buffer a
n
d you
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
Create a
c
h
eck_template
.
c example script tha
t
looks
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Carpenter
Make
g
et_all_s
t
ates() not segfault every tim
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
penter
Fix get_value() to return
n
egative valu
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpen
t
e
r
W
e only ever
pass one p
a
rameter into get_value
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next