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: debug_states => option_debug
2009-11-24
Dan Carpenter
Add a new (soon
to b
e
m
a
ndatory)
-
-p
r
oj
e
ct= option
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-24
D
a
n Ca
r
penter
Make smatch i
n
s
tallable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan
Carpenter
try ha
n
dl
e
do {
}
while (i-- > 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpent
e
r
t
r
y
handl
e
++ and -- b
e
t
ter
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
Dan Carpenter
Impr
o
ve hand
l
ing:
do
{} while (
-
-
c
ontinue >= 0)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
an C
a
rpenter
Sm
a
ll cleanup
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-23
D
a
n Carpente
r
k
free_s
k
b()
w
arnings are not spam
m
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
Dan Carpen
t
e
r
H
a
ndle de
r
efe
r
ences like
*
foo
not ju
s
t
f
o
o->bar
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-21
D
an Carpenter
Get rid of the
b
itwis
e
or c
h
eck
.
It didn't
f
ind
b
ugs
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-20
Dan Carp
e
nte
r
ad
d
__ra
w
_sp
i
n_lock/unlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-18
Dan Carpenter
Mak
e
ranged fu
n
ctio
n
s pass
t
he a
s
sig
n
ment expression
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-17
D
a
n Carpenter
M
ake
variable initializa
t
ion int
o
assignme
n
t state
m
ents
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-16
Dan Carpenter
Delete
c
heck_ini
t
ializer_d
e
ref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-14
Dan Ca
r
p
e
nter
Modify the ret
u
rn hook to pass
a
n expression in
s
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
Dan Carpenter
Do clear the ran
g
e info so
early
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
a
n
C
a
rpe
n
ter
int
r
oduce is
_
error_
r
eturn()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-13
D
an Carpenter
ma
k
e function d
e
cla
r
a
tion static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-12
D
an C
a
rp
e
nter
Do not acciden
t
ally delete
.
h files
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan Carpenter
New mis
s
ing dev_put(
)
check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-11
Dan
C
arpen
t
er
Han
d
le
i
f ((dev =
foo()) == NULL) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Car
p
enter
si
l
ly false positive: return foo; <- foo po
s
sibly
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Da
n
Ca
r
penter
Updat
e
s
m
atch_da
t
a to 2
.
6
.
32-r
c
6
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpenter
Add some co
m
ment
s
an
d
copyright notices
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-10
Dan Carpent
e
r
small clean up
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpe
n
t
e
r
Fix se
g
fa
u
lt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Car
p
enter
Allow people to use
k
c
h
e
cker file
.
o as well as
.
c file
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
D
a
n Carpenter
Ini
t
ialize values pr
o
perly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan
Carp
e
nter
Turn the two pass
s
ystem of
f
b
y
default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
D
an
C
a
rpent
e
r
Optimizati
o
n: pre
p
end() -> a
p
p
e
nd()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpenter
Prin
t
a
n
error fo
r
t
h
is: if (a | b) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan
Carp
e
n
ter
Dual
p
a
s
s s
y
st
e
m [
p
at
c
h
#2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Carp
e
nter
Dual pass system [patch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Da
n
Carpenter
clean up: move
D
IMP
L
IED() to s
m
at
c
h_im
p
l
ied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
pen
t
er
c
ode churn: re
n
ame SM_DE
B
UG() to sm_debug(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
c
o
d
e churn:
rena
m
e
smatch_ms
g
() to sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
move m
y
_id
p
a
r
amete
r
[
p
art 2 o
f
2
]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Car
p
enter
Move my_i
d
parame
t
er
.
[p
a
r
t
1
of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
D
a
n Carpen
t
er
Improve
c
heck_err_ptr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpent
e
r
funct
i
on wa
s
suppose
d
to be static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpe
n
ter
disabl
e
s
m
a
t
ch
_
con
t
ai
n
er
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Car
p
e
n
te
r
R
a
n
d
o
m ugly chang
e
s t
o
check_
o
v
e
rflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
penter
Stop
printing so much info all the
t
i
me
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
N
e
w optio
n
:
-
-
s
p
ammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpenter
R
e
move
opt
i
mization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan C
a
rpenter
Add check_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
fix calculating si
z
eof
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
D
a
n Carp
e
nter
return U
N
D
EFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpente
r
Talk about smatch_s
c
ripts/kc
h
ec
k
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpent
e
r
Improve get
_
i
m
pl
i
ed
_
val
u
e
()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan
C
arpenter
corr
e
c
t format
.
warn
i
ng: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
Add some strip_expr() calls
to the fu
n
ction hooks
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Improve buffer overflow check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Dan Carpenter
intro
d
uce smatc
h
_contain
e
rs
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
introduc
e
set_state
_
expr() and friends
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
Carpen
t
er
add
check_deref
_
check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan
C
arp
e
nter
added
c
heck_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
D
a
n
Carpenter
n
e
w
h
ook: add_modification_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
move som
e
declarations
o
ut
o
f sm
a
tch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan Carpenter
Update smatch_data
f
or 2
.
6
.
31-pre
3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
D
an Carp
e
nter
Impro
v
e the d
i
sp
l
ayed variable nam
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Dan C
a
rpenter
f
i
x buffer overflo
w
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carpenter
Add check_balanced
.
c
a
nd smatch_data/ke
r
nel
.
bala
n
ced_
f
uncs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
e
n
ter
PTR_E
R
R
(
ERR_PTR(-42
)
)
is n
o
n z
e
ro
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpenter
check
_
memory
.
c: use the
a
d
d
_
s
c
o
pe_h
o
ok()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan
Ca
r
penter
Add
s
c
oped_state
(
)
a
nd add
_
scope_
h
o
o
k()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan
C
arpenter
s
match_im
p
l
i
e
d: only print the nr_
c
h
i
ldren messag
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
D
a
n Carpenter
smatch
_
extr
a
: fix (foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
rpenter
Fix o
v
erlapping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
c
h
e
ck
_
memor
y
.
c: fix re
v
er
s
e
d
if statement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
F
ix another bu
g
c
ause
d
by funny
t
m
p_
r
ange_lis
t
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
C
arp
e
nt
e
r
M
e
rg
e
br
a
nch '
n
ew_implications
'
into devel
2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpen
t
er
Fix
crashing bug
c
aused
by the
switc
h
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Car
p
enter
debugging: p
r
int the l
i
ne
n
umbers in merg
e
_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
Ma
k
e switch statements work again
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Da
n
C
a
rpenter
cle
a
n
up
.
use
tr
u
e
/false_compar
i
son_
r
ange_lr(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpenter
c
o
de churn: rename
-
>pre
_
left => -
>
left, -
>
pre_
r
ight
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Carpenter
P
ut a cap
o
n imp
l
icati
o
ns
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n
C
a
rpenter
Im
p
rov
e
debugging
.
Don'
t
overwrite
s
m->li
n
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan Carpenter
Mic
r
o
op
t
imizatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carp
e
nter
c
l
e
an up in merge_slist()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
ch
e
ck
f
o
r
ou
t
_of_m
e
mory() les
s
of
t
e
n
a
nd only af
t
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
an Carpenter
Bette
r
debugging for c
h
eck_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carpenter
Add s
w
itc
h
tes
t
ing test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too
m
any implied states
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Remove clone_
s
list_and_states
(
) and m
e
rge_
s
list_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
an Carpenter
R
emov
e
switch cloning complexity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an Ca
r
p
en
t
er
two is always non-null these days
.
don't ch
e
ck it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
C
a
rpenter
remove unused merge_p
o
ols(
)
f
uncti
o
n
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
don't print "list"
v
ari
a
bl
e
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
Make my
_
poo
l
s => my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpen
t
er
introduce cl
o
ne_pool_havers()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
clone_stat
e
()
do
e
sn
'
t copy my_po
o
ls
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
Rewo
r
k impl
i
cations to use ->pre_lef
t
and ->pre_r
i
ght
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpente
r
two is always no
n
-nul
l
these days
.
d
on't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
a
n Ca
r
pent
e
r
I
ntrodu
c
e
->pre_left and ->
p
re_ri
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan
Carpen
t
er
Ma
k
e the
R
A
M
l
imit mo
r
e accurat
e
a
n
d flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
D
a
n Carpenter
O
nly c
l
one
the states
if it is
a
switch s
t
atem
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
D
an
C
ar
p
e
n
ter
Don
'
t cl
o
ne the false stat
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan
Carpente
r
Don
'
t c
l
one a
l
l the states for
e
very case sta
t
ement
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
penter
Make th
e
validation test h
a
rder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next