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
Prevent some endless loops.
2009-05-06
Dan Ca
r
pe
n
ter
Pre
v
e
n
t some
e
ndless loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
P
u
tti
n
g parens arou
n
d something doesn't mak
e
it un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Fix m
e
mory
leak
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
C
a
rpenter
Make struct
s
m_st
a
t
e
more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan
Carpenter
s
match_slist
.
c no longe
r
nee
d
s any functions
from smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
Delete all the anding
comp
o
un
d
condi
t
ions c
o
de
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
e
n
ter
check
debu
g
is useful for debuggin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an C
a
rpenter
pot
e
nt
i
al bug
fix fo
r
gotos with implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpenter
Make validation te
s
t harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
r
penter
Rewor
k
smatch implied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Car
p
enter
get_valu
e
(): handle a couple m
o
re bit o
p
e
rators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpent
e
r
S
e
t th
i
n
g
s
i
n sm
a
tch extr
a
instead of sm
a
tch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan
Ca
r
p
enter
Handle swi
t
ch statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpente
r
R
evert
"
Don't the i
m
plications for t
h
e s
t
at
e
determining
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpenter
R
evert "Here is a bu
g
in
handli
n
g
c
ompound
c
onditions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Ca
r
pent
e
r
handle if((foo = down_trylo
c
k()) < 0) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
Carpen
t
er
a
dd_is_
m
erged_ho
o
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan
C
arpenter
D
ereferenc
i
n
g
a variable doesn't make it un
d
efined
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan
C
arpenter
Redo ch
e
c
k
ing
for o
u
t
of ran
g
e args
t
o
ERR_PTR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Dan C
a
rpe
n
ter
Here is a bug in hand
l
ing compound cond
i
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Da
n
Carpenter
Ha
n
dle straight forward
c
ompar
i
s
o
ns t
o
zer
o
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carp
e
nte
r
Store the implications for
return
_
implies_
s
tate() assignme
n
ts
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
A
d
d: retu
r
n_implies_s
t
ate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Rename smatch_extra_
h
elper
.
c to
s
mat
c
h_ra
n
g
e
s
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
E
li
m
inat
e
set_con
d
_state
s
() functi
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpen
t
er
Small clean up
.
Allo
c
ating filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
a
n Carpe
n
ter
Verify that
t
he
v
alue p
a
ssed to ERR_PTR() isn't too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
ent
e
r
Fix compil
e
r int
<
->ptr conversion
w
ar
n
ings
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Carpenter
Merge adjacent r
a
nges
.
1
-
2
,3-4
be
c
o
mes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rp
e
nter
Sav
e
so
m
e
all
o
c
a
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpente
r
Fix strncat()
b
ugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan Carpenter
Improve handling of for loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carp
e
nte
r
Handle once
throu
g
h loop
s
d
i
fferently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Fix
mer
g
in
g
ran
g
es
.
Com
p
let
e
ly b
r
ok
e
n b
e
fore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpe
n
t
er
T
ypo
:
<= in
s
tead
of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Reverse a
l
l
the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Ca
r
penter
Don't the
i
mpli
c
ations
f
o
r the sta
t
e determinin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
match_c
o
mparison
to handle
l
e
ss than, greater tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
Change l
o
cki
n
g out
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
Don't allocate so many extr
a
_undefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpenter
create alloc_extra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carp
e
n
t
e
r
r
emo
v
e true_comparison() a
n
d do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
move
(true|false)_co
m
parison_
r
ang
e
() to smatch_extra_hel
p
er
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
C
a
rpe
n
ter
clear ->m
y
_list
s
fo
r
&ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpent
e
r
Pr
i
nt more --debug-implied
inform
a
tion when --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Carpenter
Rem
o
ved ha
r
d
c
oded
o
ptions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
F
i
x r
a
nge comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan C
a
rpenter
remo
v
e unused
function:
rang
e
_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
ter
Handle UND
E
FI
N
ED ra
n
ge
and disp
l
ay the name corre
c
tly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arpe
n
ter
F
i
x
state names for r
a
nges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan
C
arp
e
nter
Implied ranges
.
Part #3
.
Range Lists
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Update
data files f
o
r
2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_
e
xtra
.
sav
e
other comparis
o
ns besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
a
n
Carp
e
n
te
r
handle: if
((foo = try_lock
(
)
)
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
r
e
name: expr_to_
v
al
(
) -> get_im
p
lied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Carpenter
Fix handling of if (IS_ERR
(
foo = bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle if cond
i
tion
a
l function
s
are assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
C
arpen
t
e
r
Add
n
ew restricted know
n
_condition_true(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rpe
n
ter
rename k
n
o
w
n
_
condition_
t
rue() to impl
i
ed_cond
i
t
i
on_tr
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Add ERR_PTR
(
)
c
h
ec
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
__modu
l
e
_
p
ut_
a
nd_
e
x
i
t() doesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpenter
Separate the lis
t
of freed arguments from decre
m
e
n
t
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
C
arpenter
Write a
scr
i
pt to print functions tha
t
r
e
t
u
r
n NUL
L
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpen
t
er
Don't
free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpente
r
Oops
.
Commit these essenti
a
l
files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carpenter
H
an
d
le known conditions
w
hen th
e
y
ar
e
a simple
v
al
u
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Add CASE_HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carp
e
nt
e
r
Fix memory le
a
ks fo
u
nd by valg
r
ind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n C
a
rpenter
al
l
oc
_
string() -
>
alloc_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpen
t
er
Put some validation
scripts
i
n the clos
e
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpen
t
er
Implied ranges
.
Par
t
#2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
S
i
lenc
e
t
he mut
u
all
y
exclusiv
e
output aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan
C
arpenter
Free all dat
a
_info
at
th
e
end of
a
f
unct
i
on
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
Carpe
n
t
e
r
Add --no-data option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
r
a
nge fix
.
anding
slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpent
e
r
cl
e
anups from clone_s
l
ist() chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
Implied ranges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Dan Carpente
r
A
d
d the alloca
t
ion funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
f
r
e
e_scq is defined 2 ti
m
es q
u
i
t
e differ
e
ntly
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
a
n Carpenter
Fix
implications (fallout from c
l
one_sl
i
st
(
) changes)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Car
p
enter
Major memor
y
s
a
ving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Da
n
Carpenter
--
d
ebug means print the implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
A
d
d
-
-
no-i
m
plie
d
to th
e
hel
p
text
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpenter
Save memory
.
Don't
c
o
py t
h
e sta
t
e
n
ame so much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Car
p
enter
A
d
d
che
c
k_type
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Da
n
Carpenter
kref_p
u
t() and kob
j
ect_put() are ba
s
i
c
ally li
k
e
a
free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpent
e
r
Don't
d
ereference freed
m
e
mory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
D
an Carpenter
Add all the allocation
fun
c
tions
t
o check_
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpent
e
r
Generate
a
l
i
st
o
f fun
c
tion
s
that allocate data
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan C
a
rpen
t
er
Update the gen_frees_list
.
sh and the generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
Save
function l
i
sts in smatch_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabled) script: check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
implied
:
add get_
i
mplications() fo
r
scr
i
pts to
use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
n
ter
Add comment
.
get_v
a
lue returns UND
E
FIN
E
D on
e
rr
o
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan C
a
r
penter
f
unction_hooks: bump
the number of en
t
ries in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add_functio
n
_ass
i
gn_h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
D
a
n Ca
r
pe
n
ter
Cle
a
n up the co
n
ditio
n
al hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
new a
p
i: add_conditional
_
hook(
)
, se
t
_
con
d
_stat
e
s(
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpent
e
r
f
un
c
tion_hooks:
pass
the funct
i
on
na
m
e as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Carpent
e
r
don't tr
y
return
b
lock t
h
i
n
gs
i
n get_
v
ari
a
ble_fr
o
m_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next