diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-14 12:53:02 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-05-14 12:53:02 +0200 |
commit | 5d017f110f6c23c29a182465ab7832a944c0ba26 (patch) | |
tree | 225e396c9e236c602bfaf0e9148549c0516ea860 /cparser/Elab.ml | |
parent | 5634dce892b238afba7deed1d220e1faf71f99ea (diff) | |
download | compcert-5d017f110f6c23c29a182465ab7832a944c0ba26.tar.gz compcert-5d017f110f6c23c29a182465ab7832a944c0ba26.zip |
Make a register as storage specify to a fatal error.
Diffstat (limited to 'cparser/Elab.ml')
-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 4e8ef214..fe74a786 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -1862,7 +1862,7 @@ let enter_decdefs local loc env sto dl = let elab_fundef env spec name body loc = let (s, sto, inline, ty, env1) = elab_name env spec name in if sto = Storage_register then - error loc "a function definition cannot have 'register' storage class"; + fatal_error loc "a function definition cannot have 'register' storage class"; (* Fix up the type. We can have params = None but only for an old-style parameterless function "int f() {...}" *) let ty = |