diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 17:50:58 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-08 17:50:58 +0200 |
| commit | fc4af0aa2601b290ec62dceef11599171f056770 (patch) | |
| tree | 07bae81a2c4f0610973d80f12ccdb044b9554f7b /cparser | |
| parent | 2246044e99569fcf1c2172f0e710134123be8b49 (diff) | |
| download | compcert-fc4af0aa2601b290ec62dceef11599171f056770.tar.gz compcert-fc4af0aa2601b290ec62dceef11599171f056770.zip | |
Global register variables result in fatal error.
If they only report an error an assertion failure in Reame.ml was
triggered.
Diffstat (limited to 'cparser')
| -rw-r--r-- | cparser/Elab.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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) = |