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
Rename functions: __pop_foo() => __discard_foo()
2010-03-26
Dan Car
p
ente
r
Rename functi
o
ns: __p
o
p_f
o
o
(
) =>
__discard_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
pen
t
er
sm
a
tch_states:
r
enam
e
s
ome functi
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
release_reso
u
r
c
e: Doh
.
It's looking for the wr
o
ng
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
ar
p
enter
f
ix s
e
lect statement
h
andling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpente
r
core: cle
a
nup
.
d
e
lete fake cond
i
tion stack code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan
C
arpe
n
ter
core: make fake cur_sli
s
ts s
t
ac
k
ab
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Ca
r
penter
sli
s
t: ma
k
e set_sta
t
e_sta
c
k() return the n
e
w sm_state
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an Carpenter
*new* check_release_resource
.
c: check that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan
C
ar
p
e
n
ter
flow: spli
t
asm clobb
e
rs, inputs and output
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpenter
white_s
p
aceonly: allow
h
eader files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
er
*new
*
strip
_
whitespace
.
p
l: re
m
oves a
l
l the whi
t
es
p
ace
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* che
c
k_
r
esour
c
e_si
z
e(
)
:
p
rod people to
use r
e
source_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
C
arpent
e
r
e
xtra: as
s
ume impossible thi
n
g
s
a
re impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan
C
ar
p
e
n
ter
err_ptr: fix btrfs false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Car
p
e
n
ter
err_p
t
r
:
ha
n
dle when a
n
err_ptr i
s
reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* chec
k
_db_info
.
c
p
rints out stuff that will be
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
cle
a
nup: move
stuff
from
smatch_extra
.
c t
o
smatch_ma
t
h
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carp
e
nter
w
hitespace
c
h
anges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
r
penter
equiv:
fix crashing bug
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
ch
e
ck_overflow: malloc
(
) => __alloc_smatch_s
t
a
t
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Ca
r
penter
smatch
.
c
:
d
o
n't leak
those 10
b
ytes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
s
signed_expr: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpent
e
r
kerne
l
: f
r
ee_ar
e
a()
d
oesn't call kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpenter
*new* check_retu
r
n
.
c: complain i
f
you don't
check
the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: make get_implie
d
_value(
)
work
for pointers be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
mat
h
:
cleanup: cre
a
te separate _get
_
implied_val
u
e(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math
:
ha
n
d
le
modulus '
%
'
o
p
e
rat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
math:
h
andle EXPR_POSTOP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cleanup: m
a
ke
handling binop
s
a switch(
)
statement
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
math: cleanup create separate h
a
ndle_binop
(
) functio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
cleanup
.
u
s
e cast_to_type() i
n
ste
a
d of re-implimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carp
e
n
t
er
math:
c
leanup
.
separate
h
an
d
le_preo
p
() into it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
C
arpenter
equiv: fix crashing
b
u
g introduced
i
n 8c
3
58883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Creat
e
separate smatch_
m
a
th
.
c f
i
l
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
upda
t
e sm
a
tch_data
/
for 2
.
6
.
3
4
-r
c
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpenter
implied: clean up mak
e
a separate ha
n
dl
e
_
z
ero_compar
i
s
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
equi
v
: handl
e
co
m
parisons with zero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
a
rpente
r
e
q
uiv: cleanup separate set_ex
t
ra_t
r
ue_false(
)
into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
e
q
uiv, implie
d
: fix h
a
ndling bo
r
rowed imp
l
icat
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpen
t
er
implied: don't update
t
he equive
l
ent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
Carpenter
rm validat
i
on/
s
mat
c
h_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rp
e
nter
equiv:
d
on't overwrite the implica
t
ion
inf
o
rmation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
rpenter
rename __set_state() => __set_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
rename clo
n
e_state() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
e
quiv:
p
reserve ->equiv
across merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use
the equivalent
v
a
riable code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
emove tra
c
ke
r
s f
r
om ->equiv when
th
e
y
a
re no
l
ong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix c
r
a
shing bug caused by
last comm
i
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
s
t
o
r
e
info
r
mation
i
n the
new dinfo->
e
quiv thing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
introd
u
ce add_tracker_
e
xpr()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
make set_st
a
te() an
d
friends re
t
u
rn the new sm_stat
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
intr
o
d
uc
e
clone_t
r
acker
_
li
s
t()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv" f
i
eld to s
t
ruct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
move t
h
e alloc_dinfo(
)
functions to smatch_ext
r
a
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
Da
n
Carpenter
check
_
signed: warn a
b
out comp
a
ring
(
unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
update va
l
ida
t
ion
/
sm_casts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Ca
r
pente
r
*
n
e
w* smatc
h
_
s
c
rip
t
s
/show
_
err
s
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nte
r
*new*
s
match
_
s
c
rip
t
s
/
w
hitesp
a
se_only
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -
n
o-lineno
option to sparse
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n
Carpe
n
ter
valid
a
t
i
o
n
/sm_re
d
u
n
dant
_
c
h
eck
.
c
now it's "info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_precedence: print one wa
r
ning message
i
nst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpente
r
c
heck_s
i
gn
e
d:
ha
n
d
l
e u
n
signe
d
6
4
bit v
a
riables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
get_valu
e
() handle som
e
more math ope
r
a
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpe
n
ter
make redundant nul
l
ch
e
c
k
s
b
e
fore kfree()
a
n "info
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
check_
s
igned: Eli
m
inate some false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
precedence: check for
&
& vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpenter
i
m
p
licatio
n
s
:
improv
e
handlin
g
of c
o
m
p
arison
s
with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
use i
m
pli
c
ations
from
POSTOPs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
conditions
:
par
s
e EX
P
R_POSTOPs after e
v
aluati
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check
_
overflow:
remove fals
e
positives
c
aused
b
y
printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
enter
flow: improve handling
o
f whi
l
e(i
-
-)
{ loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
remov
e
s
t
r
ange loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
k
patc
h
.
s
h: ask a
b
out alloc(
)
failures
s
pecifica
l
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nter
ch
e
c
k_deref: handle
_
_GFP_NOFAIL (re
m
ove
false pos
i
tives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
Dan Ca
r
penter
ch
e
ck_deref: handle pointers use
d
as arrays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Ca
r
penter
s
m
atch_flow: clean
u
p
.
merge common
code in h
a
n
d
le_pre_
l
o
o
p()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve implied_condition
_
true() for pre and pos
t
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpent
e
r
w
hile c
o
untdo
w
n loops: handle lo
o
p
s
where
the sta
r
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpe
n
ter
handl
e
for loops where we don'
t
know the upp
e
r li
m
it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch_flow: handling pre loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Carpenter
extra
:
comparin
g
something to
z
ero
doesn't me
a
n
it
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
check_overflow:
relax
rules on if (p
t
r
< &array[max
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n Carpe
n
ter
extra: handle loops
l
ike while(i-
-
) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Ca
r
pente
r
clean
up: mer
g
e a coup
l
e function f
o
r handli
n
g for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan Carpenter
fix handling
o
f (2 <= x) comp
a
ris
o
n
s
whe
r
e the variabl
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
c
heck_si
g
ned:
d
isable mo
s
t of the
n
ew warni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
get_type() fix crash
o
n gett
i
ng pointer types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Ca
r
penter
get_value()
m
ore int to lo
n
g long mop
up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
g
et_ty
p
e() fix pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
Fi
x
get_
v
alue() fo
r
((u
n
signe
d
int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
C
a
rpenter
t
y
pe_max(
)
: han
d
le unsigned
long long
.
(so
r
t of
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get rid of
--ra
r
e opt
i
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
rename get_single_valu
e
_
fro
m
_range() =
>
get
_
s
ing
l
e_v
a
lue_fro
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
for
l
oops: add
a
spec
i
al
cas
e
f
or "
f
or(i =
0
; i
<
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Ca
r
p
enter
check_sign
e
d: check int
types as w
e
ll
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
smatch
.
c:
use
s
t
rncpy(
)
i
n
s
t
ead of strcpy()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpent
e
r
debug
:
rename __smatc
h
_
p
rint_valu
e
()
=
>
__smatch
_
value()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
check_si
g
ned: ex
p
r
->
o
p
i
s
typ
e
int
no
t
char
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
Introduce get_fuzzy_m
i
n()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
prece
d
ence: cut d
o
wn
a
few
f
al
s
e positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next