test/c/return_leak.sail


1
2
3
4
5
6
7
8
9
10
11
12

default Order dec

$include <vector_dec.sail>

val main : unit -> unit

function main () = {
  x : int = 3;
  return ();
  x = x;
  ()
}