src/test/ui/sanitize/memory.rs

   1 // needs-sanitizer-support
   2 // needs-sanitizer-memory
   3 //
   4 // revisions: unoptimized optimized
   5 //
   6 // [optimized]compile-flags: -Z sanitizer=memory -Zsanitizer-memory-track-origins -O
   7 // [unoptimized]compile-flags: -Z sanitizer=memory -Zsanitizer-memory-track-origins
   8 //
   9 // run-fail
  10 // error-pattern: MemorySanitizer: use-of-uninitialized-value
  11 // error-pattern: Uninitialized value was created by an allocation
  12 // error-pattern: in the stack frame
  13 //
  14 // This test case intentionally limits the usage of the std,
  15 // since it will be linked with an uninstrumented version of it.
  16
  17 #![feature(core_intrinsics)]
  18 #![feature(start)]
  19 #![allow(invalid_value)]
  20
  21 use std::hint::black_box;
  22 use std::mem::MaybeUninit;
  23
  24 #[inline(never)]
  25 #[no_mangle]
  26 fn random() -> [isize; 32] {
  27     let r = MaybeUninit::uninit();
  28     // Avoid optimizing everything out.
  29     unsafe { std::intrinsics::volatile_load(r.as_ptr()) }
  30 }
  31
  32 #[inline(never)]
  33 #[no_mangle]
  34 fn xor(a: &[isize]) -> isize {
  35     let mut s = 0;
  36     for i in 0..a.len() {
  37         s = s ^ a[i];
  38     }
  39     s
  40 }
  41
  42 #[start]
  43 fn main(_: isize, _: *const *const u8) -> isize {
  44     let r = black_box(random as fn() -> [isize; 32])();
  45     xor(&r)
  46 }