From 1e29e518e62ad88e9c2e2b180beb07434a07cdd7 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 3 Nov 2014 10:11:23 +0100
Subject: Record public global definitions via field "prog_public" in
 AST.program. For the moment, this field is ignored.

---
 cfrontend/C2C.ml | 123 +++++++++++++++++++++++++++++--------------------------
 1 file changed, 66 insertions(+), 57 deletions(-)

(limited to 'cfrontend/C2C.ml')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index 73d9edbd..4d5d6c07 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -28,6 +28,8 @@ open Csyntax
 open Initializers
 open Floats
 
+(** ** Extracting information about global variables from their atom *)
+
 (** Record useful information about global variables and functions,
   and associate it with the corresponding atoms. *)
 
@@ -43,6 +45,61 @@ type atom_info =
 
 let decl_atom : (AST.ident, atom_info) Hashtbl.t = Hashtbl.create 103
 
+let atom_is_static a =
+  try
+    let i = Hashtbl.find decl_atom a in
+    (* inline functions can remain in generated code, but should not
+       be global, unless explicitly marked "extern" *)
+    match i.a_storage with
+    | C.Storage_default -> i.a_inline
+    | C.Storage_extern -> false
+    | C.Storage_static -> true
+    | C.Storage_register -> false (* should not happen *)
+  with Not_found ->
+    false
+
+let atom_is_extern a =
+  try
+    (Hashtbl.find decl_atom a).a_storage = C.Storage_extern
+  with Not_found ->
+    false
+
+let atom_alignof a =
+  try
+    (Hashtbl.find decl_atom a).a_alignment
+  with Not_found ->
+    None
+
+let atom_sections a =
+  try
+    (Hashtbl.find decl_atom a).a_sections
+  with Not_found ->
+    []
+
+let atom_is_small_data a ofs =
+  try
+    (Hashtbl.find decl_atom a).a_access = Sections.Access_near
+  with Not_found ->
+    false
+
+let atom_is_rel_data a ofs =
+  try
+    (Hashtbl.find decl_atom a).a_access = Sections.Access_far
+  with Not_found ->
+    false
+
+let atom_is_inline a =
+  try
+    (Hashtbl.find decl_atom a).a_inline
+  with Not_found ->
+    false
+
+let atom_location a =
+  try
+    (Hashtbl.find decl_atom a).a_loc
+  with Not_found ->
+    Cutil.no_loc
+
 (** Hooks -- overriden in machine-dependent CPragmas module *)
 
 let process_pragma_hook = ref (fun (s: string) -> false)
@@ -1059,6 +1116,13 @@ let cleanupGlobals p =
             clean defs (g :: accu) gl
   in clean IdentSet.empty [] (List.rev p)
 
+(** Extract the list of public (non-static) names *)
+
+let public_globals gl =
+  List.fold_left
+    (fun accu (id, g) -> if atom_is_static id then accu else id :: accu)
+    [] gl
+
 (** Convert a [C.program] into a [Csyntax.program] *)
 
 let convertProgram p =
@@ -1072,66 +1136,11 @@ let convertProgram p =
     let gl1 = convertGlobdecls (translEnv Env.empty p) [] (cleanupGlobals p) in
     let gl2 = globals_for_strings gl1 in
     let p' = { AST.prog_defs = gl2;
-                AST.prog_main = intern_string "main" } in
+               AST.prog_public = public_globals gl2;
+               AST.prog_main = intern_string "main" } in
     if !numErrors > 0
     then None
     else Some p'
   with Env.Error msg ->
     error (Env.error_message msg); None
 
-(** ** Extracting information about global variables from their atom *)
-
-let atom_is_static a =
-  try
-    let i = Hashtbl.find decl_atom a in
-    (* inline functions can remain in generated code, but should not
-       be global, unless explicitly marked "extern" *)
-    match i.a_storage with
-    | C.Storage_default -> i.a_inline
-    | C.Storage_extern -> false
-    | C.Storage_static -> true
-    | C.Storage_register -> false (* should not happen *)
-  with Not_found ->
-    false
-
-let atom_is_extern a =
-  try
-    (Hashtbl.find decl_atom a).a_storage = C.Storage_extern
-  with Not_found ->
-    false
-
-let atom_alignof a =
-  try
-    (Hashtbl.find decl_atom a).a_alignment
-  with Not_found ->
-    None
-
-let atom_sections a =
-  try
-    (Hashtbl.find decl_atom a).a_sections
-  with Not_found ->
-    []
-
-let atom_is_small_data a ofs =
-  try
-    (Hashtbl.find decl_atom a).a_access = Sections.Access_near
-  with Not_found ->
-    false
-
-let atom_is_rel_data a ofs =
-  try
-    (Hashtbl.find decl_atom a).a_access = Sections.Access_far
-  with Not_found ->
-    false
-
-let atom_is_inline a =
-  try
-    (Hashtbl.find decl_atom a).a_inline
-  with Not_found ->
-    false
-
-let atom_location a =
-  try
-    (Hashtbl.find decl_atom a).a_loc
-  with Not_found ->
-    Cutil.no_loc
-- 
cgit