diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-04-23 13:42:36 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-04-23 13:42:36 +0200 |
| commit | 23f871b3faf89679414485c438ed211151bd99ce (patch) | |
| tree | b1a3c480ca621b8c7dfecb430507e5ca0e72e88b /cparser | |
| parent | 04b822ca7eaf59a967b9b8f700104b78e77e5c98 (diff) | |
| parent | 65ac4adf1fb1c2642a8e69d098049dfa2ab90e92 (diff) | |
| download | compcert-23f871b3faf89679414485c438ed211151bd99ce.tar.gz compcert-23f871b3faf89679414485c438ed211151bd99ce.zip | |
Problems with Dwarf ranges (#159)
Merge of branch dwarf-ranges
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Unblock.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Unblock.ml b/cparser/Unblock.ml index da8049a5..66b497cc 100644 --- a/cparser/Unblock.ml +++ b/cparser/Unblock.ml @@ -340,7 +340,6 @@ and unblock_block env ctx ploc = function let unblock_fundef env f = local_variables := []; - next_scope_id := 0; curr_fun_id:= f.fd_name.stamp; (* TODO: register the parameters as being declared in function scope *) let body = unblock_stmt env [] no_loc f.fd_body in @@ -398,5 +397,6 @@ let rec unblock_glob env accu = function (* Entry point *) let program p = + next_scope_id := 0; {gloc = no_loc; gdesc = Gdecl(Storage_extern, debug_id, debug_ty, None)} :: unblock_glob (Builtins.environment()) [] p |