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
handle select assigns: foo = a ? b : c;
2010-03-27
Dan Carpenter
ha
n
dle se
l
ect
assign
s
: foo = a ? b :
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
ar
p
en
t
e
r
core: fake cur_slist more c
o
mpletely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: rewrite select statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
t
e
r
sta
t
es: verify that
t
he
stac
k
s are empt
y
at
t
he end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
Rename functions: __pop_foo(
)
=> __
d
is
c
ard_
f
oo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
smatch_states:
r
enam
e
s
om
e
fun
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpen
t
er
release_resource: Doh
.
It's looking
f
or the w
r
ong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carp
e
nte
r
fix s
e
lect sta
t
eme
n
t handl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan C
a
rpenter
core:
cleanup
.
d
elet
e
fake condit
i
on stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
penter
core
:
make fa
k
e
cur_
s
lists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpen
t
er
slis
t
: make s
e
t_s
t
ate_s
t
ac
k
() ret
u
r
n the new sm_
s
tate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Carpenter
*new* ch
e
ck_release_resource
.
c: check th
a
t
w
e releas
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
D
a
n
C
arpenter
flow: s
p
lit a
s
m
clobbers, inputs and
o
ut
p
uts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Car
p
enter
white_spaceonly: al
l
ow
h
eader
f
iles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpe
n
ter
*new
*
str
i
p
_
whitespace
.
pl:
r
emo
v
es al
l
the
whi
t
e
space
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpen
t
er
*new* che
c
k
_
resource_size()
:
prod people to use resource_s
i
ze()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume impos
s
ible
t
h
ings are
impos
s
ible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpen
t
er
e
rr_ptr: fix btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr:
h
an
d
le when
an
err_ptr is reass
i
g
n
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* c
h
eck_db_info
.
c pr
i
nts out st
u
ff that wil
l
be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
cleanup
:
m
ove stu
f
f fr
o
m
smatch_extra
.
c t
o
sma
t
ch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
equiv: fi
x
crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
ch
e
ck_overflow: malloc() =>
_
_alloc_smatch_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
s
match
.
c: don't leak tho
s
e 10 b
y
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
a
s
signed_expr: fix
m
emory l
e
ak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpenter
k
e
rne
l
: free_ar
e
a() doesn't call kfre
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Ca
r
penter
*new* c
h
eck
_
return
.
c: compl
a
in i
f
you
d
o
n
'
t check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpe
n
ter
m
a
t
h: m
a
ke g
e
t_implied
_
v
alue(
)
wo
r
k for pointers
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: create se
p
arate _get_impl
i
ed
_
value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: handle
m
odulus '%
'
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpe
n
ter
math:
handle
EX
P
R_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: cleanup: make ha
n
dlin
g
bin
o
ps a sw
i
t
c
h() statemen
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
ma
t
h
: c
l
ean
u
p create separate ha
n
dle_binop() fun
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
use cast_to_type
(
) i
n
stead
of
re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup
.
separate
h
andle_preo
p
() into
i
t's
own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv:
f
i
x crashing bug introduce
d
in 8
c
358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pente
r
C
r
eate separ
a
te sm
a
tch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Ca
r
pen
t
er
update smatch_
d
ata/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nt
e
r
implied:
clean up m
a
ke
a
separate ha
n
dle_ze
r
o_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
uiv: handle comparisons
w
ith zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
equiv: cl
e
anup separate
s
e
t_ex
t
ra_true_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpe
n
ter
equiv, implied: f
i
x handl
i
n
g borrowed implication
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
Carpent
e
r
implied: don't update
the equivelent sta
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm validation/
s
match
_
closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpente
r
equiv: don't ov
e
rwrit
e
the imp
l
icat
i
on informat
i
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
ename __set
_
state() =>
_
_
set_sm
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
r
ename clone_state() => clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
C
a
rpent
e
r
equiv: preserve ->equ
i
v acros
s
merge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpenter
Use the equival
e
nt variabl
e
c
o
de
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
remove tracker
s
from ->
e
quiv when
t
h
ey are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix
cr
a
shing
b
ug cau
s
ed by las
t
commi
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
store information in the new dinfo-
>
equiv
t
hing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpente
r
introduce add_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
ar
p
e
n
t
e
r
m
a
ke set_state() and friends return the new sm_
s
tate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpent
e
r
introduce
c
l
one_t
r
acke
r
_
l
i
st()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpe
n
ter
a
d
d "equiv" field to str
u
ct
d
ata_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rp
e
nter
move the alloc_dinfo()
functio
n
s to sm
a
tch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpenter
check_
s
i
g
ned:
warn about comparing (unsigned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
upda
t
e vali
d
a
t
i
o
n/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*
new
*
smatc
h
_s
c
ripts/show_errs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
*new* smatch_scripts/
w
h
i
t
e
spa
s
e_onl
y
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
add -no-
l
ineno opti
o
n to
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
validat
i
on/sm_redundant_
c
heck
.
c now it
'
s
"
info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpent
e
r
check
_
precedence: pri
n
t
one warning messag
e
ins
t
ea
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan C
a
rpenter
c
heck_
s
igned: handle
unsigned
6
4
b
it variables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpente
r
get_val
u
e() h
a
ndle
some mor
e
m
a
th opera
t
io
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
m
a
ke re
d
undant null chec
k
s before kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpente
r
che
c
k_signed
:
Eliminate some f
a
l
s
e
p
ositives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
Carpenter
pr
e
cedence
:
ch
e
ck
for
&
& vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
implicati
o
ns: impr
o
ve handling of
c
ompari
s
ons wi
t
h
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
use implicat
i
on
s
from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
cond
i
tio
n
s:
parse EXP
R
_POSTOPs after
e
val
u
ating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
rpen
t
e
r
check_overflow: remo
v
e false
p
o
s
itives caused
by pri
n
tk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
r
pe
n
ter
f
l
ow:
i
mprove hand
l
ing o
f
while(i--
)
{ loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
remo
v
e stran
g
e loo
p
mes
s
a
ge
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
penter
k
p
atch
.
sh: as
k
abo
u
t alloc() failures spe
c
ificall
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_dere
f
: handle __GFP_NOFAIL (remove false positive
s
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan C
a
rpent
e
r
check
_
d
eref: handle pointers used as
a
rr
a
ys
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
sma
t
ch_flow: clean up
.
merge c
o
mm
o
n cod
e
in handl
e
_pre_l
o
o
p
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
improve
i
mplied_condition_true() fo
r
p
r
e and post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
w
h
ile
countdow
n
loops: handl
e
loops where the
s
tart
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpe
n
t
e
r
handle for loop
s
where we don't
know the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
smat
c
h_flow:
h
a
n
dling
p
re loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carp
e
nter
e
x
tra: c
o
mp
a
rin
g
s
om
e
thing to zero
d
oesn't me
a
n it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
c
heck_overflow: relax rules on
i
f (ptr < &a
r
r
ay[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan
Carpenter
e
x
tra: handle loops l
i
k
e while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan
Carpenter
cl
e
an up
:
me
r
ge a couple fu
n
ction for ha
n
dlin
g
for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
D
a
n
Carpente
r
fix
h
a
ndling of (2 <= x) compari
s
ons w
h
ere th
e
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpe
n
ter
c
he
c
k_signed: disa
b
le most of the new w
a
rnings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
D
a
n
Carpenter
get_type() fix cras
h
on
g
etting
pointer t
y
pes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpe
n
ter
get_va
l
u
e() more int to long l
o
ng
m
o
p
u
p
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
get_type()
fix poin
t
er ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
p
e
nter
Fix get_value()
fo
r
((unsigned int) -
1
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
type_max(): handle unsigned
l
ong long
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpenter
get rid of --rare o
p
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n
C
arp
e
nter
renam
e
get_sing
l
e
_
va
l
u
e
_from_rang
e
() =>
g
et_single_valu
e
_fro
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Da
n
Carpenter
for l
o
ops: add a spe
c
ial case
for "for(i = 0; i
<
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
penter
check_signed: check int
t
ypes as well
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-23
Dan Carpenter
s
ma
t
c
h
.
c: use
s
trncpy()
i
n
stead
o
f strcpy()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next