Update mir-opt/end_region_*.rs tests to explicit enable EndRegion emission.
This commit is contained in:
parent
f1c721caa7
commit
8da717daa4
9 changed files with 9 additions and 9 deletions
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions
|
||||
// compile-flags: -Z identify_regions -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// This is just about the simplest program that exhibits an EndRegion.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions
|
||||
// compile-flags: -Z identify_regions -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// We will EndRegion for borrows in a loop that occur before break but
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions
|
||||
// compile-flags: -Z identify_regions -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Binding the borrow's subject outside the loop does not increase the
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions
|
||||
// compile-flags: -Z identify_regions -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Unwinding should EndRegion for in-scope borrows: Direct borrows.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Unwinding should EndRegion for in-scope borrows: Borrowing via by-ref closure.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Unwinding should EndRegion for in-scope borrows: 2nd borrow within by-ref closure.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Unwinding should EndRegion for in-scope borrows: Borrow of moved data.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// Unwinding should EndRegion for in-scope borrows: Move of borrow into closure.
|
||||
|
|
|
|||
|
|
@ -8,7 +8,7 @@
|
|||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats
|
||||
// compile-flags: -Z identify_regions -Z span_free_formats -Z emit-end-regions
|
||||
// ignore-tidy-linelength
|
||||
|
||||
// This test models a scenario that arielb1 found during review.
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue