diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-19 12:45:27 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-19 12:45:27 +0100 |
| commit | efaf1cf1c47370ab23db190fc4c2c1f3ad05323e (patch) | |
| tree | c60688f8c8bc369fd7182fca350bc8dd3f02c652 /cparser | |
| parent | 4b8a1d328139b28ffe3d9ad44c0182aeea13649b (diff) | |
| download | compcert-efaf1cf1c47370ab23db190fc4c2c1f3ad05323e.tar.gz compcert-efaf1cf1c47370ab23db190fc4c2c1f3ad05323e.zip | |
Improve wording of normal backtrace case Bug 19872
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Cerrors.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/cparser/Cerrors.ml b/cparser/Cerrors.ml index f0b6bbbe..c7b791e0 100644 --- a/cparser/Cerrors.ml +++ b/cparser/Cerrors.ml @@ -361,6 +361,8 @@ let crash exn = rc (Printexc.to_string exn) Version.buildnr Version.tag rsc; exit 2 end else begin - Printexc.print_backtrace stderr; + let backtrace = Printexc.get_backtrace () + and exc = Printexc.to_string exn in + eprintf "Fatal error: uncaught exception %s\n%s" exc backtrace; exit 2 end |