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
Fix compiler int<->ptr conversion warnings
2009-04-14
Dan
Carpent
e
r
F
i
x compiler
int<->ptr con
v
ersion wa
r
nings
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
ar
p
enter
Merge ad
j
acent ranges
.
1-2,3
-
4 becomes 1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save s
o
me al
l
ocations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carp
e
nter
Fix
strncat() b
u
gs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
D
a
n
Carpe
n
ter
Improve h
a
ndling of
f
or loops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Handle on
c
e
through loops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix mergi
n
g r
a
nges
.
Co
m
ple
t
e
l
y bro
k
en before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
T
ypo: <
=
instead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan C
a
rpe
n
ter
Reverse
all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an
Carpenter
Don't
t
h
e implications for
the st
a
t
e de
t
ermining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
match_comparison to ha
n
dle
less than, greater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
C
h
a
n
g
e locking out
p
ut
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
D
o
n't allocate
so many extra_
u
ndefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpente
r
create
a
lloc
_
extra_state_empt
y
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
remove tr
u
e_comp
a
rison(
)
and do_com
p
arison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpe
n
ter
mov
e
(true|false)_compa
r
ison
_
range() to smatch_extra_
h
e
lper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
clear ->m
y
_lists for &igno
r
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print more -
-
de
b
ug
-
impli
e
d
i
nformation wh
e
n --debug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
R
emoved
ha
r
d
c
oded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpente
r
Fix r
a
n
ge comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
remove unused func
t
i
on:
r
ange_list_intersection()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpente
r
Handl
e
UNDEFINED r
a
ng
e
a
nd display th
e
name correctly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n Carpenter
Fix state names for
ran
g
es
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Impl
i
ed ranges
.
Pa
r
t
#
3
.
Range L
i
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an Carpenter
Update data
file
s
for 2
.
6
.
30
-
rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpen
t
er
sm
a
tch_ext
r
a
.
s
a
ve ot
h
er c
o
mparisons besides just
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
Ca
r
penter
handle:
i
f
((foo = try_l
o
ck
(
))) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
D
an Carpenter
rename: expr_to_val() -> ge
t
_
implied_value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
Fix handling
of i
f
(IS_ERR(foo
=
bar())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carpenter
hand
l
e if conditio
n
a
l
functions ar
e
as
s
igned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carp
e
nter
Add
n
ew restrict
e
d
kn
o
wn_condition_tr
u
e(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
rename known_conditi
o
n_tr
u
e
(
) to implied_conditio
n
_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Ad
d
ERR_PTR() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
_
_
m
o
d
u
le_put_and_e
x
i
t
()
d
oesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Sep
a
rate the list of freed arguments from decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an
C
a
rpenter
Write a script to print functions
that return NULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpe
n
ter
D
o
n
'
t free bin_
d
ir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Oops
.
Commit these e
s
se
n
ti
a
l files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle know
n
co
n
d
i
tions w
h
e
n
th
e
y are
a
sim
p
le value
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
Carpenter
A
d
d C
A
SE_HOO
K
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n
Carpenter
Fix mem
o
ry leaks
f
o
und by
v
a
l
g
r
i
n
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
alloc_string()
-
>
al
l
oc_sname
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpe
n
ter
P
u
t s
o
me validation
s
cr
i
pts in the cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
an Carp
e
nter
Impli
e
d ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Silen
c
e the mutually
exclusive outpu
t
aga
i
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Fr
e
e
all data
_
i
n
fo at t
h
e
end of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpenter
Add --no-data option and
warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan Carpenter
ra
n
ge
f
ix
.
anding
s
lists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
Dan
Carpenter
cleanups from clone_
s
l
i
s
t
(
) chang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
an Carpenter
Implied ranges
.
Part #1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
Da
n
Carpe
n
ter
Add the allocatio
n
funcs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
fre
e
_sc
q
is
defined
2
times quite differently
.
It
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix implications (f
a
llout
f
rom clone_sli
s
t() cha
n
ges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpente
r
Major memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carp
e
nter
--debug mean
s
print th
e
i
m
plications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
D
an Carpenter
Add --no
-
implied to the
h
elp t
e
x
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
Save memory
.
Don't copy th
e
state name so
much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Carpenter
Add ch
e
ck_type
.
c (disabled
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
k
ref_put() an
d
kobject_
p
ut() are b
a
sic
a
lly like a fre
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan Carpenter
Don't der
e
f
e
rence
freed
m
emory
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Ca
r
p
e
nter
Add a
l
l the allocatio
n
functions to che
c
k_lea
k
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Da
n
Carpente
r
Generate a list of funct
i
ons that allo
c
ate
d
ata
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
enter
Up
d
a
te the gen_frees_list
.
sh a
n
d the generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carp
e
nt
e
r
Save function l
i
s
t
s in smat
c
h
_data/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Da
n
Carpenter
new (
d
is
a
bled)
s
c
r
ipt: chec
k
_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpe
n
ter
implied: add get
_
i
mplica
t
ions() for sc
r
ipts to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Add comment
.
g
e
t
_
value returns UND
E
F
I
NED on erro
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
pe
n
ter
fun
c
tion_hooks: bump the number of ent
r
i
e
s
in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new:
add_function_as
s
ign_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carp
e
n
t
e
r
C
lean up the conditi
o
nal hook co
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Car
p
en
t
er
new api: add
_
c
o
nditional_hoo
k
(), s
e
t_cond_states();
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
f
u
nction_hooks: pass the function nam
e
as
well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carp
e
n
t
er
don't try
return bloc
k
things in get_vari
a
ble_from_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpenter
Add a list
of noreturn
t
ype
func
t
i
o
ns that nullify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
D
a
n Carpenter
Merge br
a
nch 'devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
r
e
compile the check_*
.
c files
i
f the smatch heade
r
s
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
chec
k
_overflow: tes
t
copy_to/from_u
s
er as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpenter
chec
k
_
overflow: don't mul
t
ip
l
y
the size of strings
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
t
er
assumed_nonnu
l
l crap
.
.
.
tem
p
fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Car
p
ent
e
r
Add
s
cript to generate t
h
e frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
rename register_
f
rees_argument to
c
h
e
ck_frees_arg
u
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Ca
r
p
e
nter
f
i
x or
d
er of processing of comm
a
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
n
t
e
r
get rid
of FUNCT
I
ON_CALL
_
AFTER_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carp
e
nter
change order of conditi
o
n processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
get ri
d
of
AS
S
IGNMENT_AFTER
_
H
O
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an
C
a
rpenter
check_mem
o
ry: r
e
ad freei
n
g
f
u
nctions from fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
c
h
ec
k
_mem
o
r
y
: rea
d
freeing functions from fil
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan Carpenter
frees_argument: don'
t
count functions th
a
t
o
nly free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
D
a
n
Carpenter
core:
improve andi
n
g condition
handlin
g
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
check_overf
l
o
w
: m
o
ve to new add_function_hook
(
)
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Carpenter
check_locking: move
to the new func
t
ion hook
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpe
n
ter
check_lock
i
ng:
fix some
d
ouble unlock
f
a
lse
p
osit
i
ves
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
Car
p
ent
e
r
c
o
re: add_functi
o
n_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
arpenter
make some
vars static
.
oth
e
r random sparse stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
core: add_un
m
a
tched_state_hook
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Ca
r
p
enter
imp
l
ied: re-
a
dd the
d
ebug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan
C
a
rpenter
c
hange convention: registe
r
_te
m
plat
e
() -> check_te
m
plate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpenter
l
o
ck
i
ng: a
d
d s
o
m
e more mutex fun
c
tions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
Ma
k
e
-
-kn
o
wn-
c
onditions an o
p
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-17
D
a
n
Carp
e
nter
h
and
l
e kno
w
n conditions
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next