diff options
Diffstat (limited to 'src/test/ui/panic-runtime')
| -rw-r--r-- | src/test/ui/panic-runtime/unwind-interleaved.rs | 15 | ||||
| -rw-r--r-- | src/test/ui/panic-runtime/unwind-rec.rs | 14 | ||||
| -rw-r--r-- | src/test/ui/panic-runtime/unwind-rec2.rs | 22 | ||||
| -rw-r--r-- | src/test/ui/panic-runtime/unwind-unique.rs | 11 |
4 files changed, 62 insertions, 0 deletions
diff --git a/src/test/ui/panic-runtime/unwind-interleaved.rs b/src/test/ui/panic-runtime/unwind-interleaved.rs new file mode 100644 index 00000000000..3d2b8a69480 --- /dev/null +++ b/src/test/ui/panic-runtime/unwind-interleaved.rs @@ -0,0 +1,15 @@ +// run-fail +// error-pattern:explicit panic + +fn a() {} + +fn b() { + panic!(); +} + +fn main() { + let _x = vec![0]; + a(); + let _y = vec![0]; + b(); +} diff --git a/src/test/ui/panic-runtime/unwind-rec.rs b/src/test/ui/panic-runtime/unwind-rec.rs new file mode 100644 index 00000000000..88aa6a577e6 --- /dev/null +++ b/src/test/ui/panic-runtime/unwind-rec.rs @@ -0,0 +1,14 @@ +// run-fail +// error-pattern:explicit panic + +fn build() -> Vec<isize> { + panic!(); +} + +struct Blk { + node: Vec<isize>, +} + +fn main() { + let _blk = Blk { node: build() }; +} diff --git a/src/test/ui/panic-runtime/unwind-rec2.rs b/src/test/ui/panic-runtime/unwind-rec2.rs new file mode 100644 index 00000000000..b3cac5141bb --- /dev/null +++ b/src/test/ui/panic-runtime/unwind-rec2.rs @@ -0,0 +1,22 @@ +// run-fail +// error-pattern:explicit panic + +fn build1() -> Vec<isize> { + vec![0, 0, 0, 0, 0, 0, 0] +} + +fn build2() -> Vec<isize> { + panic!(); +} + +struct Blk { + node: Vec<isize>, + span: Vec<isize>, +} + +fn main() { + let _blk = Blk { + node: build1(), + span: build2(), + }; +} diff --git a/src/test/ui/panic-runtime/unwind-unique.rs b/src/test/ui/panic-runtime/unwind-unique.rs new file mode 100644 index 00000000000..fabd28ac4f9 --- /dev/null +++ b/src/test/ui/panic-runtime/unwind-unique.rs @@ -0,0 +1,11 @@ +// run-fail +// error-pattern:explicit panic + +fn failfn() { + panic!(); +} + +fn main() { + Box::new(0); + failfn(); +} |
