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
cleanup: rename sm_states to "sm" instead of "state".
2010-04-01
D
a
n
Ca
r
penter
cleanup: rename sm_states to "sm"
instead of "state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
D
an
Carpe
n
t
er
get_variable_fro
m
_expr(): if i
t
involves
a
number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
rpen
t
e
r
debug: print
m
or
e
useful information a
b
o
u
t
c
onditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n
C
arpen
t
e
r
lock
i
ng: handle spin_trylock_ir
q
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an
C
a
r
p
en
t
er
locking: handl
e
spin_
l
ock_
i
rqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Da
n
C
arpen
t
e
r
locking:
handle raw_spin_unlock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Car
p
e
n
t
e
r
locking: make "so
m
e
ti
m
es
locked" mes
s
ages
d
e
p
end o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
C
a
rpent
e
r
Merge branc
h
'devel' into devel_equiv
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
equiv: if a variable is
o
nly equivalent to it
s
elf se
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extra: use t
h
e
f
a
ke assignments ins
t
ead of the initia
l
iz
e
r
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Ca
r
pent
e
r
equ
i
v:
never set SMATCH
_
EXTRA val
u
es dire
c
tly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan
C
arpenter
equiv
:
el
i
minate bogus call t
o
set_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Ca
r
p
e
n
t
e
r
intr
o
duce __smatch_d
e
bug_on
(
)
a
n
d
__smat
c
h
_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carp
e
nte
r
l
o
cking: make sp
i
nlock_irqsave()
work f
o
r my conf
i
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Da
n
Carpente
r
locking:
w
hite
spa
c
e
fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
l
ocking: add more st
a
nd
a
rd locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
chec
k
_loc
k
ing: clean up
l
i
st of k
e
rne
l
l
ocks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
D
an Carpenter
handle s
e
lect
a
ssigns:
f
o
o =
a
? b : c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpent
e
r
c
o
re: f
a
ke cur
_
sl
i
st more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
co
r
e: rewrit
e
select statement
h
a
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
C
arpenter
states: v
e
rify that the stac
k
s are
em
p
t
y
at
t
he end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpe
n
ter
Rename functions: __pop_foo() => __discard_fo
o
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
an Ca
r
penter
smatch_states: rename som
e
functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carp
e
nte
r
release_re
s
ourc
e
: Doh
.
It's lookin
g
f
or the wrong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
fix s
e
le
c
t
s
tatement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan
Carpe
n
ter
core: cleanup
.
delete
f
ake c
o
ndition
st
a
ck code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core:
m
a
ke fake cur_
s
li
s
ts s
t
ackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
ter
slist: ma
k
e s
e
t_state_stack(
)
return the new
sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Ca
r
pen
t
er
*new* c
h
eck_release_resou
r
ce
.
c
: check that we release
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Da
n
Ca
r
penter
flow:
s
plit a
s
m
clo
b
b
ers,
inputs and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Dan
Ca
r
pen
t
er
white_spaceo
n
ly: al
l
ow header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan C
a
rpent
e
r
*new* str
i
p_whit
e
space
.
pl: removes all the whitespace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
C
arpenter
*new
*
check_res
o
u
rce_size():
prod p
e
ople to
u
se resource_size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
D
a
n Carpenter
extra: ass
u
me
i
mpossi
b
le
t
hin
g
s are
i
mpossible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
r
penter
e
rr_ptr: fi
x
btrfs
false pos
i
t
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Ca
r
penter
er
r
_
pt
r
:
handle
w
hen an err_pt
r
is rea
s
sign
e
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
*new* c
h
eck_
d
b_info
.
c prints out stu
f
f th
a
t will
be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Da
n
Car
p
en
t
er
cleanup: move stuff from smatch_ex
t
ra
.
c
to smatch_math
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
w
hitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
equiv: fi
x
cras
h
in
g
bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check_overflow: ma
l
l
oc
(
) =>
__
a
lloc_smatch_
s
t
a
t
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpe
n
ter
smat
c
h
.
c
: don't
le
a
k those 10
b
yt
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
assigned
_
e
x
p
r
: fix m
e
mor
y
leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan C
a
rpenter
ker
n
el:
f
ree_area() doesn't call kfree(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan
Carpenter
*new*
c
heck_return
.
c
:
complain if you do
n
'
t ch
e
ck the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math:
m
ake get
_
implied_value() work
f
or pointe
r
s bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Ca
r
penter
mat
h
: cleanup: creat
e
s
e
p
a
rate _ge
t
_implied
_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: handl
e
modul
u
s '%' operations
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: handle EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
Carpenter
math:
c
l
eanup: make handli
n
g binops
a
s
witch() statement
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math:
c
leanup create
s
e
parate handl
e
_binop() funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
math: cleanup
.
u
se cast_
t
o_typ
e
(
) in
s
t
e
ad of re-implim
e
nting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
ath: cleanup
.
separate h
a
ndle_preop() into it's own
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
e
q
uiv
:
fix crashing
b
ug intr
o
duced in 8c358883
a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpenter
Create separate
s
match_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
update sm
a
tch_data/ for
2
.
6
.
3
4
-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
implied: clean up ma
k
e a
s
eparate handle
_
ze
r
o_com
p
arison
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
rpe
n
ter
equiv
:
ha
n
dle co
m
parisons with
z
e
ro
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
C
a
rpenter
equiv: cleanup separat
e
set_extra
_
t
r
u
e
_false
(
) into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Da
n
Carpent
e
r
equiv,
i
mplied: fix ha
n
dling b
o
rrowed i
m
pl
i
c
atio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
implied: don't
u
p
d
ate the equivelent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n
Carp
e
nter
rm validat
i
on/smatch_closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
eq
u
iv:
don
'
t overwrit
e
th
e
implica
t
ion info
r
mation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
ren
a
me __
s
et_s
t
ate()
=> __set_
s
m()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Car
p
en
t
e
r
rename
c
l
one_state() =
>
cl
o
ne
_
sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
equiv: preserve ->equiv
across merge
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n Carpe
n
ter
U
s
e the equiv
a
lent v
a
riabl
e
cod
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
remove trac
k
ers from ->equiv w
h
en they are no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix crashin
g
bug caused by last commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
s
t
ore information in the ne
w
d
info->eq
u
iv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpente
r
i
n
troduce a
d
d_tracker_expr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
make set_state() and f
r
iends return the n
e
w
s
m_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Car
p
enter
introduce clone_tra
c
ke
r
_
list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpen
t
er
a
d
d "eq
u
iv" field to
s
truct data_info
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
m
ove the alloc_
d
info() f
u
nctio
n
s to
smatch_extr
a
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan
C
arpenter
che
c
k_signed: warn
a
b
out c
o
m
pa
r
i
n
g (u
n
signe
d
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpen
t
e
r
update v
a
lidation/sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new*
smatch_scri
p
ts/show_e
r
rs
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpent
e
r
*new* sma
t
ch_scripts/whit
e
spase_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Da
n
Carpenter
add
-no-lineno op
t
ion to
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpe
n
ter
vali
d
ation/sm
_
r
e
dundant_c
h
eck
.
c now it
'
s "i
n
f
o
" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
che
c
k_precedence:
print one war
n
ing me
s
sa
g
e inst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpenter
che
c
k_signe
d
: hand
l
e unsigned
64 bit
varia
b
les be
t
ter
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Car
p
enter
get_value
(
)
ha
n
dle so
m
e more
m
a
t
h operati
o
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan
C
arpent
e
r
make re
d
unda
n
t nul
l
checks before kfre
e
() an "info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Ca
r
penter
ch
e
ck_signed: Elimin
a
te some fal
s
e posit
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
a
n Carpenter
precedence: check for && vs &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
impl
i
cat
i
o
n
s
: improve
handlin
g
of comparis
o
ns with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an
C
arpenter
use
implication
s
from POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an
C
arpenter
condi
t
ion
s
: parse EXPR_
P
OSTOPs after evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
check_o
v
e
r
f
l
o
w: rem
o
v
e
false positives caused b
y
printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
a
n Carpenter
flow
:
im
p
rove
h
andlin
g
o
f
while(i
-
-) { loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Ca
r
penter
remove s
t
range loop message
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpenter
kpatch
.
sh: a
s
k abo
u
t all
o
c
(
)
failures specifically
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carp
e
nt
e
r
check
_
deref
:
ha
n
dle __GF
P
_NOF
A
IL (remove false
positi
v
es)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-06
Dan Carpent
e
r
check_deref: handle po
i
nters used as arrays
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
D
a
n Carp
e
nter
smatch
_
f
l
ow: clean up
.
m
erge common code
in han
d
le_pre_loop(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Da
n
Carpenter
i
m
prove impl
i
ed_
c
ondition_true() for pre a
n
d po
s
t ops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan Carpenter
while countdown loops: handle loo
p
s wher
e
the start
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-04
Dan C
a
r
p
e
nter
h
a
ndle for loops where we
don't know the upper li
m
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next