[AI] premature exception reraising is premature

Summary:
We re-raise all exceptions a few lines below already so this is not
needed. In fact it prevents us from writing the html cleanly before
hitting the exception, which was bad.

Reviewed By: ngorogiannis

Differential Revision: D21257474

fbshipit-source-id: 0b7e2b8d3
master
Jules Villard 5 years ago committed by Facebook GitHub Bot
parent 9a6cafe6ec
commit 3ebca8fd46

@ -294,8 +294,6 @@ module AbstractInterpreterCommon (TransferFunctions : NodeTransferFunctions) = s
logged_error := false ; logged_error := false ;
Ok post Ok post
with exn -> with exn ->
IExn.reraise_if exn ~f:(fun () ->
match exn with RestartScheduler.ProcnameAlreadyLocked _ -> true | _ -> false ) ;
(* delay reraising to get a chance to write the debug HTML *) (* delay reraising to get a chance to write the debug HTML *)
let backtrace = Caml.Printexc.get_raw_backtrace () in let backtrace = Caml.Printexc.get_raw_backtrace () in
Error (exn, backtrace, instr) Error (exn, backtrace, instr)

Loading…
Cancel
Save