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
Initialize values properly.
2009-11-07
Dan Car
p
enter
Initialize values prope
r
ly
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-11-07
Dan Carpen
t
er
T
u
rn the two pass syst
e
m
off by default
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-10-25
Dan Carpenter
Opti
m
ization: prepend() -> appen
d
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-09-06
Dan Carpe
n
ter
Print an
e
rror for this: if (a | b
)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan Car
p
ent
e
r
D
ual pass syste
m
[patch #2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-20
Dan
C
a
rpent
e
r
Dual pas
s
s
y
s
tem [patch #1]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Ca
r
penter
cle
a
n up: move DIMPLI
E
D() to smatch_
i
mp
l
ied
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carpenter
code
chur
n
: rename SM_DEBUG() to sm
_
d
ebu
g
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan Carp
e
nte
r
c
o
d
e
c
h
u
r
n: rename smatch_ms
g
(
)
to sm_msg()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpe
n
ter
move my
_
id parameter [part 2 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-19
Dan
C
arpente
r
Move m
y
_id parameter
.
[part 1 of 2]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
Imp
r
ove
check_err
_
p
t
r
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-07
Dan Carpenter
function was
s
uppose
d
to be stat
i
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpente
r
d
isable smatch_c
o
ntai
n
ers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Ca
r
pent
e
r
Rando
m
ugly chan
g
es
t
o ch
e
ck
_
overflow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
C
a
rpenter
S
t
o
p printing s
o
much info all
the
t
ime
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan Carpent
e
r
New
opt
i
on:
-
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Dan
C
arpenter
Remove optimization
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-03
Da
n
Carpenter
Add check_ass
i
gned_expr
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carp
e
nter
f
ix
calculating si
z
eof()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
return UNDEFINED
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Talk about smatch_scrip
t
s/kche
c
ker
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
Imp
r
o
v
e ge
t
_i
m
plied_
v
alue()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Da
n
Carpenter
c
o
rrect format
.
war
n
ing: => warn:
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Ca
r
pente
r
A
dd some s
t
rip_expr() cal
l
s to
t
he fun
c
tion hook
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-02
Dan Carpenter
I
mprove buf
f
e
r over
f
low check
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-08-01
Da
n
Carpenter
introduce smatch_c
o
ntainers
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-31
Dan Carpenter
introd
u
ce set_state_expr() and fr
i
e
n
ds
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Car
p
enter
ad
d
check_de
r
ef_check
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpenter
adde
d
check_initializer_deref
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Carpe
n
ter
new hook: add_modification_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-23
Dan Ca
r
penter
move some declarations
o
u
t
o
f smatch
.
h
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-07-21
Dan Car
p
enter
Update smatch_
d
a
ta
f
o
r 2
.
6
.
31-p
r
e3
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
Da
n
Car
p
e
n
t
e
r
Improve the
d
is
p
layed variable nam
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-17
D
an Carpenter
fix buffe
r
overflow
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-15
Dan Carp
e
nter
Add check_balance
d
.
c and smatch_da
t
a/ke
r
n
el
.
b
alanced_funcs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Car
p
e
nte
r
PTR_ER
R
(ERR_P
T
R(
-
42)) is
n
on zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan C
a
rpenter
check
_
m
emory
.
c
: use
the
add_scope_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-06-08
Dan Carpente
r
Ad
d
s
c
oped_state() and a
d
d_scope
_
hook
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smat
c
h_im
p
lied: only print the nr_c
h
ildren mes
s
a
ge
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpen
t
er
s
matc
h
_
extra: fix (foo != 42) {
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
Fi
x
o
verla
p
ping ranges
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Car
p
enter
check_m
e
mory
.
c
: fix revers
e
d if
s
ta
t
em
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpenter
Fix
a
nother bu
g
ca
u
sed by
f
unny t
m
p
_
range_list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Carpenter
Merge
branch 'new_implicat
i
ons' into devel2
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Ca
r
p
e
nter
Fix c
r
as
h
ing bug caused by the switch
changes
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
debugging:
p
rint
t
he lin
e
numbers in merge_sm_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
Carp
e
n
t
er
M
ake s
w
itc
h
s
t
a
tem
e
nts w
o
rk
a
gain
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
an Carp
e
nter
clean up
.
u
se tru
e
/false_com
p
arison_
r
ange_l
r
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpent
e
r
c
ode chu
r
n: rename ->pre_
l
ef
t
=>
-
>left,
-
>pre_right
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-26
D
a
n Ca
r
penter
Put
a
cap
o
n
implications
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
C
a
rpenter
Improve
d
ebugging
.
D
o
n
't overwri
t
e s
m
-
>
l
i
ne
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-25
Dan
Carp
e
nter
M
i
cro optim
i
z
at
i
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan
Ca
r
penter
clean up i
n
m
erge_
s
list()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
D
a
n Carpenter
check for out_of_m
e
mory() l
e
s
s
o
f
ten
a
nd
o
nly after
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-24
Dan Carpenter
B
e
tter debugg
i
n
g
f
o
r c
h
eck_memory
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan Car
p
ent
e
r
A
dd
s
witch te
s
ting test
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
a
rpenter
Doh
.
To
o
many impl
i
e
d
stat
e
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
Dan
C
ar
p
e
n
t
e
r
Rem
o
v
e
c
lone_slist_and_s
t
ates()
a
n
d me
r
ge_
s
list_clone()
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n
Carpenter
Remove switch cloni
n
g com
p
l
exity
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Da
n
Carpenter
t
w
o is always
n
on-
n
ul
l
these da
y
s
.
d
o
n't
check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
t
er
rem
o
ve unused merge_
p
ools() function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n Carpenter
don't p
r
i
n
t
"list" variable
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
D
an
Car
p
enter
Ma
k
e my
_
pool
s
=> my_pool
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan C
a
rpent
e
r
introd
u
ce clone_po
o
l_h
a
v
e
r
s()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpenter
clone_
s
tate() do
e
sn't copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
Dan
Carpenter
Rework implications to use -
>
p
re_lef
t
a
n
d
-
>pre_right
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpenter
two i
s
always
n
on-null these days
.
don't check it
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
Dan C
a
rpenter
In
t
rodu
c
e -
>
pre_left and
->
p
re_
r
i
g
ht
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-17
D
an C
a
rpenter
Ma
k
e
the RAM l
i
mit more accur
a
te a
n
d flexible
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-10
Dan Carpenter
O
n
l
y clone the states if it is a switch sta
t
em
e
nt
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
r
p
ent
e
r
Don't clone
t
he
f
als
e
s
tates
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-08
Dan C
a
r
penter
Don't clone
all
the states for every
c
ase st
a
tem
e
n
t
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpente
r
Make the valid
a
tion test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carpenter
P
r
e
v
ent
some endless loo
p
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpente
r
Putt
i
ng p
a
rens
arou
n
d something
doesn't make
i
t unde
f
in
e
d
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n
Carpenter
Fix m
e
mor
y
leak
.
free_slist
(
)
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-06
Dan Ca
r
pente
r
Make struct sm_sta
t
e more compact
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an Carpe
n
ter
smatc
h
_slist
.
c no
longer
n
ee
d
s a
n
y fu
n
ctions from smatc
h
_ext
r
a
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
an C
a
rp
e
nte
r
De
l
ete all
t
he a
n
ding com
p
ound condi
t
ions code
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
D
a
n Carpenter
c
h
e
ck debug is useful fo
r
d
e
bugging
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Car
p
e
n
ter
p
o
t
ential bug fix for got
o
s wi
t
h im
p
lications
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carp
e
nter
Ma
k
e v
a
lidation test harder
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework smatch
implied
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
get_value():
handle a co
u
p
l
e
more b
i
t oper
a
tors
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set things
i
n smatch ext
r
a instead of smatch im
p
l
i
ed
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
D
a
n Carpenter
Handle switc
h
st
a
tements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Rev
e
rt "D
o
n
't the implications f
o
r the s
t
a
te determin
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan C
a
rpenter
Revert "Here
is a bug in handlin
g
co
m
pound condition
s
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
hand
l
e if((fo
o
= down_trylock(
)
)
< 0)
{
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpenter
add_is_me
r
ged_ho
o
k()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpent
e
r
Der
e
ferencing
a vari
a
ble
d
oesn't make i
t
un
d
efined
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking for out
o
f range args to ERR_PT
R
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-16
Dan C
a
r
p
e
n
ter
H
ere is a
b
ug in
h
andli
n
g
c
omp
o
u
n
d con
d
iti
o
n
s
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan
C
ar
p
enter
Handl
e
straight fo
r
w
a
rd comparisons to zero
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
D
a
n
Carpent
e
r
Stor
e
the implica
t
ions for return_
i
m
p
lies
_
state
(
) assi
g
nments
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpent
e
r
Add:
r
eturn
_
implies_state()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Renam
e
smatch_extra
_
helper
.
c to sm
a
tch_range
s
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Eliminate set_cond_s
t
ates(
)
function
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sma
l
l clean up
.
A
llocating
f
ilte
r
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next