diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-12-02 20:18:55 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-12-02 20:18:58 +0000 |
| commit | 7f328d2a4462c3a8afcaf773a22c2b9c300fef12 (patch) | |
| tree | 2b7ade4a6c9dd1aaac25fc5e74860968fe9c023b | |
| parent | e6a1b77cd106a5a2a1571e74039fc466559ff8db (diff) | |
| download | rust-7f328d2a4462c3a8afcaf773a22c2b9c300fef12.tar.gz rust-7f328d2a4462c3a8afcaf773a22c2b9c300fef12.zip | |
FileCheck checked_add.
| -rw-r--r-- | tests/mir-opt/const_prop/checked_add.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tests/mir-opt/const_prop/checked_add.rs b/tests/mir-opt/const_prop/checked_add.rs index 6a53aced091..571a5cc4e4d 100644 --- a/tests/mir-opt/const_prop/checked_add.rs +++ b/tests/mir-opt/const_prop/checked_add.rs @@ -1,9 +1,12 @@ -// skip-filecheck // EMIT_MIR_FOR_EACH_PANIC_STRATEGY // unit-test: ConstProp // compile-flags: -C overflow-checks=on // EMIT_MIR checked_add.main.ConstProp.diff fn main() { + // CHECK-LABEL: fn main( + // CHECK: debug x => [[x:_.*]]; + // CHECK: assert(!const false, + // CHECK: [[x]] = const 2_u32; let x: u32 = 1 + 1; } |