blob: 1aabb03cf78421477c4d25a46a21f9ae8599b1ad (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
// expect: ok/
// spec 4.9 and 8.3: in unchecked code a second free of an object is ignored
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() {
unchecked { int* p = rt.new(int); rt.free(p); rt.free(p); }
rt.put_s("ok"); rt.put_c(10);
return 0;
}
// zc0: skip
|