Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
openanolis
dragonwell8_langtools
提交
758bed5d
D
dragonwell8_langtools
项目概览
openanolis
/
dragonwell8_langtools
通知
0
Star
2
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
D
dragonwell8_langtools
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
提交
758bed5d
编写于
7月 02, 2013
作者:
V
vromero
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
6326693: variable x might already have been assigned, when assignment is in catch block
Reviewed-by: mcimadamore
上级
f95c6a38
变更
3
隐藏空白更改
内联
并排
Showing
3 changed file
with
106 addition
and
2 deletion
+106
-2
src/share/classes/com/sun/tools/javac/comp/Flow.java
src/share/classes/com/sun/tools/javac/comp/Flow.java
+9
-2
test/tools/javac/T6326693/FinalVariableAssignedToInCatchBlockTest.java
...vac/T6326693/FinalVariableAssignedToInCatchBlockTest.java
+94
-0
test/tools/javac/T6326693/FinalVariableAssignedToInCatchBlockTest.out
...avac/T6326693/FinalVariableAssignedToInCatchBlockTest.out
+3
-0
未找到文件。
src/share/classes/com/sun/tools/javac/comp/Flow.java
浏览文件 @
758bed5d
...
...
@@ -1945,10 +1945,17 @@ public class Flow {
}
}
/* The analysis of each catch should be independent.
* Each one should have the same initial values of inits and
* uninits.
*/
final
Bits
initsCatchPrev
=
new
Bits
(
initsTry
);
final
Bits
uninitsCatchPrev
=
new
Bits
(
uninitsTry
);
for
(
List
<
JCCatch
>
l
=
tree
.
catchers
;
l
.
nonEmpty
();
l
=
l
.
tail
)
{
JCVariableDecl
param
=
l
.
head
.
param
;
inits
.
assign
(
inits
Try
);
uninits
.
assign
(
uninits
Try
);
inits
.
assign
(
inits
CatchPrev
);
uninits
.
assign
(
uninits
CatchPrev
);
scan
(
param
);
inits
.
incl
(
param
.
sym
.
adr
);
uninits
.
excl
(
param
.
sym
.
adr
);
...
...
test/tools/javac/T6326693/FinalVariableAssignedToInCatchBlockTest.java
0 → 100644
浏览文件 @
758bed5d
/*
* Copyright (c) 2013, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
* under the terms of the GNU General Public License version 2 only, as
* published by the Free Software Foundation.
*
* This code is distributed in the hope that it will be useful, but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
* FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
* version 2 for more details (a copy is included in the LICENSE file that
* accompanied this code).
*
* You should have received a copy of the GNU General Public License version
* 2 along with this work; if not, write to the Free Software Foundation,
* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
*
* Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
* or visit www.oracle.com if you need additional information or have any
* questions.
*/
/*
* @test
* @bug 6356530
* @summary -Xlint:serial does not flag abstract classes with concrete methods/members
* @compile/fail/ref=FinalVariableAssignedToInCatchBlockTest.out -XDrawDiagnostics FinalVariableAssignedToInCatchBlockTest.java
*/
import
java.io.IOException
;
public
class
FinalVariableAssignedToInCatchBlockTest
{
public
void
m1
(
int
o
)
{
final
int
i
;
try
{
if
(
o
==
1
)
{
throw
new
IOException
();
}
else
if
(
o
==
2
)
{
throw
new
InterruptedException
();
}
else
{
throw
new
Exception
();
}
}
catch
(
IOException
e
)
{
i
=
1
;
}
catch
(
InterruptedException
ie
)
{
i
=
2
;
}
catch
(
Exception
e
)
{
i
=
3
;
}
finally
{
i
=
4
;
}
}
public
void
m2
(
int
o
)
{
final
int
i
;
try
{
if
(
o
==
1
)
{
throw
new
IOException
();
}
else
if
(
o
==
2
)
{
throw
new
InterruptedException
();
}
else
{
throw
new
Exception
();
}
}
catch
(
IOException
e
)
{
i
=
1
;
}
catch
(
InterruptedException
ie
)
{
i
=
2
;
}
catch
(
Exception
e
)
{
i
=
3
;
}
}
public
void
m3
(
int
o
)
throws
Exception
{
final
int
i
;
try
{
if
(
o
==
1
)
{
throw
new
IOException
();
}
else
if
(
o
==
2
)
{
throw
new
InterruptedException
();
}
else
{
throw
new
Exception
();
}
}
catch
(
IOException
e
)
{
i
=
1
;
}
catch
(
InterruptedException
ie
)
{
i
=
2
;
}
i
=
3
;
}
}
test/tools/javac/T6326693/FinalVariableAssignedToInCatchBlockTest.out
0 → 100644
浏览文件 @
758bed5d
FinalVariableAssignedToInCatchBlockTest.java:52:13: compiler.err.var.might.already.be.assigned: i
FinalVariableAssignedToInCatchBlockTest.java:92:9: compiler.err.var.might.already.be.assigned: i
2 errors
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录