diff options
Diffstat (limited to 'cfrontend')
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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; |