From e417b9467400b997b2e92deff1fa597d0dce479f Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Tue, 10 Apr 2018 08:50:34 +0200 Subject: Revert "preserve static initialized variables (#81)" This part of PR#81 causes problems with long double static variables in math.h. Revert to the old behavior of not including static variables unless actually referenced. --- cparser/Cleanup.ml | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) (limited to 'cparser/Cleanup.ml') 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 -- cgit