tests/run-pass/arrays.rs

   1 #![crate_type = "lib"]
   2 #![feature(custom_attribute)]
   3 #![allow(dead_code, unused_attributes)]
   4
   5 #[miri_run]
   6 fn empty_array() -> [u16; 0] {
   7     []
   8 }
   9
  10 #[miri_run]
  11 fn big_array() -> [u16; 5] {
  12     [5, 4, 3, 2, 1]
  13 }
  14
  15 #[miri_run]
  16 fn array_array() -> [[u8; 2]; 3] {
  17     [[5, 4], [3, 2], [1, 0]]
  18 }
  19
  20 #[miri_run]
  21 fn index_unsafe() -> i32 {
  22     let a = [0, 10, 20, 30];
  23     unsafe { *a.get_unchecked(2) }
  24 }
  25
  26 #[miri_run]
  27 fn index() -> i32 {
  28     let a = [0, 10, 20, 30];
  29     a[2]
  30 }
  31
  32 #[miri_run]
  33 fn array_repeat() -> [u8; 8] {
  34     [42; 8]
  35 }