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
introduce in_macro() which returns true if we're in a macro
2010-04-27
Da
n
C
a
rp
e
nter
intro
d
uce i
n
_macro() whi
c
h
returns true
if
w
e're in
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-25
Dan
Carpenter
introduce
:
in_exp
r
ession_statement() and rename get
_
b
l
ock_th
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-24
D
an
C
arpenter
ch
u
rn: rename __spl
i
t_sta
t
ements() => _
_
s
plit_st
m
t()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
n
t
er
extra: hand
l
e i++ and i += 2 better
outs
i
de loops
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Car
p
e
n
ter
filter_kerne
l
_de
r
ef_check
.
sh: prin
t
the function names
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Ca
r
penter
Add S
T
RING_HOOK for examin
i
n
g st
r
ings
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carpen
t
e
r
*n
e
w* c
h
e
c
k_kernel
.
c: hand
l
e tomoyo_memor
y
_ok() and
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-23
Dan Carp
e
nter
c
or
e
:
f
ix handl
i
ng of sw
i
tch statemen
t
s
with u
n
r
ea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an Carpenter
b
ai
l
out earl
i
er
i
f functi
o
ns get too difficult
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
D
an
Carpen
t
e
r
include static func
t
ion
s
in list of functions which
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-07
Da
n
Car
p
en
t
er
*n
e
w*
f
reeing_nul
l
: ca
l
l
i
ng
free for a
v
ariable
t
hat
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpenter
equi
v
: call
remove_from_equiv
(
)
o
n as
s
ignment
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
Dan Carpe
n
ter
math
:
prev
e
n
t divid
e
by zero
bugs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-05
D
a
n Carpente
r
check_
l
ock:
add mor
e
locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-02
D
a
n C
a
rpenter
n
ew: chec
k
_proc_
c
reate() che
c
k for world writable proc
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Da
n
Car
p
enter
math: teach
s
ma
t
ch to und
e
rstan
d
con
s
t val
u
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
check_overflow: fix
t
heoretical memo
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpente
r
c
o
re: f
i
x probl
e
m
in ha
n
dling select sta
t
eme
n
t / ORing
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
cleanup: rename sm_states
t
o "sm"
instead of
"state"
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
g
e
t
_variable_
f
rom_expr
(
): if it
i
nvolv
e
s a number it
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-04-01
Dan Carpenter
deb
u
g:
p
r
i
nt
more useful information abou
t
cond
i
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
locking: h
a
ndle spin_t
r
yl
o
ck_irq(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
D
an Carp
e
nter
locking: handle
s
pin_lock
_
irqsave_nest
e
d()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpe
n
ter
locki
n
g
:
hand
l
e raw_s
p
i
n
_unl
o
ck_irq
r
e
st
o
re()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpen
t
er
l
ocking: make "someti
m
es locked" messages depe
n
d o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-31
Dan Carpenter
M
e
rge branch
'
dev
e
l
'
i
nto devel_e
q
ui
v
commit
|
commitdiff
|
tree
2010-03-31
D
an
Carpenter
equi
v
: if a variable
is only eq
u
i
val
e
nt t
o
itself
s
et
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carpenter
extr
a
: use the fa
k
e ass
i
gnm
e
n
t
s instead of th
e
initializer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Car
p
enter
equiv: n
e
ver set SMATCH
_
E
X
TR
A
values d
i
rectly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Dan Carp
e
n
te
r
equiv: el
i
minate bogus call to
s
et_st
a
te(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-30
Da
n
Carpenter
intr
o
duce __smatch_debug_on() an
d
__smatch_debug_off()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpen
t
er
lock
i
ng: make
s
pinloc
k
_irqs
a
v
e()
w
ork for my config
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan Carpenter
locking: whi
t
e
sp
a
ce
fi
x
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-29
Dan
Carpent
e
r
locking: add more standard locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-28
D
a
n
Car
p
enter
check_lo
c
king:
cle
a
n
up
l
i
st of kernel locks
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
rpenter
handle se
l
e
c
t assi
g
ns: foo
= a ? b
:
c;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan Carpen
t
e
r
core: fake
c
ur
_
slist
more
c
om
p
let
e
ly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-27
Dan C
a
r
p
enter
core:
r
ewrite select stateme
n
t han
d
ling
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan
Ca
r
pent
e
r
sta
t
es: verify tha
t
th
e
stacks a
r
e empty a
t
the e
n
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Da
n
Carpenter
Renam
e
functio
n
s
:
__pop_foo() => __discard_foo()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
sma
t
ch_states: rename som
e
f
u
nction
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan Carpent
e
r
relea
s
e_resource: Doh
.
It's lo
o
king for the w
r
ong
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-26
Dan C
a
rp
e
nte
r
f
ix selec
t
stat
e
ment
h
andli
n
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
c
ore:
cle
a
nup
.
d
e
lete fak
e
condi
t
ion
s
tack code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpenter
cor
e
: mak
e
fake cur_slist
s
s
tackable
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carp
e
nter
slist: m
a
ke
s
et_state_
s
tack() return t
h
e
new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-25
Dan Carpe
n
t
er
*new* check_release_resource
.
c: c
h
eck tha
t
w
e
r
e
lease
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-24
Dan Carp
e
nter
flow: split asm
c
lobbers, i
n
p
u
ts and outputs
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-23
Da
n
Carpenter
whi
t
e_spaceon
l
y: allow header f
i
les
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Dan Carp
e
nter
*new* strip_whitespace
.
pl: remo
v
es all the whi
t
e
space
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-22
Da
n
Ca
r
penter
*new* check_reso
u
rce_size(): prod peop
l
e to us
e
resource
_
size()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-21
Da
n
Ca
r
penter
extra:
assume
impossible
t
h
i
ngs are
i
mpos
s
ible
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan C
a
rpenter
er
r
_ptr: f
i
x btr
f
s f
a
lse positives
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-20
Dan Carpenter
err_ptr: ha
n
dle w
h
en an err
_
ptr is reassigned
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
C
a
rpenter
*ne
w
*
c
heck
_
db_info
.
c
p
rints o
u
t
s
tuf
f
that will be
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Car
p
enter
cleanup: m
o
ve
s
tuff from s
m
atch_ex
t
ra
.
c
to smatch_
m
ath
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Car
p
enter
whitespace changes
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
a
n Carpente
r
e
quiv: fix crashi
n
g bug
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
D
an Carpenter
check_ov
e
rflow: mal
l
oc() => __alloc_
s
matc
h
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan
Carpenter
smatch
.
c
:
don't leak those 10
byt
e
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-19
Dan Carpe
n
ter
a
s
si
g
ne
d
_expr
:
fix m
e
mo
r
y lea
k
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
D
a
n Carpe
n
ter
kerne
l
: fr
e
e_
a
rea() doesn
'
t
call kfree()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-17
Dan Carpenter
*new* check_
r
eturn
.
c: com
p
lain if you
d
o
n't check the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Ca
r
pen
t
e
r
math: make ge
t
_
i
mplied_val
u
e() work for pointers bet
t
er
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpente
r
mat
h
: cleanup: crea
t
e se
p
a
r
ate _ge
t
_imp
l
ied_value(
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
a
n
C
arpenter
mat
h
: hand
l
e
m
odu
l
u
s
'%' operatio
n
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpenter
math: handle EXPR
_
POST
O
P
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan Carpen
t
er
math:
c
l
ean
u
p: m
a
ke handling binops
a
s
witch() state
m
e
n
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
m
ath: c
l
eanup create
separate
h
and
l
e_binop() funct
i
on
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
Dan C
a
rpent
e
r
math: cleanup
.
use cast_to_type() instea
d
of r
e
-im
p
limenting
it
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-16
D
an Carpenter
mat
h
: cleanu
p
.
separat
e
handle_preop() into it's o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan
Carpent
e
r
eq
u
i
v
: fix c
r
ashi
n
g bug introduced in 8c3
5
8883a
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Ca
r
p
enter
Cre
a
te s
e
parate sma
t
c
h
_
m
a
t
h
.
c
f
ile
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
an Carpenter
up
d
at
e
smatc
h
_data/ for 2
.
6
.
34-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpen
t
er
implie
d
: clean up make
a
separate
h
andle_ze
r
o
_
comparis
o
n
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpent
e
r
equ
i
v: h
a
nd
l
e com
p
arisons with
z
e
r
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
D
a
n
Carpente
r
equi
v
: cleanup
s
eparate set_extra_tr
u
e_false() into
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-15
Dan Carpe
n
ter
e
q
u
iv,
i
mplied
:
fix handling borrowed implic
a
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan Carpenter
implied:
don't
u
pdate the equive
l
ent states
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
Dan
Carpenter
rm valida
t
i
on/smatch
_
closet/
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-14
D
an Carpenter
e
q
uiv: d
o
n
'
t overwrite the implication info
r
m
atio
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan C
a
rpenter
rename __set_
s
tate() => _
_
s
et_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
rename
clone_state() => clone_sm()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
D
a
n
Carpenter
equiv: preserve ->equiv across merges
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpenter
U
se th
e
equivalent variable code
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Carpe
n
ter
remove trackers from -
>
equiv when th
e
y
a
re no long
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-13
Dan Ca
r
penter
F
ix crashin
g
bug caused by
l
ast commit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arpe
n
te
r
stor
e
information
i
n
the new
dinfo->equiv thing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan Carp
e
nter
i
n
troduce add_tracke
r
_exp
r
()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
an C
a
rpenter
make set_state()
an
d
friends
r
eturn the new sm_state
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
D
a
n Carpenter
introd
u
ce c
l
one_tracker_list()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Dan
C
arp
e
nter
add "equiv"
fi
e
l
d
to s
t
r
uct data_inf
o
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-12
Da
n
Carpent
e
r
mo
v
e the alloc_dinfo
(
)
f
unctio
n
s to s
m
atch_
e
xtra
.
c
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-11
Dan Car
p
enter
ch
e
ck_sig
n
ed: wa
r
n about comparing (u
n
si
g
ned va
r
i
a
ble
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
an Carp
e
n
ter
update valid
a
tion
/
sm_casts2
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carp
e
nter
*new*
smat
c
h_s
c
ripts/show_er
r
s
.
s
h
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpenter
*
n
ew* sm
a
tch
_
scr
i
pts/whitespas
e
_only
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan Carpen
t
er
add
-no-
l
ine
n
o
option
t
o
sparse
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
Dan
Carpen
t
er
validat
i
on/sm_re
d
unda
n
t_
c
he
c
k
.
c now it's "in
f
o" not
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-03-10
D
a
n C
a
rp
e
nter
check_
p
recedence: print one warning me
s
sage instead
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next