From 43db836ea4fb19036a19f78e1f988f75a42b910c Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 17 Jan 2017 09:49:04 +0100
Subject: Added backtrace handler.

If CompCert crashes because of an uncaught exception the exception
is caught toplevel and the backtrace is printed plus an additional
message to include the backtrace in a support request, if buildnr
and tag are available.
Bug 20681.
---
 driver/Driver.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'driver')

diff --git a/driver/Driver.ml b/driver/Driver.ml
index e3b9ec52..8fc52e0c 100755
--- a/driver/Driver.ml
+++ b/driver/Driver.ml
@@ -552,3 +552,5 @@ let _ =
    if  Cerrors.check_errors () then exit 2
   with Sys_error msg ->
     eprintf "I/O error: %s.\n" msg; exit 2
+     | e ->
+       Cerrors.crash e
-- 
cgit