diff options
Diffstat (limited to 'cparser/Cleanup.ml')
| -rw-r--r-- | cparser/Cleanup.ml | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/cparser/Cleanup.ml b/cparser/Cleanup.ml index 75ee0e5a..c10eeb55 100644 --- a/cparser/Cleanup.ml +++ b/cparser/Cleanup.ml @@ -123,18 +123,11 @@ let add_enum e = Externally-visible globals include a minima: - Definitions of functions, unless "static" or "inline". - Declaration of variables with default storage. - - We choose to also treat as visible and therefore to keep: - - "static" initialized variables, so that the checks on initializers - performed in C2C are performed on all initializers. - If the variable turns out to be unused, it will be removed - later by the Unusedglob pass. *) let visible_decl (sto, id, ty, init) = - init <> None || - (sto = Storage_default && - match ty with TFun _ -> false | _ -> true) + sto = Storage_default && + match ty with TFun _ -> false | _ -> true let visible_fundef f = match f.fd_storage with |