Improved detection of variables with incomplete types.

Additional warnings for empty initializer braces and zero-sized arrays.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2390 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 3 insertions, 1 deletions

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index ff12823..ba599da 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -834,8 +834,10 @@ let convertGlobvar loc env (sto, id, ty, optinit) =
   let (section, access) =
     Sections.for_variable env id' ty (optinit <> None) in
   if Z.gt sz (Z.of_uint64 0xFFFF_FFFFL) then
-    error (sprintf "Variable %s is too big (%s bytes)"
+    error (sprintf "'%s' is too big (%s bytes)"
                    id.name (Z.to_string sz));
+  if Cutil.incomplete_type env ty then
+    error (sprintf "'%s' has incomplete type" id.name);
   Hashtbl.add decl_atom id'
     { a_storage = sto;
       a_alignment = Some (Z.to_int al);