From d2c03c72c00a8103d8e7b27d17eb1321f22f8373 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Wed, 18 Sep 2013 10:35:53 +0000 Subject: [PATCH] * gcc-interface/decl.c (gnat_to_gnu_entity) : New. From-SVN: r202690 --- gcc/ada/ChangeLog | 4 ++++ gcc/ada/gcc-interface/decl.c | 6 ++++++ 2 files changed, 10 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index fb4789cc932..686f62cc863 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2013-09-18 Eric Botcazou + + * gcc-interface/decl.c (gnat_to_gnu_entity) : New. + 2013-09-18 Eric Botcazou * gcc-interface/trans.c (gigi): Remove dead code. diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index 26342e2a012..456d7ab7ad9 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -4812,6 +4812,12 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition) 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 (); } -- 2.30.2