Message ID | 1838334.x3LDKONDz9@polaris |
---|---|
State | New |
Headers | show |
Index: gcc-interface/decl.c =================================================================== --- gcc-interface/decl.c (revision 221407) +++ gcc-interface/decl.c (working copy) @@ -4800,9 +4800,11 @@ gnat_to_gnu_entity (Entity_Id gnat_entit case E_Abstract_State: /* This is a SPARK annotation that only reaches here when compiling in - ASIS mode and has no characteristics to annotate. */ + ASIS mode. */ gcc_assert (type_annotate_only); - return error_mark_node; + gnu_decl = error_mark_node; + saved = true; + break; default: gcc_unreachable ();