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
bail out earlier if functions get too difficult
2010-04-07
Dan Carp
e
nt
e
r
bail o
u
t
earlie
r
if
f
uncti
o
ns
g
et too
difficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
a
n Carpenter
includ
e
s
t
at
i
c functions in
lis
t
o
f fun
c
tions w
h
ich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan Carpenter
*new* freeing_null
:
c
a
lling
free for a varia
b
le that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equiv: call remove
_
from_equiv() on as
s
ignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
math
:
p
r
even
t
d
i
vide b
y
z
ero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpen
t
er
check_lock: ad
d
more locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an Car
p
enter
new: ch
e
c
k
_proc_c
r
eate() check
f
or world w
r
ita
b
l
e
p
roc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an C
a
rpent
e
r
math:
teach
smat
c
h
to understand const values
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
a
n
C
a
rpenter
check_overflow:
fix theoretical
m
e
mory
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
core: fix proble
m
in handlin
g
select stat
e
ment / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carp
e
nter
cleanup: rename sm_st
a
tes to "sm" i
n
s
tead o
f
"
s
tate
"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
get_v
a
riabl
e
_
f
ro
m
_
ex
p
r(): if
i
t
in
v
olves a number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Carpenter
d
e
bug: print more useful informati
o
n abo
u
t
c
on
d
itions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
a
rpe
n
ter
locki
n
g:
h
andl
e
s
p
in_trylock_irq()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
l
o
c
k
in
g
: hand
l
e spin_lock_irqsave
_
nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
locking: handle raw_spin_unlock_irqr
e
store()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
enter
l
ocking: make "
s
ometimes locked"
m
es
s
ag
e
s depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
r
p
enter
Merg
e
b
r
a
n
ch '
d
ev
e
l' into devel_e
q
u
i
v
commit
|
commitdiff
|
tree
2010-03-31
Dan C
a
rpenter
equiv: if
a vari
a
ble is only
equivalent to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: u
s
e
the fake assign
m
ents inst
e
ad of
t
he
i
ni
t
ializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
equiv:
n
ever s
e
t SMATC
H
_
E
X
TRA values di
r
ectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan C
a
r
p
enter
equiv: elim
i
nate bogus
c
all to set_st
a
te
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n Carpenter
introduce __
s
match_debug
_
on() an
d
__sm
a
t
c
h_deb
u
g_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
locking: make
s
pinlock_irq
s
ave() w
o
rk for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpent
e
r
locking: white space fix
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carp
e
nter
lock
i
ng: a
d
d
more
s
tan
d
ard
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
check_loc
k
ing: clea
n
up l
i
st of kernel loc
k
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
t
er
handle select a
s
sign
s
: foo =
a
?
b
: c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
a
n
Carp
e
n
t
er
co
r
e: fake cur_
s
li
s
t mor
e
completel
y
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core:
rewrite select
s
tatement han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
states: verify that
th
e
stack
s
are
empty
a
t
the
e
nd
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Ca
r
penter
Rename f
u
nc
t
ions:
__pop
_
foo() => __disca
r
d_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
s
match_sta
t
es: r
e
name som
e
f
u
n
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
rel
e
a
s
e
_
re
s
ource: Doh
.
I
t
's l
o
o
k
ing
f
o
r t
h
e wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
f
i
x selec
t
s
tatement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
ore: clean
u
p
.
delete fake condit
i
on stack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n Car
p
enter
c
o
r
e: m
a
ke fa
k
e
c
ur_s
l
i
sts stack
a
ble
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
slis
t
:
m
ake set_state_stack() return the new
s
m_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
*
n
ew*
check_re
l
ease
_
reso
u
r
c
e
.
c
:
check
t
hat we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carpenter
flow: split asm clobb
e
rs, inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan Carpente
r
whit
e
_s
p
a
c
eonly: allow hea
d
er files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
D
a
n Carpenter
*new*
s
trip_whites
p
ace
.
pl
:
removes al
l
th
e
whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpenter
*new
*
check_re
s
ource_size(): pr
o
d
p
eople to use r
e
so
u
rce_
s
ize()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra:
a
ssume imposs
i
ble things are impossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpen
t
e
r
err_ptr: fix btrfs
fals
e
positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
a
n Carpent
e
r
e
r
r_pt
r
: h
a
ndle whe
n
an err_
p
tr is
r
eassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
p
en
t
er
*n
e
w*
che
c
k_db_info
.
c prints out
s
tuff that
w
ill be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
C
ar
p
enter
c
lea
n
up:
move
stu
f
f from
smat
c
h_extra
.
c to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpe
n
ter
whi
t
esp
a
c
e changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Ca
r
penter
eq
u
iv: fix cr
a
shin
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Carpenter
check_overflow: malloc
(
) =
>
__
a
lloc_smatch_state(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an
C
arpe
n
t
e
r
smatch
.
c: don'
t
l
eak
t
hose
10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
ass
i
gned_ex
p
r:
f
ix memory
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
an
Carpe
n
ter
kernel:
free
_
area()
d
oe
s
n't call kf
r
ee()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_
r
e
turn
.
c: complain if you don't check
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Ca
r
penter
math: make ge
t
_implied_value() w
o
rk
for pointers better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
c
l
eanu
p
: create sepa
r
a
t
e _get_implied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle mod
u
lus '%
'
operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
arpenter
math: handle E
X
PR_P
O
STOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
m
a
t
h: cl
e
an
u
p
:
make handling binops a
s
witch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Car
p
enter
ma
t
h: c
l
e
anup create
s
eparate h
a
ndle_bino
p
() f
u
n
c
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n Carpen
t
er
math: cle
a
n
u
p
.
u
s
e cast_to_ty
p
e() i
n
s
t
ead of re-implimentin
g
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
a
r
penter
math:
c
leanup
.
separate hand
l
e_preop() i
n
to it
'
s own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
equiv:
fix cr
a
s
hing bug
i
ntrod
u
ced in 8c358883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpen
t
e
r
C
reate s
e
parate
smatch_math
.
c
f
ile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update smatch_data
/
for
2
.
6
.
34-r
c
1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
i
m
p
l
i
e
d: clean up make a separate handl
e
_
z
ero
_
c
o
mparison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
penter
equiv:
h
and
l
e comparis
o
ns with zero
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Car
p
e
nter
equ
i
v: cleanup s
e
pa
r
ate set_extra_t
r
u
e_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implied: fix h
a
n
d
li
n
g
borrowe
d
impl
i
cations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
impli
e
d: don't update the equivelent
s
tates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carp
e
nter
rm validation/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
equiv: don'
t
o
v
erwrite the implication informati
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
re
n
ame
_
_set_sta
t
e() => __se
t
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
re
n
ame clone_s
t
at
e
()
=
> clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
enter
equiv: pre
s
er
v
e ->equi
v
acr
o
ss
m
erges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Use
t
h
e
e
quivalent variable co
d
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
remove trackers fr
o
m ->equiv whe
n
the
y
are
n
o long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashin
g
bug caused by last
c
ommit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
s
t
o
r
e information in t
h
e new dinfo
-
>equiv thin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
int
r
oduce add_tr
a
cker
_
expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an
Carpente
r
make set_
s
t
ate() an
d
friends retur
n
th
e
new sm_st
a
te
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nt
e
r
intr
o
duce clone_trac
k
er_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
C
a
rpent
e
r
a
dd "e
q
uiv"
field to struct data_in
f
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
move the
a
lloc_dinfo() fun
c
tions to smatch_ex
t
ra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
an Carpenter
check_sig
n
ed: warn a
b
out comparing (u
n
signed v
a
riable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
u
pdate validation/s
m
_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
*new*
smatch_sc
r
i
pts/show_e
r
rs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
n
e
w* smatch_
s
cripts/whi
t
e
spase_only
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
add -no-
l
ineno op
t
ion to s
p
arse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
valid
a
tion/sm_redundant_chec
k
.
c now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
chec
k
_prece
d
ence: print one warning message
instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
check_signed: handle unsigned
64 bit
v
a
riables better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan C
a
rpenter
get_val
u
e() handle
some m
o
re math oper
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpent
e
r
make
r
edundan
t
n
ul
l
checks before kfree
(
) an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Da
n
Carp
e
nter
check_signed: Eliminate
some fals
e
pos
i
tives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
p
r
e
cedence:
check for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
implic
a
tions: improve handling of comparisons with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carp
e
nter
use implic
a
tions from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Car
p
enter
con
d
itions: pa
r
se EX
P
R_PO
S
TOPs
a
fter eva
l
uatin
g
the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next