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
Eliminate set_cond_states() function.
2009-04-14
Dan
C
arpente
r
Elimin
a
te se
t
_cond_state
s
() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Car
p
enter
Small clean up
.
A
l
locat
i
ng filter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
D
an
Carpenter
Verify that the va
l
ue passed to ERR_
P
TR()
is
n
'
t too
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Car
p
enter
Fix com
p
i
ler int
<
-
>p
t
r conversi
o
n warn
i
ng
s
commit
|
commitdiff
|
tree
2009-04-14
D
a
n
Ca
r
pente
r
M
erge
adj
a
cent ranges
.
1-2,3-4 be
c
omes 1-
4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Save some allo
c
ations
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
F
i
x
strncat(
)
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Dan
C
ar
p
ent
e
r
Impr
o
ve h
a
ndling of for l
o
ops
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n
Carp
e
nter
Handle
o
nc
e
through loops dif
f
e
rently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
a
n Carpenter
F
i
x merging ran
g
es
.
C
o
mpletely broken be
f
ore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpent
e
r
Typo
:
<= in
s
t
ead of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
D
an Carpen
t
er
Reverse all the ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don
'
t
the implic
a
t
i
o
n
s
f
or the state determining th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
match_compari
s
on t
o
handle
less
than,
g
reater than
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan C
a
rpen
t
er
Change
locking output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arpenter
D
on't
al
l
oca
t
e so many extra_unde
f
ined s
t
ates
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpe
n
te
r
create alloc_extra_state_empty()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an
Carpenter
remove true_compar
i
son(
)
a
nd do_comparis
o
n()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Car
p
enter
move (t
r
ue|fal
s
e)_comparison_range
(
) to
smat
c
h_extra_helper
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
clear ->my_lists for &ignore
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
P
r
int more -
-
debug-impl
i
ed infor
m
a
tion when --de
b
ug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Da
n
Carpenter
Re
m
o
v
ed
h
a
r
d
c
o
ded options
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Ca
r
pen
t
e
r
Fix
range comparison
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
t
er
remove unu
s
e
d functi
o
n
:
range_
l
ist_intersect
i
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Ca
r
penter
H
andle UNDEFINED range and
d
ispla
y
th
e
name c
o
rrectly
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Ca
r
pente
r
F
i
x state na
m
es
for ranges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpenter
Im
p
l
ied ranges
.
Part #
3
.
Range L
i
sts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
a
n
Carpenter
Upda
t
e data
files for 2
.
6
.
30-
r
c1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
smatch_extra
.
save o
t
h
e
r com
p
arisons bes
i
des jus
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
handle:
i
f ((
f
oo = try_loc
k
())) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
r
penter
rename:
e
xpr
_
t
o
_v
a
l() -> get_implie
d
_
value()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
Fix han
d
ling of if
(
IS_
E
RR(foo = bar
(
)
)) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Da
n
Carp
e
nter
h
an
d
le if c
o
nditional f
u
nctions ar
e
assigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
pente
r
Add new
rest
r
i
c
ted kn
o
wn_condit
i
on_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
an C
a
rpenter
r
e
name known_condit
i
on_true() to imp
l
ie
d
_
co
n
di
t
i
on_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpenter
Ad
d
ERR_PTR() check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n Ca
r
penter
_
_mo
d
ule_put_and_ex
i
t
(
) doesn't
r
eturn
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
D
a
n
Carpen
t
er
S
eparate the list of free
d
argumen
t
s f
r
om
d
ecremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Ca
r
penter
Write a script to print function
s
that re
t
urn
N
ULL
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Don't free bin_dir
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Ca
r
p
e
nter
Oo
p
s
.
Commit
these ess
e
ntial files
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Handle kn
o
w
n
conditions when they
a
re
a
sim
p
le v
a
lue
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
a
rpen
t
er
A
d
d CASE
_
HOOK
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan Carpenter
Fix memory leak
s
found
by valgrind
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpe
n
ter
all
o
c_string(
)
-> all
o
c_sname()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
D
a
n Carpenter
Put some v
a
lidatio
n
scr
i
pts i
n
the cl
o
set
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-05
Dan
C
arpenter
Implied ranges
.
Part #2
.
Filters
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Da
n
C
arpenter
Silen
c
e the mutua
l
l
y e
x
c
l
u
sive ou
t
put again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpent
e
r
Fr
e
e all data_info a
t
t
h
e end of a function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-04
Dan Carpe
n
ter
Ad
d
--no-data option and warning
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Carp
e
nter
range
fix
.
anding slists
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n
Carpenter
c
leanups from clone_slist() cha
n
g
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-03
D
a
n Ca
r
penter
Implied rang
e
s
.
P
a
rt
#
1
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-02
D
a
n
Carpenter
Add the
al
l
ocation fu
n
cs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan C
a
rpenter
free_scq
i
s de
f
ined 2 tim
e
s quite d
i
fferently
.
I
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Carpenter
Fix implications (fallout
f
rom clone
_
slist() cha
n
ges)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan Ca
r
pent
e
r
Major memory saving
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
Carpenter
--deb
u
g
means pr
i
n
t the implicatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-01
Dan
C
a
r
p
enter
Add --no-imp
l
ied to the help
tex
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
a
n Carpenter
Save memory
.
D
o
n't copy
the st
a
te name
s
o much
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
D
an Carpe
n
ter
A
d
d check_type
.
c (disabled)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-30
Dan Carpenter
k
r
ef_put()
a
nd
kob
j
ect
_
put() are bas
i
cally like a free()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-29
Dan C
a
rpenter
D
on't d
e
r
e
ference f
r
eed
m
e
m
o
r
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpenter
Add all th
e
allocatio
n
fun
c
tio
n
s to
c
h
e
ck_
l
eaks
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-28
Dan Carpen
t
e
r
Generate a list of functions t
h
at allocate da
t
a
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-27
Dan Car
p
enter
Update
the ge
n
_frees_list
.
sh a
n
d th
e
generated data
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
Save function lists
i
n
smatch_data
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Carpenter
new (disabl
e
d) script: check_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-26
Dan Car
p
enter
im
p
lied: add
get_impl
i
c
a
tions() for script
s
to use
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpente
r
Add comment
.
g
et_
v
alue returns UNDE
F
INED on error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan
C
arpen
t
er
function_hook
s
: bump the num
b
er of entrie
s
in the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
new: add
_
function_ass
i
gn_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Carpenter
Cl
e
an
up the conditional hook code
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-25
Dan Ca
r
penter
new ap
i
: add_cond
i
tional_hook(), set_cond_states(
)
;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Carpen
t
er
function_hooks: pass the
function name a
s
w
e
ll
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan Ca
r
penter
don't try return block
th
i
n
g
s in get_variable_from_expr_comp
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Da
n
Ca
r
penter
Add a
list of no
r
eturn type
func
t
ions
that nul
l
ify
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-24
Dan
C
a
rpente
r
Merge b
r
anch
'
devel'
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpen
t
e
r
r
e
com
p
ile the ch
e
ck_*
.
c fil
e
s if the s
m
atc
h
hea
d
ers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
a
n Carpen
t
er
check_
o
v
e
rflow: test
c
opy
_
t
o/fr
o
m_
u
ser as well
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
Car
p
e
n
te
r
ch
e
ck_
o
verfl
o
w:
don't mul
t
iply the size of
str
i
n
gs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpenter
assumed_nonnull crap
.
.
.
temp fix
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpe
n
ter
Add script
to
g
enerate the frees list
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan
C
arpen
t
e
r
rename re
g
ister_fre
e
s
_
argument
to check_
f
rees_
a
rg
u
ment
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
f
ix or
d
e
r of
p
r
oc
e
ssing of commas
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan C
a
rpe
n
ter
get rid
o
f
FU
N
CTION_CALL_A
F
TER_HO
O
K
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpente
r
change orde
r
o
f
con
d
ition
processing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
D
an C
a
rpenter
g
e
t r
i
d of A
S
SIGN
M
ENT_AFTER_H
O
OK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-23
Dan Carpenter
che
c
k_memory: read freeing functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
Dan C
a
rpe
n
t
e
r
check_memory: read freein
g
functions from file
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-22
D
an Carpenter
frees_argu
m
e
n
t
:
don't co
u
n
t
funct
i
ons that on
l
y free
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-21
Dan Car
p
enter
c
ore: improve
a
nding
c
ondit
i
on handling
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carpenter
c
h
eck_overflow: move to new
a
dd_function_hook()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Da
n
Ca
r
penter
check_
l
ocking: move to
t
h
e
new function hoo
k
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan Carp
e
n
t
er
check_
l
o
c
king: fix some
double unlock f
a
lse positive
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-19
Dan
C
a
rpente
r
core: add_function_hook(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
make so
m
e vars static
.
other random spa
r
se stuff
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Car
p
enter
core:
a
dd_unmatched_st
a
te_hoo
k
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan Carpenter
i
m
plied: re-add the debug output
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-03-18
Dan C
a
rpe
n
ter
change convention: register_temp
l
ate() -> c
h
eck_
t
e
m
plate()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next