From 01a154119c41accf35e41f34f761170687fe2979 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 22 Sep 2016 08:48:16 +0200
Subject: Reverted noisy change.

In order to empty declarations it is necessary to distinguish
between forward declarations and empty declarations.
Bug 19859
---
 cparser/Elab.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cparser/Elab.ml b/cparser/Elab.ml
index 9cdf6c29..b6418217 100644
--- a/cparser/Elab.ml
+++ b/cparser/Elab.ml
@@ -2019,7 +2019,7 @@ let enter_decdefs local loc env sto dl =
   (* Sanity checks on storage class *)
   if sto = Storage_register && not local then
     fatal_error loc "'register' storage-class on file-scoped variable";
-  if dl = [] then
+  if sto <> Storage_default && dl = [] then
     warning loc Missing_declarations "declaration does not declare anything";
   let enter_decdef (decls, env) (s, ty, init) =
     let isfun = is_function_type env ty in
-- 
cgit