Skip to content

Commit 5d017f1

Browse files
committed
Make a register as storage specify to a fatal error.
1 parent 5634dce commit 5d017f1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cparser/Elab.ml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1862,7 +1862,7 @@ let enter_decdefs local loc env sto dl =
18621862
let elab_fundef env spec name body loc =
18631863
let (s, sto, inline, ty, env1) = elab_name env spec name in
18641864
if sto = Storage_register then
1865-
error loc "a function definition cannot have 'register' storage class";
1865+
fatal_error loc "a function definition cannot have 'register' storage class";
18661866
(* Fix up the type. We can have params = None but only for an
18671867
old-style parameterless function "int f() {...}" *)
18681868
let ty =

0 commit comments

Comments
 (0)