From 4b8f3092b2c9767b916535ad73e045262d60d987 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 19 Nov 2018 17:14:19 +0000
Subject: Don't re-check AST repeatedly in exp_lift_assign re-write

This was _really_ slow - about 50secs for ARM. If this changes causes
breakages we should fix them in some other way.

Also using Reporting.err_unreachable in ANF translation, and fix slice
optimization when creating slices larger than 64-bits in C translation
---
 src/reporting.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/reporting.ml')

diff --git a/src/reporting.ml b/src/reporting.ml
index 358a99a8..3f5f1627 100644
--- a/src/reporting.ml
+++ b/src/reporting.ml
@@ -254,7 +254,7 @@ let issues = "\n\nPlease report this as an issue on GitHub at https://github.com
 let dest_err = function
   | Err_general (l, m) -> ("Error", false, Loc l, m)
   | Err_unreachable (l, (file, line, _, _), m) ->
-     ((Printf.sprintf "Internal error: Unreachable code (at \"%s\" line %d)" file line), false, Loc l, m ^ issues)
+     ((Printf.sprintf "Internal error: Unreachable code (at \"%s\" line %d)\n" file line), false, Loc l, m ^ issues)
   | Err_todo (l, m) -> ("Todo" ^ m, false, Loc l, "")
   | Err_syntax (p, m) -> ("Syntax error", false, Pos p, m)
   | Err_syntax_locn (l, m) -> ("Syntax error", false, Loc l, m)
-- 
cgit v1.2.3