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
Dan
C
a
r
penter
re
m
ove unnee
d
ed
c
a
lls to __use_cond_true_
s
t
a
tes();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Da
n
Carpent
e
r
Don't set the i
m
plied state to &
m
erged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpenter
Make cmp
_
tracker() ac
c
essible to outsi
d
e fi
l
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
an
C
arpenter
A
ll the states are implied
n
ot ju
s
t unique ones
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carp
e
n
t
er
I
m
p
rove lock
check output
.
A
d
d more
validation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpent
e
r
Add support f
o
r down_i
n
ter
r
u
p
tible() and
friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
C
arpenter
Fi
x
the
U
n
c
lear locki
n
g thing
.
A
g
ain
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan C
a
rpenter
Warn on double lo
c
k/u
n
locks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
D
an C
a
rpen
t
er
Print fewer Un
c
lear locking messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan
Carpente
r
if ((1)) {
.
.
.
is a known_conditio
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpente
r
A
d
d
support fo
r
those fun
n
y gcc ({
.
.
.
}) b
l
o
c
k
statement
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan C
a
r
p
e
nter
Handle declarati
o
ns inside swi
t
ch
s
tatement blocks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
a
rpenter
C
l
ea
n
up i
s
_zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add
kn
o
wn_condition_
f
alse
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Fi
x
handlin
g
of
c
ont
i
nue inside do while
st
a
t
e
m
ents
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Don't set l
e
t p
e
ople set sta
t
es
f
o
r
unreacha
b
le code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan
C
ar
p
enter
Small c
l
e
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Handle the i
t
e
rators co
r
rectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Car
p
en
t
er
Add s
u
ppor
t
for "if (a?b:c) {
.
.
.
" ternary conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
D
a
n Carp
e
nter
A
d
d som
e
support for _sp
i
n_tr
y
lock() and friends
.
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
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
D
a
n
Carpenter
T
h
is p
r
ints out
e
rror messages all the
t
i
me
tha
t
are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
A
s
signment always s
e
ts &isf
r
e
ed to somet
h
ing els
e
l
ike
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Don't pri
n
t cross
_
f
u
n
c
errors
i
f the called function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Remove call to
a
llo
c
_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
C
a
ll the merge_hook() instead of setti
n
g the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpenter
Oops
.
Meant to
c
ommit this earlier
.
:/
commit
|
commitdiff
|
tree
2009-02-18
Dan Carp
e
nte
r
Add the merge_hook()
back in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Cl
e
ar
t
h
e
returns lists at
the end of each function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Move the
i
mplicatio
n
s checking to afte
r
t
h
e scri
p
ts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Ca
r
penter
Rewrite
c
ompl
e
tely with n
e
w goal
.
commit
|
commitdiff
|
tree
2009-02-18
Dan C
a
rpenter
Add some
f
u
nctions
t
o
handle
t
r
a
cker
l
ists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
D
on't segfault
all the time when checking
f
orever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Test to
s
ee
if we a
r
e
cat
c
hing cross
f
u
n
cti
o
n
d
ere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Us
e
t
he ->possible states and remove the
m
erge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n
C
a
r
p
e
nter
"while ((1)) {"
i
s a f
o
r
ever
l
o
o
p
.
Ca
l
l
strip_expr()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
fixe
s
to the -> possible set
t
ing
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpent
e
r
Merge branch
'
maste
r
' into null_de
r
ef
commit
|
commitdiff
|
tree
2009-02-17
D
an Carpenter
Ad
d
valid
a
tion sc
r
ipt for che
c
k_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Dan Carpenter
Clean up
.
new->possible
i
s always n
u
ll here
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan C
a
rpenter
Oops
.
->
p
ossibles wasn't getting set co
r
re
c
t
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rpente
r
Use strip_expr() in split
_
con
d
itions
(
) ins
t
e
a
d reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Car
p
enter
Add s
o
m
e
m
o
r
e
o
perations to ge
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpente
r
Return &mer
g
ed instead
o
f
&undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carp
e
nter
make get_value() return a value for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpe
n
t
e
r
Try ag
a
in removing states from p
o
o
l
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Rever
t
"
Remove a sta
t
e f
r
om it's ->pools when s
e
t_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Da
n
Ca
r
penter
Eliminate a w
a
rn
i
ng
.
P
r
obab
l
y the wrong w
a
y
t
o do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
e
a
n
u
p
s
.
C
o
mments
.
Rena
m
e slist_stack
to named_s
t
ack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Car
p
enter
H
a
ha
.
I still s
u
ck at po
i
n
t
ers
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
C
l
eanups
.
Co
m
m
ents
.
R
e
move debugging code from filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpen
t
er
Cle
a
n up
.
A
lso prese
r
ve the -
>
poo
l
s in on
e
pa
t
h of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan C
a
rpen
t
er
Clean
u
p
get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Rem
o
ve __overwrite_cur_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
T
h
ere w
a
s debugging output that accid
e
ntally
g
ot commi
t
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Carp
e
n
t
er
Re
m
ove a state from
it
'
s ->pools
w
hen
set_
s
tate
(
) is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpe
n
ter
Don't
d
e
lete t
h
e ->pools on merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
a
n
Carpent
e
r
Tr
y
unde
r
stand
the implications f
r
o
m
compoun
d
c
onditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
C
arp
e
nter
Crea
t
e
a
state &m
e
rged
.
When
w
e merge stuff it isn
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Car
p
enter
O
k
.
Th
i
s time s
m
atch_i
m
plied _rea
l
ly_ does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
I
g
nore cscope files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Small c
l
ea
n
ups
.
(White space
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan
C
a
r
penter
Whitespac
e
change
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpente
r
Add
s
ome more locking func
t
ions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpent
e
r
F
i
x implied p
o
ols so t
h
at at
l
east i
t
does something
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carp
e
nt
e
r
It s
e
e
m
ed
l
ike t
r
acker_list would be u
s
eful in a
lot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Add a README
d
e
s
cribing s
m
atch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n
Ca
r
penter
Ad
d
script to
f
ind NUL
L
dereferenc
e
s between f
u
nctions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Fix
usage m
e
s
s
age
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan C
a
rpente
r
Check
f
or malloc() as well as kmalloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
D
a
n Carpen
t
er
F
ix segfault wh
e
n
hand
l
ing imp
l
icitly declared functions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpent
e
r
W
a
rn when we don't
a
cquire locks w
h
en calling
certain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Carpenter
Tr
y
(
a
n
d
f
ail
)
to find memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Almost
print a message w
h
en you come to unreachable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan C
a
rpenter
A
dd check to look fo
r
double frees
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-03
Dan Carpenter
Add c
h
eckin
g
for lock_
k
er
n
el()/unl
o
ck_kernel
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
a
n Carpenter
Make check_locking check both sp
i
nlocks and
s
emaphores
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan Carpenter
Add
a
new f
u
nction slist
_
ha
s
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
D
an Carpenter
I
f
there is an
i
++ then the value of 'i'
is undefined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Dan C
a
r
pe
n
ter
A
dd a new
c
h
e
ck_
l
ocking script that checks spinlock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-02
Da
n
Carpenter
Sav
e
the
p
ossible state
s
instea
d
of just merg
i
ng th
e
m
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
Dan Carpenter
Igno
r
e
e
m
a
cs g
a
rbage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-01-28
D
a
n
Carpen
t
e
r
M
e
r
ge branch 'master' into
pools5
commit
|
commitdiff
|
tree
2009-01-16
Dan Carpen
t
er
We c
o
uld
save s
o
me mem
o
ry
b
y not alloc
a
ti
n
g new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan C
a
rpenter
A
d
d
a
c
omme
n
t
showing where the tests ar
e
supposed
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan
C
arpent
e
r
This is left over from October
a
s p
a
r
t
of
th
e
implied
.
.
.
commit
|
commitdiff
|
tree
2008-12-21
Dan Carpenter
Add get_p
o
ssibl
e
_states()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-12-21
Dan Ca
r
penter
Stuff
l
e
ft ov
e
r from October
.
I
m
plied p
o
o
l
s work
.
commit
|
commitdiff
|
tree
2008-10-19
Dan Carpenter
We cou
l
d
s
ave some memo
r
y by
n
ot allocating new memory
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-18
Dan Carpenter
Fix memory leak
.
Add more comments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan
Carpent
e
r
Add
a
merge hook
.
Han
d
le th
e
si
t
ua
t
ions like:
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
C
a
r
p
enter
strcmp() d
o
esn't accept NULL argume
n
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpenter
rename two
functio
n
s: get_variable_from_expr_s
i
mpl
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Da
n
Ca
r
penter
g
et_vari
a
ble_fr
o
m_
e
x
pr()
uses a stati
c
buffer a
n
d you
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-17
Dan Carpent
e
r
Creat
e
a
c
hec
k
_t
e
mplate
.
c
e
xample script tha
t
lo
o
k
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan Ca
r
pente
r
M
a
ke get_all_states() not segfaul
t
ever
y
time
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Da
n
Carpent
e
r
Fix get_
v
al
u
e() t
o
return negative values
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
D
an Carpent
e
r
We only ever pass one pa
r
ame
t
e
r into
g
e
t
_value()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan C
a
rpenter
F
i
x
ge
t
_all_states() to matc
h
the func
t
ion defini
t
ion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2008-10-15
Dan
C
arpe
n
ter
Remove add_sta
t
e() and state_defi
n
ed()
d
efini
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next