From 90f4de67b8cd1ac753d099100d4612cc3eabe4f1 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 8 Nov 2017 10:52:26 +0100 Subject: Fix jumptable issue. Instead of using reset_constants use reset_literals which avoids emptying the jumptables. Bug 22525 --- backend/PrintAsmaux.ml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'backend/PrintAsmaux.ml') diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index f7a30b22..257b1ba4 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -86,11 +86,14 @@ let literal64_labels = (Hashtbl.create 39 : (int64, int) Hashtbl.t) let label_literal32 bf = label_constant literal32_labels bf let label_literal64 n = label_constant literal64_labels n -let reset_constants () = - jumptables := []; +let reset_literals () = Hashtbl.clear literal32_labels; Hashtbl.clear literal64_labels +let reset_constants () = + jumptables := []; + reset_literals () + let exists_constants () = Hashtbl.length literal32_labels > 0 || Hashtbl.length literal64_labels > 0 -- cgit