Skip to content

Commit 0107464

Browse files
committed
Move reinterpret cast OOB tests in tests/ub
1 parent c2b701f commit 0107464

6 files changed

Lines changed: 4 additions & 2 deletions
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
// panic: refcount
1+
// panic-ub: refcount
2+
// nondet-result: unsafe
23
#include <cstdint>
34

45
// Read past the end of a u32 viewed as u8
Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
// panic: refcount
1+
// panic-ub: refcount
2+
// nondet-result: unsafe
23
#include <cstdint>
34

45
// Write past the end of a u32 viewed as u8

0 commit comments

Comments
 (0)