From c71e155dbbf34fa17d14e8eee50a019c8ccfd6f5 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Thu, 2 Jan 2014 15:31:09 +0000
Subject: Incomplete types are OK for 'extern' global variables.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2398 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 cfrontend/C2C.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cfrontend')

diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml
index ff4b6c1..3f3df2e 100644
--- a/cfrontend/C2C.ml
+++ b/cfrontend/C2C.ml
@@ -918,7 +918,7 @@ let convertGlobvar loc env (sto, id, ty, optinit) =
   if Z.gt sz (Z.of_uint64 0xFFFF_FFFFL) then
     error (sprintf "'%s' is too big (%s bytes)"
                    id.name (Z.to_string sz));
-  if Cutil.incomplete_type env ty then
+  if sto <> C.Storage_extern && Cutil.incomplete_type env ty then
     error (sprintf "'%s' has incomplete type" id.name);
   Hashtbl.add decl_atom id'
     { a_storage = sto;
-- 
cgit v1.2.3