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
fake assignments in
s
t
e
a
d of the initialize
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpenter
equiv: ne
v
e
r set SMATC
H
_EXTRA
v
a
l
ues d
i
rectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
penter
e
quiv
:
eli
m
inate bogus cal
l
to set_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-30
D
an Carpe
n
ter
in
t
roduce __smatch_debug_o
n
() and __sm
a
tc
h
_debug_off()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpente
r
c
he
c
k_locking: cl
e
an up lis
t
of kern
e
l locks
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
handle
s
ele
c
t assign
s
: foo
=
a ? b :
c
;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
core
:
fake cur_
s
l
ist m
o
re completely
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
cor
e
: rew
r
ite select
s
tatement han
d
li
n
g
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Car
p
e
n
ter
states: ve
r
i
f
y that the stacks are empty at
the end
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpente
r
R
e
name
functions
:
__pop_foo() => __di
s
c
a
rd_foo()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpen
t
er
smatch_st
a
tes: re
n
ame s
o
me functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
a
rpente
r
rel
e
a
s
e_resou
r
ce: Doh
.
I
t
's looking for the wron
g
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Carpen
t
er
fix select statemen
t
h
a
ndl
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
a
rpent
e
r
cor
e
: clea
n
up
.
delete fake c
o
n
dition s
t
ack cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
D
an C
a
rpenter
core: mak
e
fake cur_slists stackable
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
s
list: make set_state_stack()
r
e
turn the new sm_sta
t
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpente
r
*ne
w
* check_release_reso
u
rce
.
c: check that we release
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-24
Dan C
a
r
p
ente
r
f
low: split asm clo
b
be
r
s, inputs and
o
utputs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-23
Dan
Car
p
enter
white_spaceonl
y
: allow header
f
iles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carpent
e
r
*new* str
i
p_whitespace
.
pl: remo
v
es all t
h
e
white
s
pac
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-22
Dan Car
p
enter
*new* check_reso
u
rce_size(): prod
people to
use
r
esource_size()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-21
Dan
Carpenter
extra: assume impossibl
e
things are impossible
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
pen
t
e
r
er
r
_ptr: fi
x
btrfs
fa
l
se
po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpente
r
err_p
t
r: ha
n
dle when an err_p
t
r is reassigned
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rpenter
*n
e
w* c
h
eck_d
b
_i
n
fo
.
c pr
i
nts
o
ut stuf
f
that
w
ill
b
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
cleanu
p
: m
o
ve stuff
f
r
om smatch_e
x
t
ra
.
c t
o
smatch_math
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Ca
r
penter
whitespac
e
c
h
anges
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
Dan
C
a
rpente
r
chec
k
_overflow: ma
l
loc()
=
> __alloc_smatch
_
s
tate()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan C
a
rp
e
nter
smatc
h
.
c
: don't leak those 10
b
y
tes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-19
Dan Car
p
enter
assigned_expr: fix memory leak
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
kern
e
l: free
_
a
r
ea() doesn't call
kfree()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carp
e
nter
*new* check
_
return
.
c: co
m
plain
if you
don't
c
heck th
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan
C
arp
e
nter
math:
m
ak
e
get_implie
d
_value(
)
wor
k
f
or p
o
i
nters better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cl
e
anup: create separate
_get_impl
i
ed_v
a
l
ue(
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpent
e
r
mat
h
: hand
l
e modulus
'%' oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math
:
han
d
le EXPR_POS
T
OP
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rp
e
nter
math: cleanup: ma
k
e
h
and
l
i
n
g binops a switch() s
t
ateme
n
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup create
sep
a
r
a
te handle_binop() funct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: cleanup
.
u
s
e cast_to_typ
e
() i
n
ste
a
d of re-i
m
plimenting it
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
penter
m
a
th:
cleanup
.
sep
a
rate
h
andle_pre
o
p() i
n
to it's own
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
e
q
u
i
v: fix cr
a
shing bug introd
u
ced
i
n
8
c358883a
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
Create sepa
r
ate
sm
a
tch_mat
h
.
c file
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpenter
update smatc
h
_dat
a
/ for 2
.
6
.
34-rc
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carp
e
nter
implied:
c
le
a
n up make a separate handl
e
_ze
r
o_comparison
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv: handle compar
i
s
o
ns with
z
ero
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
e
q
u
iv
:
cleanu
p
s
e
pa
r
ate
s
e
t_extra_true_false() into
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
eq
u
iv, impli
e
d: fix handling borrowed
im
p
l
i
ca
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
Dan C
a
rpe
n
ter
impl
i
ed:
d
on
'
t
u
pdate th
e
equ
i
vele
n
t stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
r
m
va
l
i
d
a
tion/smatch_closet/
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-14
D
an
C
arpenter
equiv: don't ov
e
rwrite the
i
m
p
lication
i
n
formation
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Da
n
Carpenter
ren
a
me __set_stat
e
(
)
=> __set_
s
m()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
ren
a
me clone_state() => clone_sm()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
equiv: pr
e
serve ->e
q
u
iv across
merges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
Use
t
h
e
equi
v
alent vari
a
ble code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
remov
e
trackers from -
>
equiv
w
hen they
a
r
e no
l
ong
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpent
e
r
Fix crashing bu
g
caused by last
c
ommit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Ca
r
penter
store info
r
mation
i
n the ne
w
dinfo-
>
equi
v
t
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
introduce ad
d
_tracker_exp
r
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Ca
r
penter
make se
t
_state() and friends re
t
urn the ne
w
sm_st
a
te
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
introduc
e
clone_tr
a
ck
e
r_list
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpent
e
r
add "equiv" field to st
r
uct data_info
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
ent
e
r
m
o
ve
the a
l
loc_d
i
nfo() fu
n
c
tion
s
to sm
a
tch_extra
.
c
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-11
D
a
n C
a
rp
e
n
ter
c
heck_si
g
ned:
warn abo
u
t com
p
ari
n
g (unsigned variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpen
t
er
update
v
alidation/sm_c
a
sts2
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
*new* smatch_scripts/sh
o
w
_
errs
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new* smatch
_
scri
p
ts/whitespase_onl
y
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
C
arpen
t
e
r
add -no
-
l
i
n
en
o
opt
i
on to spars
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
val
i
dation/sm_redun
d
ant_check
.
c now it's
"
info" not
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_precedence: p
r
int
o
ne war
n
in
g
messa
g
e instead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
check_
s
igned:
h
andle u
n
si
g
ned 64 bit variables better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-09
Dan C
a
rpenter
g
e
t_
v
alue() handle so
m
e more math oper
a
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
ar
p
en
t
er
make redundant nu
l
l c
h
ecks
b
efo
r
e kfree() an "in
f
o
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpenter
check_signed: Elimina
t
e some false posi
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carp
e
nter
precedence:
check for && vs &
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpent
e
r
impl
i
cati
o
ns
:
i
mprove h
a
ndling of compa
r
i
s
ons with
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpente
r
use
implication
s
from
POSTOP
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Ca
r
pen
t
er
conditions
:
pars
e
EXP
R
_POSTOPs afte
r
ev
a
luating the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
ch
e
c
k_overflow: re
m
o
v
e false positives caused
b
y printk
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
flow: improve hand
l
ing of while(
i
-
-) {
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n C
a
rpe
n
ter
remove
strange loop message
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
Dan
C
arpe
n
ter
kpatch
.
sh: as
k
abou
t
alloc()
failures specifically
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n
Car
p
enter
check_der
e
f: han
d
le __GFP_
N
OFAIL (remo
v
e
fa
l
se positives)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-06
D
a
n Car
p
enter
check
_
deref: handle poi
n
ters used as a
r
r
ays
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Car
p
enter
s
m
atc
h
_flow:
c
lean
up
.
merge common code in handle_pre_loop()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carp
e
nter
i
m
prov
e
implied_condi
t
i
on_true() fo
r
pre and
p
ost ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpente
r
while cou
n
tdown l
o
ops: handle loops where the start
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
ha
n
d
le for loops wh
e
re we do
n
't k
n
ow the upper limit
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n
Ca
r
p
ente
r
s
match_flow: handling
p
re loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpent
e
r
extr
a
: comparing s
o
mething to zero
d
o
esn't mean i
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
Dan Carpenter
check_overflow: relax rules on if (ptr
<
&array[m
a
x
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-03-02
D
a
n
Carpenter
e
xtra: ha
n
dle loops like while(i--) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
D
an Ca
r
pen
t
er
clean up: merge a co
u
ple fun
c
tion for handling for
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-27
Dan
C
ar
p
enter
fi
x
hand
l
i
n
g of
(
2 <= x) comparisons
w
here the variable
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan
C
arpenter
check_signed: di
s
able most o
f
the new
w
a
rni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-25
Dan Carpe
n
ter
get_type() fix cr
a
sh on get
t
ing point
e
r types
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
Carpenter
get
_
value() more int to long
l
ong
m
op up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan
C
a
r
pent
e
r
g
et
_
type() fix pointer handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
D
a
n Carpen
t
er
Fix get_value()
for ((uns
i
gned int) -1)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-02-24
Dan Carpente
r
type_max(): handle un
s
i
g
ned lo
n
g l
o
ng
.
(sort of)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next