Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
int
Rust
提交
83ee4e93
R
Rust
项目概览
int
/
Rust
大约 1 年 前同步成功
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
DevOps
流水线
流水线任务
计划
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
R
Rust
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
DevOps
DevOps
流水线
流水线任务
计划
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
流水线任务
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
83ee4e93
编写于
11月 17, 2016
作者:
M
Michael Woerister
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
ICH: Add regression tests for various kinds of loops.
上级
30857ae8
变更
4
隐藏空白更改
内联
并排
Showing
4 changed file
with
1049 addition
and
0 deletion
+1049
-0
src/test/incremental/hashes/for_loops.rs
src/test/incremental/hashes/for_loops.rs
+306
-0
src/test/incremental/hashes/loop_expressions.rs
src/test/incremental/hashes/loop_expressions.rs
+231
-0
src/test/incremental/hashes/while_let_loops.rs
src/test/incremental/hashes/while_let_loops.rs
+256
-0
src/test/incremental/hashes/while_loops.rs
src/test/incremental/hashes/while_loops.rs
+256
-0
未找到文件。
src/test/incremental/hashes/for_loops.rs
0 → 100644
浏览文件 @
83ee4e93
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// This test case tests the incremental compilation hash (ICH) implementation
// for `for` loops.
// The general pattern followed here is: Change one thing between rev1 and rev2
// and make sure that the hash has changed, then change nothing between rev2 and
// rev3 and make sure that the hash has not changed.
// must-compile-successfully
// revisions: cfail1 cfail2 cfail3
// compile-flags: -Z query-dep-graph
#![allow(warnings)]
#![feature(rustc_attrs)]
#![crate_type=
"rlib"
]
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
2
;
break
;
}
}
// Change iteration variable name ----------------------------------------------
#[cfg(cfail1)]
fn
change_iteration_variable_name
()
{
let
mut
_
x
=
0
;
for
_
i
in
0
..
1
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_iteration_variable_name
()
{
let
mut
_
x
=
0
;
for
_
a
in
0
..
1
{
_
x
=
1
;
break
;
}
}
// Change iteration variable pattern -------------------------------------------
#[cfg(cfail1)]
fn
change_iteration_variable_pattern
()
{
let
mut
_
x
=
0
;
for
_
i
in
&
[
0
,
1
,
2
]
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_iteration_variable_pattern
()
{
let
mut
_
x
=
0
;
for
&
_
i
in
&
[
0
,
1
,
2
]
{
_
x
=
1
;
break
;
}
}
// Change iterable -------------------------------------------------------------
#[cfg(cfail1)]
fn
change_iterable
()
{
let
mut
_
x
=
0
;
for
_
in
&
[
0
,
1
,
2
]
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_iterable
()
{
let
mut
_
x
=
0
;
for
_
in
&
[
0
,
1
,
3
]
{
_
x
=
1
;
break
;
}
}
// Add break -------------------------------------------------------------------
#[cfg(cfail1)]
fn
add_break
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_break
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
// Add loop label --------------------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
'label
:
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
// Add loop label to break -----------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
for
_
in
0
..
1
{
_
x
=
1
;
break
'label
;
}
}
// Change break label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
for
_
in
0
..
1
{
'inner
:
for
_
in
0
..
1
{
_
x
=
1
;
break
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
for
_
in
0
..
1
{
'inner
:
for
_
in
0
..
1
{
_
x
=
1
;
break
'outer
;
}
}
}
// Add loop label to continue --------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
for
_
in
0
..
1
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
for
_
in
0
..
1
{
_
x
=
1
;
continue
'label
;
}
}
// Change continue label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
for
_
in
0
..
1
{
'inner
:
for
_
in
0
..
1
{
_
x
=
1
;
continue
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
for
_
in
0
..
1
{
'inner
:
for
_
in
0
..
1
{
_
x
=
1
;
continue
'outer
;
}
}
}
// Change continue to break ----------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
for
_
in
0
..
1
{
_
x
=
1
;
break
;
}
}
src/test/incremental/hashes/loop_expressions.rs
0 → 100644
浏览文件 @
83ee4e93
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// This test case tests the incremental compilation hash (ICH) implementation
// for `loop` loops.
// The general pattern followed here is: Change one thing between rev1 and rev2
// and make sure that the hash has changed, then change nothing between rev2 and
// rev3 and make sure that the hash has not changed.
// must-compile-successfully
// revisions: cfail1 cfail2 cfail3
// compile-flags: -Z query-dep-graph
#![allow(warnings)]
#![feature(rustc_attrs)]
#![crate_type=
"rlib"
]
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
2
;
break
;
}
}
// Add break -------------------------------------------------------------------
#[cfg(cfail1)]
fn
add_break
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_break
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
break
;
}
}
// Add loop label --------------------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
'label
:
loop
{
_
x
=
1
;
break
;
}
}
// Add loop label to break -----------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
loop
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
loop
{
_
x
=
1
;
break
'label
;
}
}
// Change break label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
loop
{
'inner
:
loop
{
_
x
=
1
;
break
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
loop
{
'inner
:
loop
{
_
x
=
1
;
break
'outer
;
}
}
}
// Add loop label to continue --------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
loop
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
loop
{
_
x
=
1
;
continue
'label
;
}
}
// Change continue label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
loop
{
'inner
:
loop
{
_
x
=
1
;
continue
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
loop
{
'inner
:
loop
{
_
x
=
1
;
continue
'outer
;
}
}
}
// Change continue to break ----------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
loop
{
_
x
=
1
;
break
;
}
}
src/test/incremental/hashes/while_let_loops.rs
0 → 100644
浏览文件 @
83ee4e93
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// This test case tests the incremental compilation hash (ICH) implementation
// for `while let` loops.
// The general pattern followed here is: Change one thing between rev1 and rev2
// and make sure that the hash has changed, then change nothing between rev2 and
// rev3 and make sure that the hash has not changed.
// must-compile-successfully
// revisions: cfail1 cfail2 cfail3
// compile-flags: -Z query-dep-graph
#![allow(warnings)]
#![feature(rustc_attrs)]
#![crate_type=
"rlib"
]
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
2
;
break
;
}
}
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_condition
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_condition
()
{
let
mut
_
x
=
0
;
while
let
Some
(
1u32
)
=
None
{
_
x
=
1
;
break
;
}
}
// Add break -------------------------------------------------------------------
#[cfg(cfail1)]
fn
add_break
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_break
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
// Add loop label --------------------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
'label
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
// Add loop label to break -----------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
'label
;
}
}
// Change break label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
let
Some
(
0u32
)
=
None
{
'inner
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
let
Some
(
0u32
)
=
None
{
'inner
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
'outer
;
}
}
}
// Add loop label to continue --------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
continue
'label
;
}
}
// Change continue label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
let
Some
(
0u32
)
=
None
{
'inner
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
continue
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
let
Some
(
0u32
)
=
None
{
'inner
:
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
continue
'outer
;
}
}
}
// Change continue to break ----------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
while
let
Some
(
0u32
)
=
None
{
_
x
=
1
;
break
;
}
}
src/test/incremental/hashes/while_loops.rs
0 → 100644
浏览文件 @
83ee4e93
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// This test case tests the incremental compilation hash (ICH) implementation
// for `while` loops.
// The general pattern followed here is: Change one thing between rev1 and rev2
// and make sure that the hash has changed, then change nothing between rev2 and
// rev3 and make sure that the hash has not changed.
// must-compile-successfully
// revisions: cfail1 cfail2 cfail3
// compile-flags: -Z query-dep-graph
#![allow(warnings)]
#![feature(rustc_attrs)]
#![crate_type=
"rlib"
]
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_body
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
2
;
break
;
}
}
// Change loop body ------------------------------------------------------------
#[cfg(cfail1)]
fn
change_loop_condition
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_loop_condition
()
{
let
mut
_
x
=
0
;
while
false
{
_
x
=
1
;
break
;
}
}
// Add break -------------------------------------------------------------------
#[cfg(cfail1)]
fn
add_break
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_break
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
break
;
}
}
// Add loop label --------------------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label
()
{
let
mut
_
x
=
0
;
'label
:
while
true
{
_
x
=
1
;
break
;
}
}
// Add loop label to break -----------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
while
true
{
_
x
=
1
;
break
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_break
()
{
let
mut
_
x
=
0
;
'label
:
while
true
{
_
x
=
1
;
break
'label
;
}
}
// Change break label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
true
{
'inner
:
while
true
{
_
x
=
1
;
break
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_break_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
true
{
'inner
:
while
true
{
_
x
=
1
;
break
'outer
;
}
}
}
// Add loop label to continue --------------------------------------------------
#[cfg(cfail1)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
while
true
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
add_loop_label_to_continue
()
{
let
mut
_
x
=
0
;
'label
:
while
true
{
_
x
=
1
;
continue
'label
;
}
}
// Change continue label ----------------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
true
{
'inner
:
while
true
{
_
x
=
1
;
continue
'inner
;
}
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_label
()
{
let
mut
_
x
=
0
;
'outer
:
while
true
{
'inner
:
while
true
{
_
x
=
1
;
continue
'outer
;
}
}
}
// Change continue to break ----------------------------------------------------
#[cfg(cfail1)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
continue
;
}
}
#[cfg(not(cfail1))]
#[rustc_dirty(label=
"Hir"
,
cfg=
"cfail2"
)]
#[rustc_clean(label=
"Hir"
,
cfg=
"cfail3"
)]
#[rustc_metadata_dirty(cfg=
"cfail2"
)]
#[rustc_metadata_clean(cfg=
"cfail3"
)]
fn
change_continue_to_break
()
{
let
mut
_
x
=
0
;
while
true
{
_
x
=
1
;
break
;
}
}
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录