This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Fix crash in ASIS mode
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Wed, 18 Sep 2013 12:34:44 +0200
- Subject: [Ada] Fix crash in ASIS mode
- Authentication-results: sourceware.org; auth=none
Tested on x86_64-suse-linux, applied on the mainline.
2013-09-18 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: New.
--
Eric Botcazou
Index: gcc-interface/decl.c
===================================================================
--- gcc-interface/decl.c (revision 202681)
+++ gcc-interface/decl.c (working copy)
@@ -4812,6 +4812,12 @@ gnat_to_gnu_entity (Entity_Id gnat_entit
saved = true;
break;
+ case E_Abstract_State:
+ /* This is a SPARK annotation that only reaches here when compiling in
+ ASIS mode and has no characteristics to annotate. */
+ gcc_assert (type_annotate_only);
+ return error_mark_node;
+
default:
gcc_unreachable ();
}