| // 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. |
| |
| // build-pass (FIXME(62277): could be check-pass?) |
| // revisions: cfail1 cfail2 cfail3 |
| // compile-flags: -Z query-dep-graph -Zincremental-ignore-spans |
| |
| #![allow(warnings)] |
| #![feature(rustc_attrs)] |
| #![crate_type="rlib"] |
| |
| |
| // Change loop body |
| #[cfg(cfail1)] |
| pub fn change_loop_body() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")] |
| #[rustc_clean(cfg="cfail3")] |
| pub fn change_loop_body() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 2; |
| break; |
| } |
| } |
| |
| |
| |
| // Change loop body |
| #[cfg(cfail1)] |
| pub fn change_loop_condition() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")] |
| #[rustc_clean(cfg="cfail3")] |
| pub fn change_loop_condition() { |
| let mut _x = 0; |
| while let Some(1u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| |
| |
| // Add break |
| #[cfg(cfail1)] |
| pub fn add_break() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir, typeck_tables_of")] |
| #[rustc_clean(cfg="cfail3")] |
| pub fn add_break() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| |
| |
| // Add loop label |
| #[cfg(cfail1)] |
| pub fn add_loop_label() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody")] |
| #[rustc_clean(cfg="cfail3")] |
| pub fn add_loop_label() { |
| let mut _x = 0; |
| 'label: while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| |
| |
| // Add loop label to break |
| #[cfg(cfail1)] |
| pub fn add_loop_label_to_break() { |
| let mut _x = 0; |
| 'label: while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody")] |
| #[rustc_clean(cfg="cfail3")] |
| pub 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)] |
| pub 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_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")] |
| #[rustc_clean(cfg="cfail3")] |
| pub 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)] |
| pub fn add_loop_label_to_continue() { |
| let mut _x = 0; |
| 'label: while let Some(0u32) = None { |
| _x = 1; |
| continue; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody")] |
| #[rustc_clean(cfg="cfail3")] |
| pub 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)] |
| pub 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_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")] |
| #[rustc_clean(cfg="cfail3")] |
| pub 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)] |
| pub fn change_continue_to_break() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| continue; |
| } |
| } |
| |
| #[cfg(not(cfail1))] |
| #[rustc_clean(cfg="cfail2", except="HirBody, mir_built, optimized_mir")] |
| #[rustc_clean(cfg="cfail3")] |
| pub fn change_continue_to_break() { |
| let mut _x = 0; |
| while let Some(0u32) = None { |
| _x = 1; |
| break; |
| } |
| } |