tests/run-pass/arrays.rs

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