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
include static functions in list of functions which don't return
2010-04-07
D
a
n Carp
e
nter
include static functions in list of functions
w
hich
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Dan C
a
rpen
t
er
*new* freeing_null: calling free for a variable that
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpen
t
er
e
qu
i
v: call remove_fro
m
_
eq
u
i
v
()
o
n
a
ssignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
mat
h
: prev
e
nt
divide by
zero bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Da
n
Carpenter
ch
e
ck_l
o
ck: a
d
d mor
e
lo
c
ks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
an Carpe
n
t
e
r
n
ew: check_proc_cre
a
te() c
h
eck for world wr
i
table proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
m
ath: teac
h
sm
a
tch
t
o
u
nderstand
c
onst
va
l
ues
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overfl
o
w
: f
i
x
theoretical
memory
l
eak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
arpen
t
er
cor
e
: fix
problem in hand
l
ing select stat
e
ment / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan
C
a
rpenter
clea
n
up: rename sm_state
s
to "sm" inste
a
d
o
f "s
t
ate"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan C
a
rpenter
get_
v
ariable_from_e
x
pr(): if it
i
nvolves a number i
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpe
n
ter
debug: print more useful i
n
formation abo
u
t conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
a
n C
a
r
p
enter
locking:
h
andle spin_tr
y
lock_irq
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an
C
arpenter
l
o
ck
i
ng: handl
e
spin_lock_irqsave_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpent
e
r
l
ocking:
h
andle
raw_spin_u
n
lock_irqrestore()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
locki
n
g: make "somet
i
m
es
l
ocked" messages
depend on
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan
Carpenter
Merge branch
'
de
v
e
l
' into devel
_
e
q
u
iv
commit
|
commitdiff
|
tree
2010-03-31
Da
n
Carpenter
equiv: if a v
a
riable is only eq
u
i
valent to itself set
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
D
a
n
C
ar
p
e
n
ter
e
xt
r
a: use t
h
e f
a
ke assig
n
ments
i
nstead
of the
i
nitializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpent
e
r
equiv: never s
e
t SM
A
TCH_EXT
R
A
v
a
lues directly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
equiv: e
l
i
minate bogus c
a
ll
t
o set_
s
tate
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpen
t
er
i
n
t
roduce
_
_
smatch_debug_o
n
(
)
and __sma
t
c
h
_
debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
D
an Carpenter
locking:
m
a
ke
spinlock_irqsave()
w
ork for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Car
p
enter
l
o
cking: white space fixes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpente
r
loc
k
ing: add more stand
a
rd locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
Dan Carpenter
che
c
k_locking
:
clean u
p
list of kernel
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpe
n
ter
handle
selec
t
assigns: fo
o
= a ? b
:
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpenter
core: f
a
k
e
cur_slist more completely
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Car
p
enter
core: rewrite select
statement handling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
st
a
tes: verify that the stacks
a
re
empty
a
t the end
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
r
p
e
nter
Re
n
ame functi
o
n
s
:
__
p
op_foo() =>
__discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
D
a
n
Carpenter
smatch_states:
rename some functions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpenter
relea
s
e_resource: Doh
.
It's looking for the wro
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Ca
r
penter
fix selec
t
st
a
t
eme
n
t ha
n
dling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
n
ter
c
or
e
: cleanup
.
delete fake condi
t
ion stac
k
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
core: make f
a
k
e
cur_slists stackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Da
n
Carpe
n
ter
slist
:
make set_st
a
te_stack() return
t
he new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
D
a
n
C
arpen
t
er
*
new* check_release_resou
r
ce
.
c: check tha
t
we relea
s
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan C
a
rpenter
flow: split asm c
l
obb
e
rs, inputs
an
d
out
p
uts
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Carpenter
white_sp
a
ceonly: all
o
w header files
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Da
n
Carpenter
*new* strip_whitespace
.
pl:
r
emo
v
es all the white
s
pace
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan
Carpent
e
r
*ne
w
* chec
k
_
r
es
o
ur
c
e_size(): prod people to u
s
e resource_si
z
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Dan Carpenter
extra: assume
i
mpossible
t
hings a
r
e
imposs
i
ble
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: fix btrfs false
p
o
si
t
ive
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
D
an Car
p
enter
e
r
r_
p
tr:
handl
e
when an err_p
t
r
is re
a
ssigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
*n
e
w* check_db_info
.
c prints out stuff that will
b
e
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an C
a
rpenter
cleanu
p
: move stuf
f
from smatch_extr
a
.
c to smatch_ma
t
h
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpente
r
wh
i
tespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n C
a
rp
e
nter
equiv: fix
cras
h
in
g
b
u
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpenter
check
_
overf
l
ow: malloc() => __allo
c
_smatch_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carp
e
nter
smatch
.
c: don't leak those 10 bytes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpent
e
r
assig
n
ed_expr: fix
memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
kerne
l
:
free_area() doesn't
call kfre
e
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Car
p
enter
*new* check_r
e
turn
.
c
: com
p
lai
n
if yo
u
d
on't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
m
a
th: make get_implied_value() work fo
r
p
ointers bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Ca
r
pente
r
m
a
t
h
: c
l
eanup: cre
a
te separate
_
ge
t
_impl
i
ed_
v
alue(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
ma
t
h: handle
m
o
d
u
lus
'%' operat
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
m
a
th: handle EXPR_POSTOP
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
p
enter
math: cleanup: make handling binops a switch
(
) statem
e
nt
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
Carpenter
m
ath: clea
n
up
create separate h
a
ndle_b
i
nop() f
u
nction
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan
Carpenter
math: clean
u
p
.
use cast_to_type() in
s
te
a
d of re-implimenting it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Da
n
C
a
rp
e
nter
math
:
cleanup
.
separa
t
e handl
e
_preop() into
it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n Carpenter
equi
v
: fix crashin
g
b
u
g
introduced in 8c35
8
883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
pent
e
r
Create s
e
parat
e
smatch_math
.
c file
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Car
p
ent
e
r
u
pdate smatch_data/
for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Ca
r
penter
implied: cl
e
an up
m
a
k
e a separate handle_zero_compa
r
i
son
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan C
a
r
pent
e
r
equiv: handle compar
i
sons with zer
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
eq
u
iv: cleanup
s
eparate
s
et_extra_true_
f
alse(
)
into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpenter
equiv, implie
d
:
fix handling borrowe
d
imp
l
ic
a
tio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
implied
:
don't update
th
e
equ
i
velent st
a
tes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
a
n Carpenter
rm validation/smatch_closet
/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Da
n
Carpenter
equiv
:
don't overwrite the implication inf
o
rmation
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpen
t
er
rename __s
e
t_state
(
) => __set_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
an Carpenter
rename clone_sta
t
e
(
) => cl
o
ne_sm
(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpente
r
equiv: preserve
-
>
e
quiv
across
m
e
r
g
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan
Carpenter
Use the equiva
l
ent
v
ar
i
a
ble
code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carp
e
nter
remove track
e
r
s
f
rom ->eq
u
iv
w
hen they are no lo
n
g
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
Fix
c
rashing
bug ca
u
sed
by last comm
i
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
Carp
e
nter
s
tore information in the new dinfo->
e
quiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
ar
p
e
nter
introduce
a
dd_tracker_e
x
pr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an Carpenter
mak
e
set
_
state
(
)
a
n
d friends return the new
sm_sta
t
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
int
r
oduce clone_tracker_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carpenter
add "equiv" field to
s
t
ruct da
t
a_i
n
fo
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n
C
a
rpenter
move the
a
ll
o
c
_
dinfo() functions to smatch_extra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
D
a
n Carpenter
check_si
g
ned: warn about comparing (unsigned variable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
update validat
i
on/sm_cas
t
s2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
C
arpen
t
er
*new* s
m
atch_scripts/show_e
r
rs
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*new* smatch_sc
r
ipts/wh
i
tespase_
o
nly
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Carpenter
add -no-line
n
o
o
ption to sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
v
a
l
i
d
a
ti
o
n/sm_r
e
d
u
n
dant_c
h
eck
.
c now it's "info" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
check_prec
e
dence: print one
w
arning
m
ess
a
g
e
i
ns
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n Car
p
enter
check_signed: handle
unsigned
6
4 bit varia
b
les better
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-09
Dan Carpenter
ge
t
_value()
h
a
n
dle
s
ome more
m
ath op
e
ratio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Carpenter
make
r
edundant null checks
before kf
r
e
e
() an
"
info
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
Dan Car
p
enter
chec
k
_signed: El
i
m
i
nate some false
p
o
s
it
i
ves
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-08
D
an Carpente
r
prec
e
den
c
e
: check
for &&
v
s &
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpen
t
er
implications: i
m
prove
handling o
f
compari
s
ons w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
D
an Carpenter
use implic
a
tions from
POSTOPs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Dan Carpe
n
ter
conditi
o
ns: parse EXPR_POSTOP
s
after
evaluating the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-07
Da
n
Carpenter
c
h
e
ck_
o
verflow: rem
o
ve fa
l
se posi
t
ives caused by printk
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next