From fc4af0aa2601b290ec62dceef11599171f056770 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 8 Sep 2015 17:50:58 +0200 Subject: Global register variables result in fatal error. If they only report an error an assertion failure in Reame.ml was triggered. --- cparser/Elab.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cparser/Elab.ml b/cparser/Elab.ml index de24871f..820f90f5 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1837,7 +1837,7 @@ let enter_or_refine_ident local loc env s sto ty = let enter_decdefs local loc env sto dl = (* Sanity checks on storage class *) if sto = Storage_register && not local then - error loc "'register' on global declaration"; + fatal_error loc "'register' on global declaration"; if sto <> Storage_default && dl = [] then warning loc "Storage class specifier on empty declaration"; let rec enter_decdef (decls, env) (s, ty, init) = -- cgit