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
implied: allow the known part to be a range list
2010-05-13
Dan Carpente
r
impl
i
ed:
a
l
low t
h
e known p
a
r
t
to be
a
range list
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan
C
arpen
t
er
math:
fix get_a
b
solute
_
m
in/max(
)
for siz
e
of()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Ca
r
pen
t
e
r
extr
a
: make
d
o_com
p
a
ri
s
on()
h
andle two variables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
D
a
n Carpenter
ranges: i
n
troduce free_
r
an
g
e_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-13
Dan Carpenter
r
a
nges: introd
u
ce
p
ossibly_t
r
u
e
/
fals
e
_range_lists
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan Ca
r
penter
p
recedence
:
d
o
n't c
o
m
plain about if
f
oo is
0
-
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Dan
Carpenter
extra: cleanup: rename
d
o_co
m
parison_range() => do_com
p
ari
s
on()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-10
Da
n
Carpenter
known_con
d
ition_tru
e
/
f
al
s
e(): han
d
le expression statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-07
Dan Ca
r
penter
*
n
ew* chec
k
_kunmap(): conf
u
si
o
n between km
a
p
(
)
a
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-02
Dan Car
p
ente
r
*
n
ew* smatch_scrip
t
s/un
l
ocked_pa
t
hs
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-05-01
Da
n
C
a
rpenter
flow: c
l
eanup: mak
e
spl
i
t_
f
un
c
tion() it's
o
wn fun
c
tion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
t
e
r
der
e
f_check: use in_ma
c
ro(
)
to silence most
o
f th
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-29
Dan Carpe
n
t
e
r
m
a
th: introdu
c
e
g
e
t
_
a
bsolute_m
i
n/max()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carp
e
nter
m
a
th: cleanup: re
n
a
m
e get_impl
i
e
d
_single_fuzzy_
m
ax
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
D
an Carpent
e
r
math: cle
a
nup: shu
f
fl
e
some func
t
ions around
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpente
r
m
a
t
h
:
cl
e
anup:
get rid of the
*
discard
thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan
Carp
e
nter
math: cleanup: get rid
of IMPLI
E
D_SING
L
E
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpenter
delete
check_null_
d
eref
.
c and clean
up val
i
d
ation/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-28
Dan Carpen
t
er
fl
o
w: the next stateme
n
t
should never be the current
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new*
c
heck_ch
e
ck_dere
f
.
c: checking for null inconsistently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
*new* check_no_ef
f
ect
:
p
r
int wa
r
ning
s
s
tateme
n
t
s
that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
Dan Carpenter
setu
p
de
f
ault modifi
c
ation hooks
i
n set_
t
rue_fal
s
e_states()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-27
D
a
n Carp
e
nte
r
in
t
r
oduce in_macro(
)
which r
e
turns tru
e
if we're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan Car
p
enter
introduce:
in_expr
e
ss
i
on_statem
e
nt() and rena
m
e get_block_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
Da
n
Carpenter
churn:
rename __spl
i
t_st
a
t
ements() =>
_
_
spl
i
t
_s
t
mt(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
extra: handle i++ and i += 2 better
out
s
ide lo
o
ps
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
an
C
a
r
pen
t
er
filt
e
r_kerne
l
_deref
_
check
.
sh: print the
f
unction names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpenter
Add STRING_HOO
K
fo
r
exam
i
ning strings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
D
a
n
Ca
r
p
e
nter
*n
e
w* check_kernel
.
c: handle tomoyo_m
e
mory
_
ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
e
n
te
r
core: fix handling of switch state
m
ents with unre
a
chable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
bail out e
a
rlier if functio
n
s
get too dif
f
i
cult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpe
n
t
e
r
inclu
d
e st
a
tic functions in lis
t
o
f functions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Car
p
e
nter
*ne
w
* freeing_null:
c
alli
n
g free
for a
v
ariable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan C
a
r
pen
t
er
equ
i
v: call remo
v
e_from_equiv() on assignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpente
r
m
ath
:
prevent
d
ivide by zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Car
p
enter
check_lock:
a
dd more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
Dan Carpen
t
e
r
new:
c
heck_proc
_
create(
)
check for world writable
p
roc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an Carpenter
m
ath
:
t
e
ach smat
c
h to understand const va
l
ues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overflow: fix theo
r
etica
l
memory leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
c
o
re: fix problem in
h
an
d
l
i
n
g select
statem
e
nt / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cl
e
a
n
up
:
rename sm_st
a
tes to "sm" instead o
f
"state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Car
p
ent
e
r
get_variable_fro
m
_
e
xpr(): i
f
it
i
nvolves a nu
m
ber it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpent
e
r
debug: print more usef
u
l in
f
or
m
a
t
i
on a
b
ou
t
c
o
n
d
i
ti
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: hand
l
e
spin_
t
ryl
o
ck
_
irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an C
a
rpenter
l
ocking: ha
n
dle
s
pin_lock_ir
q
save_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locking: handle raw_s
p
i
n_unlo
c
k_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
ocking:
make "sometimes loc
k
e
d" messages d
e
pend
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
Merge bran
c
h 'devel' into devel_e
q
uiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
equiv: if
a varia
b
le is only equivale
n
t to its
e
lf set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use th
e
fake a
s
si
g
n
men
t
s inst
e
ad
of t
h
e initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpent
e
r
equiv: nev
e
r se
t
SMATCH_EXTRA values direc
t
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
e
q
uiv: e
l
i
minate bogus call t
o
s
et_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
in
t
r
o
duce __smatch_
d
ebug_o
n
() and _
_
smatch_
d
ebug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: ma
k
e sp
i
nl
o
ck
_
i
rqsave
(
) wo
r
k for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an
C
a
rpenter
locki
n
g: wh
i
te
s
p
a
c
e
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
l
o
cking: add more
s
t
a
n
dard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan
Carpenter
check_locking: clean up list of kernel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan
C
arpente
r
handle select as
s
igns: foo = a ? b
:
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Da
n
Ca
r
penter
core: fake c
u
r_s
l
i
s
t more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Ca
r
penter
core: rewrite se
l
e
c
t
st
a
tement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
s
t
a
t
es: v
e
rify that the
stacks a
r
e empty
a
t the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carp
e
nter
Rename functions: __pop_foo()
=
>
__discard
_
fo
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nter
sma
t
ch_stat
e
s: rename s
o
me functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
releas
e
_resour
c
e: Doh
.
It's loo
k
ing for the
w
r
ong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Carpenter
fix select statemen
t
h
a
ndling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
an
C
arpenter
core: cleanup
.
delete fake
condition stac
k
cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
cor
e
: make fake cur
_
slists stackab
l
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
t
er
slist: make set_state
_
s
tack() return
the new sm_
s
t
ate
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Car
p
ent
e
r
*new*
c
h
e
c
k_r
e
lea
s
e
_resource
.
c
:
check that we r
e
le
a
se
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
f
l
ow: split asm clobbers,
i
nputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan
Carpenter
whit
e
_s
p
ace
o
nly
:
allow
header
files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*ne
w
* stri
p
_whites
p
a
ce
.
pl: re
m
ov
e
s al
l
t
h
e
w
h
i
tesp
a
ce
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* check_res
o
urce_size(): prod
pe
o
ple t
o
use resour
c
e_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n Carpenter
ex
t
ra
:
a
ssume im
p
ossib
l
e things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Carpenter
err_ptr: fix bt
r
fs fals
e
posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan
Ca
r
penter
e
rr_ptr:
h
a
n
dle when
an
err_ptr
is
r
eassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
*new*
c
heck_db_
i
nfo
.
c prints
o
ut stuff
t
ha
t
will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
arpenter
cleanup:
m
ov
e
stuff
from smatch_ext
r
a
.
c to smatch
_
math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
w
h
itespace
cha
n
ges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
equiv: fix crashing bu
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpenter
check_overflow: malloc() => __a
l
l
oc_smatch_stat
e
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
smatch
.
c
:
d
o
n't le
a
k thos
e
10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
assigned_expr:
fix memory le
a
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
C
a
r
penter
kernel:
f
r
e
e_ar
e
a()
does
n
't
c
all kf
r
ee()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Da
n
Carpenter
*new* che
c
k_re
t
urn
.
c:
c
o
m
p
lain if you don't chec
k
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpent
e
r
math: make g
e
t_imp
l
ied_value
(
)
wo
r
k for pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
ent
e
r
m
ath:
c
le
a
n
up: create sepa
r
ate
_get_implied
_
va
l
ue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
hand
l
e modulus '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carp
e
n
t
e
r
math: handle EX
P
R_POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
m
ath: cle
a
nup: make h
a
ndl
i
ng b
i
nops a swit
c
h()
s
t
atement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpent
e
r
math: cle
a
nup cr
e
ate separate handle_binop() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: clean
u
p
.
use
c
ast_to
_
type() inst
e
a
d of
r
e-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Ca
r
penter
math: cleanup
.
sep
a
rate han
d
l
e
_preop()
into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an C
a
rpenter
equiv: fix crashing bug
in
t
roduced
in
8c
3
5
8
8
83a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpe
n
ter
Create
s
eparate s
m
atch
_
ma
t
h
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpente
r
update smatch_data/ for 2
.
6
.
34-
r
c1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
implied: cle
a
n up make a
s
eparate ha
n
dl
e
_zero_comparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
enter
equiv
:
han
d
l
e compari
s
ons with ze
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
C
arpenter
equiv: cl
e
an
u
p s
e
par
a
te s
e
t_extra_t
r
ue
_
fa
l
se() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an C
a
rpenter
equiv, i
m
p
lied:
f
i
x handling b
o
rr
o
wed im
p
licat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next