From 8228d4f959c2211d1840928d1cfc349ce2820200 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Mon, 8 Aug 2016 10:37:53 +0200
Subject: Added error check before transformations.

Added a check for errors after the elab phases to avoid problems
in the transformations due to broken input programs.
Bug 19504
---
 cparser/Parse.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cparser/Parse.ml')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index c125e653..3f60ebb4 100644
--- a/cparser/Parse.ml
+++ b/cparser/Parse.ml
@@ -74,6 +74,7 @@ let preprocessed_file transfs name sourcefile =
              | Parser.Parser.Inter.Timeout_pr -> assert false
              | Parser.Parser.Inter.Parsed_pr (ast, _ ) -> ast) in
       let p1 = Timing.time "Elaboration" Elab.elab_file ast in
+      Cerrors.raise_on_errors ();
       Timing.time2 "Emulations" transform_program t p1 name
     with
     | Cerrors.Abort ->
-- 
cgit