diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 14:33:15 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-12 17:18:07 +0200 |
| commit | 012827a7cba40f434b9fc6ce1b46dc725473eae7 (patch) | |
| tree | 35a1742582fafc3c83f581311453e9bf9211a8b1 /cfrontend/C2C.ml | |
| parent | d4c9a7c5b47670bad12d54a3fd4de0ad4eceb1ee (diff) | |
| download | compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.tar.gz compcert-012827a7cba40f434b9fc6ce1b46dc725473eae7.zip | |
Unified function for adding the atom identifier.
Instead of defining two functions for adding the mapping from atom
to debug id we use one function which then sets the corresponding
values.
Bug 17392.
Diffstat (limited to 'cfrontend/C2C.ml')
| -rw-r--r-- | cfrontend/C2C.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index bd281374..6826804f 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -1060,7 +1060,7 @@ let convertFundef loc env fd = fd.fd_locals in let body' = convertStmt env fd.fd_body in let id' = intern_string fd.fd_name.name in - Debug.atom_function fd.fd_name id'; + Debug.atom_global fd.fd_name id'; Hashtbl.add decl_atom id' { a_storage = fd.fd_storage; a_alignment = None; @@ -1126,7 +1126,7 @@ let convertInitializer env ty i = let convertGlobvar loc env (sto, id, ty, optinit) = let id' = intern_string id.name in - Debug.atom_global_variable id id'; + Debug.atom_global id id'; let ty' = convertTyp env ty in let sz = Ctypes.sizeof !comp_env ty' in let al = Ctypes.alignof !comp_env ty' in |