From 438d541dbe5fe7d7fe6b7aacaa6e6ef070c2e237 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 16 Apr 2020 20:23:35 +0200
Subject: Move reserved_registers to CPragmas.

The list of reserved_registers is never reset between the compilation of
multiple files. Instead of storing them in IRC they are moved in the
CPragmas file and reset in the a new reset function for Cpragmas whic is
called per file.
---
 driver/Frontend.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver/Frontend.ml')

diff --git a/driver/Frontend.ml b/driver/Frontend.ml
index 74791247..bb97e945 100644
--- a/driver/Frontend.ml
+++ b/driver/Frontend.ml
@@ -75,6 +75,7 @@ let preprocess ifile ofile =
 let parse_c_file sourcename ifile =
   Debug.init_compile_unit sourcename;
   Sections.initialize();
+  CPragmas.reset();
   (* Simplification options *)
   let simplifs =
     "b" (* blocks: mandatory *)
-- 
cgit