diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-03 14:21:39 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-03 14:21:39 +0100 |
commit | 0ba8c3f06308f8f6a75abe4130972d2cb32a9abe (patch) | |
tree | 26c4193fda00d6456c75edf52f76f543036f9972 /cparser/Cleanup.ml | |
parent | 05f604d7f6e5ca3a0b005ae7ae1073f2b9e83207 (diff) | |
download | compcert-0ba8c3f06308f8f6a75abe4130972d2cb32a9abe.tar.gz compcert-0ba8c3f06308f8f6a75abe4130972d2cb32a9abe.zip |
Fixed regression introduce by merge of PR#69.
Since the identifier of a function definition and of its declaration
are equal we only should remove functions if the function iteself is
removed.
Bug 17724.
Diffstat (limited to 'cparser/Cleanup.ml')
-rw-r--r-- | cparser/Cleanup.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/cparser/Cleanup.ml b/cparser/Cleanup.ml index c8a900d5..fe674d9b 100644 --- a/cparser/Cleanup.ml +++ b/cparser/Cleanup.ml @@ -186,7 +186,7 @@ let saturate p = let remove_unused_debug = function | Gdecl (_,id,_,_) -> Debug.remove_unused id - | Gfundef f -> Debug.remove_unused f.fd_name + | Gfundef f -> Debug.remove_unused_function f.fd_name | _ -> () let rec simpl_globdecls accu = function @@ -212,6 +212,3 @@ let program p = let p' = simpl_globdecls [] p in referenced := IdentSet.empty; p' - - - |