tests/programs/o3_bounds.zc


1
2
3
4
5

namespace;
include rt;

// an index outside a T[?] inside o3 code: caught by the inline check
fn main() { int[?] a = rt.new(int[?], 5); o3 { int i = 7; a[i] = 1; } rt.free(d*a); return 0; }