summaryrefslogtreecommitdiff
path: root/testsuite/tests/backtrace/inline_test.ml
blob: f8ffe38f7e6c4139040eb5ff078892aa9e94a0d7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(* TEST
   flags = "-g"
   ocamlrunparam += ",b=1"
   * bytecode
   * native
   * native
     ocamlopt_flags = "-O3"
     compiler_directory_suffix = ".O3"
*)

(* A test for inlined stack backtraces *)

let f x =
  raise (Failure "test") + 1

let g x =
  f x + 1

let h x =
  print_int (g x); print_endline "h"

let i x =
  if h x = () then ()

let () =
  i ()