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
For some reason smatch can't find these header files on my other system.
2009-03-03
Dan Carpe
n
ter
For
s
o
m
e
reason sma
t
ch can't fi
n
d these
h
ead
e
r
f
iles
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-03
Dan Carpen
t
e
r
F
ix
string memory leaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remove
unneeded allocat
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carpenter
Remo
v
e
outdate
d
comment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
D
o
n't __
f
r
ee_s
m
_st
a
te() un
t
il end o
f
f
u
nct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpent
e
r
fr
e
e_
s
list() after c
a
l
l
ing get_all_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan
C
arpenter
don't reall
o
cat
e
t
he ->possibl
e
states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Carpente
r
Get rid o
f
un
u
sed line hi
s
tor
y
code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rp
e
nter
Fix some memo
r
y leaks in __i
m
plied_sta
t
es_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
D
a
n Ca
r
penter
A
dd
free_trackers_and_list() and free_tracker_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan C
a
rpenter
A
dd n
e
w fr
e
e_stack() functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
Carpenter
rena
m
e del_slis
t
_
stack() to free_stack_
a
nd
_
sl
i
st
s
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Dan Carp
e
nter
rename del
_
slis
t
() -> free
_
slist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-02
Da
n
C
a
rpenter
Free all th
e
sm_states at the e
n
d o
f
ea
c
h funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
D
a
n
C
arpenter
Add ->possib
l
e to __print_s
l
i
s
t
(
)
output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-28
Dan Carpenter
S
ave all
t
he
p
o
ols a state goes through
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan Ca
r
penter
Add
a
nd f
i
x
s
match i
m
p
l
ied tes
t
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan
Carpenter
Preserve the ->pools and ->p
o
ssi
b
l
e for implied states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
Dan C
a
rpen
t
er
Fix h
a
ndlin
g
mutually excl
u
s
i
ve
st
a
te
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Get rid
of r
e
dundant harmonize_states
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-27
D
an Carpenter
Add fu
n
ction __set_true_false_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
O
n
ly sa
v
e an i
m
p
l
ied
li
s
t i
f
a state
has b
e
en modi
f
ied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpent
e
r
Only i
m
plied
s
tates
t
hat aren'
t
a
l
read
y
tru
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan Carpenter
Take a pa
r
ame
t
er instead of as
s
u
m
ing the output is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-26
Dan C
a
rpenter
Do
n
'
t check th
a
t
the
r
e are both tr
u
e and
false stat
e
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carp
e
nter
Thi
s
c
hec
k
_order
(
)
seems supe
r
fluous
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
D
a
n Car
p
ente
r
New f
u
nct
i
on harmo
n
ize
_
states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan
C
arpenter
call _
_
s
plit_e
x
p
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-25
Dan Carpenter
remo
v
e unneeded calls to
__use_cond_true_s
t
ate
s
();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Carpente
r
Don't set the implied s
t
a
t
e to &merged
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
D
a
n Car
p
e
n
ter
Make cmp_tracker() accessible to outsi
d
e
f
i
l
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan
Carpenter
Al
l
the states are
i
mplied
n
o
t just un
i
que
o
nes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-24
Dan Carpent
e
r
I
mprove lock
check output
.
Add
m
ore
v
a
l
idation samples
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carp
e
nter
Add support for do
w
n
_
i
nterr
u
ptible()
a
n
d
friend
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Car
p
ente
r
Fix
the Unclear locking thin
g
.
Again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Warn
o
n double loc
k
/un
l
ock
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Carpenter
Print fewer U
n
c
lear loc
k
i
ng messages
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Da
n
C
arpent
e
r
i
f
((1)) {
.
.
.
is a known_con
d
ition_t
r
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-23
Dan Ca
r
penter
A
d
d support for those funny g
c
c ({
.
.
.
}
)
block statements
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpent
e
r
Handle declaratio
n
s inside swit
c
h statement bl
o
ck
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
D
a
n Carpenter
Cl
e
anup is
_
zero()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Add known
_
condition_false()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
Carpenter
Fix
h
andling o
f
continue ins
i
de
do while statem
e
nts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Da
n
C
a
rpenter
Don't set let peopl
e
set states
f
or un
r
each
a
b
l
e code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Sma
l
l cle
a
nup
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-22
Dan Carpenter
Han
d
le the iterators correctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
Add support for "
i
f (
a
?b:c) {
.
.
.
" ternary cond
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-20
Dan Carpenter
A
dd some s
u
ppor
t
for _spin_trylock(
)
a
n
d
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
e
r
r
or
.
Also
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Da
n
Carpenter
T
his prints out e
r
ror messages all the time that are
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-19
Dan Carpenter
Assig
n
ment always sets
&
i
sfreed to
s
o
m
ething else like
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carp
e
nter
D
o
n
't print cros
s
_func errors if
the c
a
l
led function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
an Carpenter
Remove call
t
o
a
llo
c
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
r
pent
e
r
Call the merge_hook() instead of set
t
ing the state
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Oops
.
M
eant to
c
ommit thi
s
earlier
.
:
/
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Car
p
enter
Add the
m
erge_hook()
b
a
c
k in
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
Clear the
r
etu
r
ns
l
i
sts
at th
e
end o
f
each funct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
D
a
n Carpe
n
ter
Mo
v
e t
h
e imp
l
icat
i
ons checking to
after the scripts
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
a
rpente
r
R
ewrite
complet
e
ly with new go
a
l
.
commit
|
commitdiff
|
tree
2009-02-18
D
a
n C
a
r
penter
Add some functi
o
ns
t
o h
a
ndle t
r
a
cke
r
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Carpent
e
r
D
o
n
't segfault all the tim
e
when checking
f
o
r
ever loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan
C
arpenter
T
e
st to s
e
e
if w
e
are catching cross
fu
n
ction dere
f
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpenter
Use the ->pos
s
i
ble states and r
e
mo
v
e the me
r
ge_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Da
n
Ca
r
pe
n
ter
"
whi
l
e ((1)) {" is a fo
r
ever loop
.
Ca
l
l str
i
p_expr
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-18
Dan Carpe
n
ter
f
ixes to the -> possible set
t
i
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-17
Dan Carpenter
Mer
g
e b
r
anch 'master'
into null_deref
commit
|
commitdiff
|
tree
2009-02-17
Dan C
a
rpenter
A
d
d validation script for check_null_deref
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-16
Da
n
Carpen
t
er
Cle
a
n up
.
new->poss
i
ble is alwa
y
s null h
e
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan
C
a
rpenter
Oops
.
->poss
i
b
l
es was
n
'
t
g
ettin
g
set correct
l
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpenter
Use
s
trip_ex
p
r() in
s
pl
i
t
_
conditions() instead reproducing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-14
Dan Carpente
r
A
d
d some more operations to get_
v
alue()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
R
eturn &m
e
rged instead of
&
undefi
n
ed
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpen
t
e
r
make get_value()
ret
u
rn a value for bitwise or expressions
.
commit
|
commitdiff
|
tree
2009-02-13
Dan Carpenter
Try aga
i
n removing stat
e
s fro
m
p
o
ols
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-13
Da
n
Carpe
n
ter
Re
v
ert "Remove a s
t
ate from it's
->poo
l
s when set_state
.
.
.
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Elimin
a
te a wa
r
ning
.
Probab
l
y the wrong way to do
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Cl
e
an ups
.
Comments
.
Rename sli
s
t_
s
tack t
o
named_stack
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Ha ha
.
I st
i
ll suck at poin
t
e
rs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Da
n
C
arp
e
n
t
er
Cleanups
.
C
om
m
ents
.
Remove deb
u
gging code
f
rom filter()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Ca
r
p
enter
Cle
a
n up
.
A
lso preserve the ->poo
l
s in one
pa
t
h
of
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
D
an Car
p
e
n
ter
Clean up get_state_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpente
r
Remov
e
__
o
verwrite_cur_slis
t
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan
Carpenter
There was de
b
ugging output tha
t
acc
i
dentally got committed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Remove a sta
t
e from it's ->pools when set_state() is
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Don't delet
e
the ->pools on
merging
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Tr
y
understand th
e
i
m
p
l
i
cations from
compound c
o
ndit
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-11
Dan Carpenter
Create
a
state &m
e
rged
.
When we me
r
ge st
u
ff it i
s
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
Ok
.
This time smatc
h
_implied
_reall
y
_ doe
s
somethi
n
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Ca
r
penter
Ignore cscope file
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
D
a
n Ca
r
penter
Small cleanups
.
(Whit
e
s
pace)
.
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
A
d
d
some more lockin
g
f
u
ncti
o
ns
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
F
ix implied
p
ools s
o
tha
t
at least it does somethin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-10
Dan Carpenter
It seemed like tra
c
ker_l
i
s
t would be use
f
ul in
a
l
ot
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
A
d
d
a
R
EADME describing smatch
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpe
n
ter
Add s
c
ri
p
t
t
o
find NULL dereference
s
betwe
e
n function
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
F
i
x usage message
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Carpenter
Check
f
or malloc() as wel
l
as
k
malloc()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-05
Dan Ca
r
pen
t
er
Fix segfau
l
t
whe
n
handling
implicitly de
c
lared
funct
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-02-04
Dan Car
p
enter
Warn whe
n
we don't
acquire l
o
cks when calling c
e
rtain
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next