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
PTR_ERR(ERR_PTR(-42)) is non zero.
2009-06-08
Dan Ca
r
penter
PTR_ER
R
(
ERR
_
PTR(-42
)
)
is non zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Da
n
Carpenter
che
c
k_memory
.
c:
use the add
_
scope_ho
o
k()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-06-08
Dan Ca
r
p
e
n
t
er
Add s
c
oped_state
(
) and add_sc
o
pe_h
o
ok()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan C
a
r
penter
smatch_
i
m
plied: on
l
y print
the nr_child
r
e
n
m
essage
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
smat
c
h
_extra: fix (foo
!= 42) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-31
Dan Carpenter
Fix overlapping ra
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
D
an Carpenter
check
_
memory
.
c: fix revers
e
d
if
s
t
atement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-28
Dan Carpen
t
er
F
i
x another bug caus
e
d by
funny tm
p
_range_
l
ist()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
erge
b
r
an
c
h 'new_
i
m
plications' int
o
devel2
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Da
n
C
a
rpenter
Fix c
r
ashing bug caus
e
d by the
swi
t
ch changes
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan
Carpenter
deb
u
gging: print
t
h
e line numbers i
n
merge_sm
_
sta
t
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-27
Dan Carpenter
M
a
ke switch stat
e
ment
s
work again
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan C
a
rpe
n
ter
c
l
ean up
.
use true/fals
e
_
comparison_range_lr()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Carpenter
code
c
hurn:
r
ename ->pre_left => ->left, ->p
r
e_righ
t
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-26
Dan Ca
r
p
e
nte
r
P
u
t a cap o
n
implicatio
n
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
D
a
n Carp
e
nter
Impro
v
e debugging
.
Don't overw
r
ite sm->l
i
ne
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-25
Dan C
a
rpenter
Micro opt
i
mization
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Ca
r
penter
clean up
in merge_slist(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Dan Car
p
enter
check fo
r
out_of_me
m
or
y
() les
s
often and
o
nly after
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-24
Da
n
Carpenter
Better
d
ebuggin
g
for check_
m
emory
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpen
t
er
Ad
d
switch testing test
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan Carpenter
Doh
.
Too many implied
stat
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
D
a
n Carpenter
Remove clone_slist
_
and_st
a
tes() and
m
erge_slist
_
clone()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-22
Dan
Carp
e
n
ter
R
emove swi
t
ch clonin
g
c
o
mple
x
i
t
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Ca
r
penter
two i
s
always
n
on
-
null these days
.
don't check
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
C
arpent
e
r
remove un
u
sed mer
g
e_pools() function
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
an Carpent
e
r
don't p
r
i
n
t "li
s
t" varia
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan
C
arpent
e
r
Make my_p
o
ols => m
y
_pool
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carp
e
nter
i
n
troduce clone_p
o
ol_havers()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
Dan Carpe
n
ter
clone_state() doe
s
n'
t
copy my_pools
.
commit
|
commitdiff
|
tree
2009-05-21
D
an
Carpent
e
r
Rework implic
a
tio
n
s to u
s
e -
>
pre_le
f
t
and ->pre_
r
ight
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-21
D
a
n
C
a
rpenter
two
is alw
a
ys non
-
null these days
.
don'
t
c
heck
i
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Da
n
Carpen
t
er
Introduce -
>
pre_left a
n
d ->p
r
e_right
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-17
Dan
C
a
r
p
enter
Make the RAM lim
i
t more accurate
an
d
flexi
b
le
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-10
Dan
Ca
r
pente
r
Only clone
t
h
e sta
t
es if it i
s
a
switch statement
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
D
a
n
Carpenter
Don't clone
the f
a
lse
s
t
ates
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-08
Dan Carpenter
Don't cl
o
n
e
a
ll the states
f
or e
v
ery case statemen
t
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Da
n
Carpente
r
Make the v
a
li
d
ation
t
est
hard
e
r
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carpenter
Prevent some endless loop
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan Carp
e
nt
e
r
Put
t
in
g
parens
around
som
e
thing doesn'
t
m
a
k
e
it undefin
e
d
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
D
a
n Carp
e
nter
Fix m
e
mory le
a
k
.
free_slist()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-06
Dan C
a
rpenter
Make struct sm_
s
tate more compact
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
smatch_sli
s
t
.
c no longer n
e
eds any functions fr
o
m
smatch_extra
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
D
el
e
te all the
anding co
m
pound
c
onditions c
o
d
e
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
c
h
eck debu
g
is
useful for de
b
ug
g
ing
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Ca
r
penter
potential
b
u
g fix
f
or go
t
os wi
t
h impl
i
cati
o
ns
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan C
a
rpenter
Make validation te
s
t
harder
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-05-04
Dan Carpenter
Rework smatch
i
mp
l
ied
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-24
Dan Carpenter
g
et_value(): handle a couple more bit
operators
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Set
th
i
n
gs
in smatch extra in
s
t
e
a
d
of smatch implied
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
D
an Carpenter
H
a
nd
l
e
swi
t
ch sta
t
ement
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-23
Dan Carpenter
Re
v
e
rt "D
o
n't the implicatio
n
s
for the
s
tate determi
n
ing
.
.
.
commit
|
commitdiff
|
tree
2009-04-22
Dan Carpen
t
er
Revert "H
e
re is a bug i
n
handlin
g
compound
cond
i
tions
.
"
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
h
a
ndl
e
if((f
o
o = down_trylock()) <
0
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Dan Carpenter
add_is_me
r
ge
d
_
h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-21
Da
n
Carpent
e
r
D
e
refe
r
enc
i
ng a
variable do
e
sn't make it undef
i
ned
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-18
Dan Carpenter
Redo checking for o
u
t
o
f
range args to ERR_
P
TR()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-16
Da
n
C
a
rpenter
Here is a bug i
n
han
d
lin
g
compound conditions
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan C
a
rpenter
Handle straight forwar
d
c
om
p
ar
i
sons
t
o zero
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan
Ca
r
penter
S
tor
e
th
e
i
mp
l
icat
i
o
n
s for retu
r
n_i
m
plies_
s
tate() assignments
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-15
Dan Carpenter
A
dd:
r
eturn_
i
mplie
s
_state()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Ca
r
p
enter
Renam
e
sma
t
ch_e
x
tra_
h
elper
.
c to sm
a
t
c
h_ra
n
ges
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan
C
arpent
e
r
Elimina
t
e
s
et_cond_
s
tat
e
s
() fun
c
tion
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Sm
a
ll
c
lean up
.
Alloc
a
t
ing f
i
lter
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Carpenter
Ver
i
fy that the value passed to ERR_PTR() i
s
n't t
o
o
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
Ca
r
penter
F
i
x
comp
i
l
e
r int<->ptr
conversio
n
warnings
commit
|
commitdiff
|
tree
2009-04-14
Dan C
a
rpenter
Mer
g
e
adj
a
cent rang
e
s
.
1-2,3
-
4 become
s
1-4
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Da
n
C
arpenter
Save some allocat
i
ons
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-14
Dan Carpenter
Fix strncat(
)
bugs
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-13
Da
n
C
a
r
pente
r
Improve handli
n
g
o
f for l
o
op
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Handl
e
once throu
g
h loops differently
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Fix m
e
rging ranges
.
Compl
e
tel
y
broken before
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Typo: <= inste
a
d of >=
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Car
p
enter
Reverse all the ra
n
ges
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-12
Dan Carpenter
Don't
t
h
e
implications for the state deter
m
ining the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
Carpen
t
er
matc
h
_compari
s
on to hand
l
e
l
e
ss than,
gre
a
ter tha
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Change loc
k
ing ou
t
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
a
rpen
t
er
Don't allocate so
m
any e
x
tra_
u
ndefined states
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpen
t
er
create allo
c
_
e
x
t
ra_state_empty(
)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n
Carpenter
r
emove true_compar
i
so
n
() and do_comparison()
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpent
e
r
move (true
|
f
als
e
)_c
o
mparison_range() to smatch_extra_he
l
per
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
an Ca
r
pe
n
t
e
r
clear ->my_list
s
fo
r
&ign
o
re
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan Carpenter
Print more --debug-impli
e
d
information when --de
b
ug
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
D
a
n Carpenter
Removed h
a
rd c
o
de
d
o
p
tion
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-11
Dan
C
arp
e
nter
F
i
x
r
ange comparis
o
n
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carp
e
nter
rem
o
ve u
n
us
e
d function: range_list_intersec
t
ion()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
D
an
Carp
e
nter
H
a
nd
l
e
UNDEFINED range and disp
l
ay t
h
e n
a
me corr
e
ctl
y
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
C
a
rpenter
Fix state names for rang
e
s
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Da
n
Car
p
enter
Implied ran
g
es
.
Part #3
.
Range Lis
t
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-10
Dan Carpe
n
t
e
r
Upd
a
t
e
data files for 2
.
6
.
30-rc1
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
a
rpenter
smatch_extra
.
save othe
r
comparis
o
ns besides
j
ust
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan Carpenter
h
andle: if (
(
foo = try_l
o
ck()
)
) {
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpenter
ren
a
me: exp
r
_to_val() -> get_
i
mplie
d
_val
u
e()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpen
t
er
Fix handlin
g
of if (IS_
E
RR(
f
o
o = bar())
)
{
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-08
Dan
C
arpe
n
ter
handle if
c
o
nd
i
tional fu
n
ctions ar
e
assigne
d
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
Carpenter
Add new re
s
tricted known_
c
ondition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Carpente
r
re
n
ame kn
o
wn_c
o
nditi
o
n_true()
to implied_co
n
d
ition_true()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan
Carpente
r
A
dd ER
R
_PTR()
check
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Da
n
C
a
r
pen
t
e
r
__module_put_an
d
_exit() doesn't return
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2009-04-07
Dan Car
p
enter
Separate the list
of fre
e
d arguments
from decremented
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next