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
extra: use the fake assignments instead of the initializer
2010-03-30
Dan Carpenter
extra: use
t
he fa
k
e
assignments in
s
tead of the initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv: nev
e
r set SMATC
H
_EXTRA values directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
C
arp
e
nter
equiv
:
eliminate
bogus c
a
ll to set_s
t
a
te()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
e
r
introduce _
_
smat
c
h_d
e
b
ug
_
on() and __smatch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Car
p
enter
check_loc
k
ing: clean up l
i
st of
ke
r
nel lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
Carpenter
hand
l
e select assigns:
f
oo = a
?
b
:
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: fake cur_slist m
o
re
completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core
:
r
ewrite select statement ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
states: verify that
t
he stacks are empty at
t
he end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n Carpenter
Rename functions:
__
p
op_foo()
=
> __discard
_
foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
smatc
h
_states: r
e
n
a
me s
o
me functio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
re
l
ease_resource
:
Doh
.
It's
looking for
t
h
e wr
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix
s
elect stateme
n
t
h
a
n
dl
i
ng
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
o
re:
c
l
e
a
nup
.
delete fake c
o
ndit
i
on stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an
Ca
r
penter
core: make fake
c
ur_
s
lists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
s
l
i
st:
m
ake set_
s
tate_stack() return t
h
e
n
e
w
sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpenter
*new* ch
e
ck_rele
a
se_re
s
ource
.
c: check that
we
r
elease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split a
s
m clobbe
r
s, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpente
r
white_spaceonly:
a
l
l
ow heade
r
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*new
*
stri
p
_w
h
ites
p
a
ce
.
pl: removes all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n
C
arpenter
*new* check_resource_size():
prod pe
o
ple
to use resource_
s
ize()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
e
x
t
r
a: assume im
p
ossible t
h
ings are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
C
a
r
penter
err_ptr: f
i
x btrfs false positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
err_ptr: handle
w
h
en an err_pt
r
is reass
i
gn
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* check
_
db_info
.
c prints out stuff that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
cleanup
:
move s
t
uff
from sm
a
tch_
e
xtra
.
c to sm
a
tc
h
_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
wh
i
te
s
pa
c
e
changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix crashing bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpent
e
r
check_ov
e
rflow:
ma
l
loc() => __alloc_sm
a
tch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
smatch
.
c: don't leak those 10 byte
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Ca
r
p
e
n
ter
assig
n
ed_expr: fix m
e
mory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
k
ernel
:
free_area() doesn't
c
all kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpente
r
*new* che
c
k_return
.
c
: compl
a
in if you don't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
mat
h
:
m
ake get_im
p
lied_value(
)
work for pointe
r
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup: create se
p
arate _get_
i
mplied_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
math: handle modul
u
s '%' operation
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpent
e
r
math: cleanup: m
a
ke han
d
l
ing binops a swi
t
ch
(
) stateme
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carp
e
nter
mat
h
: cleanup
create
s
eparate handl
e
_binop(
)
f
unction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpent
e
r
m
ath: cleanu
p
.
u
s
e cast_to_t
y
pe() instead of re-imp
l
imen
t
in
g
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cle
a
n
up
.
sep
a
rate han
d
le_preop
(
) int
o
it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carp
e
nter
equiv: fix crashing bug
i
ntroduced in 8c
3
58
8
83a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create separ
a
t
e sma
t
ch_m
a
th
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
arpenter
update sma
t
ch_data/ f
o
r 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: clea
n
up
m
ake a separat
e
handle_zero
_
co
m
pari
s
on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpen
t
er
equiv: handle comparisons w
i
th zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
e
quiv: cleanup
separate set_extra_tr
u
e_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied:
f
ix handling bor
r
owed implications
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
implie
d
:
don't update
t
he
equive
l
e
n
t state
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
rm vali
d
ation/sma
t
ch_close
t
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpen
t
er
equiv: d
o
n't o
v
erwrite
t
he im
p
l
ica
t
ion info
r
mat
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
rename
_
_set_state() => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
r
p
enter
rename clon
e
_stat
e
(
)
=
> clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
e
q
uiv: pre
s
erve ->e
q
uiv across
m
erg
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
U
s
e
t
he
equivale
n
t vari
a
bl
e
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remov
e
t
rackers
from ->equiv wh
e
n the
y
are n
o
l
o
ng
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
Fix crashing bug caused by
l
ast com
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
store informa
t
ion in the new dinf
o
->equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduce
add_tracker_
e
xp
r
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
p
enter
m
ake set
_
state()
a
n
d friends return t
h
e new s
m
_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arp
e
nter
intr
o
duce cl
o
ne_tracke
r
_lis
t
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan C
a
rpenter
add "equiv"
field to struct da
t
a_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
pente
r
mov
e
the all
o
c
_
dinfo() functi
o
n
s to smatch_ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Carpent
e
r
c
h
eck_s
i
gne
d
: warn abou
t
comparing (unsigned
v
a
riable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpente
r
update validation/sm_cast
s
2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* s
m
at
c
h_sc
r
ipts/sh
o
w_err
s
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
*
n
ew
*
smatc
h
_sc
r
i
pts/whi
t
espase_
o
nly
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-lineno option t
o
s
p
arse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
v
a
l
i
d
at
i
on/sm_redunda
n
t
_check
.
c no
w
i
t'
s
"
inf
o
" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Ca
r
penter
check
_
p
r
e
ceden
c
e:
p
r
i
nt
one warning message i
n
st
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
check_signed: han
d
le unsigned 64 bit v
a
riable
s
better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpe
n
ter
get_value()
h
andle some more mat
h
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make redun
d
ant
n
u
ll checks
before kfree() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
C
a
rpenter
check_signed
:
Eliminate some false posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
pre
c
edence: c
h
e
c
k
for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan C
a
rpenter
i
m
plications: impr
o
v
e handl
i
ng
o
f comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
u
se impl
i
ca
t
ions from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Car
p
enter
c
o
nd
i
ti
o
ns
:
parse
EXPR_POSTOPs aft
e
r ev
a
luat
i
ng
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check_overf
l
ow:
remove f
a
lse posi
t
i
v
es
caused by
p
r
i
n
tk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan
Carpenter
flow:
i
mprove ha
n
dling of while(i-
-
)
{ loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpe
n
ter
remove strang
e
loop me
s
sage
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Ca
r
p
ente
r
kpat
c
h
.
s
h: as
k
about
alloc(
)
failure
s
specificall
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
check
_
deref: handle __GFP_NOFAIL (remove false pos
i
tives)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpent
e
r
check
_
deref:
h
a
ndle po
i
nt
e
rs us
e
d as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
s
m
atch_f
l
o
w:
c
lean up
.
merge
c
ommon code in ha
n
d
l
e
_
pre_loop()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpent
e
r
impr
o
ve implied_
c
onditi
o
n_true() for pre and post ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
rpen
t
er
whi
l
e countdown l
o
ops: handl
e
loo
p
s w
h
ere the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan
Carpenter
hand
l
e for loops where we
do
n
't k
n
ow the upper limit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
smatch
_
f
low: hand
l
i
n
g p
r
e
l
oops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Car
p
enter
extra: comparing
someth
i
ng to zero does
n
't m
e
an i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
ch
e
ck_
o
ve
r
flow: relax rul
e
s on if (p
t
r <
&array[max
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-02
Dan C
a
rpenter
e
xt
r
a:
hand
l
e loops like while(i--) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Da
n
Carpent
e
r
clea
n
up: mer
g
e a
c
ou
p
le function for handl
i
ng for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-27
Dan Ca
r
penter
f
i
x h
a
ndling o
f
(2
<= x)
c
omparisons where
t
h
e
variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpenter
check_signed:
d
i
s
able most o
f
th
e
n
ew warn
i
n
g
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-25
Dan C
a
rpenter
g
e
t_type() fix crash on getting pointer typ
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan C
a
rpe
n
ter
get_value() more int to
long long mop up
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpen
t
er
get_type
(
) fix point
e
r
han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Ca
r
pe
n
ter
Fix get_value()
for ((un
s
i
g
n
e
d int) -1)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpenter
t
y
pe_max
(
)
:
h
and
l
e unsigned long long
.
(sort of)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next