git
/
gcc
mirror of git://gcc.gnu.org/git/gcc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

decl.c (gnat_to_gnu_entity): Do not short-circuit the regular handling. 

* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: Do not
	short-circuit the regular handling.

From-SVN: r221446
This commit is contained in:
Eric Botcazou 2015-03-16 09:18:38 +00:00 committed by Eric Botcazou
parent e1be83cac8
commit c8dbf886e9
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/ChangeLog
View File

@ -1,3 +1,8 @@
2015-03-16 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: Do not
short-circuit the regular handling.
2015-03-13 Robert Dewar <dewar@adacore.com> 2015-03-13 Robert Dewar <dewar@adacore.com>
* exp_unst.adb (Note_Uplevel_Reference): Eliminate duplicate * exp_unst.adb (Note_Uplevel_Reference): Eliminate duplicate

6
gcc/ada/gcc-interface/decl.c
View File

@ -4800,9 +4800,11 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, int definition)
case E_Abstract_State: case E_Abstract_State:
/* This is a SPARK annotation that only reaches here when compiling in /* 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); gcc_assert (type_annotate_only);
return error_mark_node; gnu_decl = error_mark_node;
saved = true;
break;
default: default:
gcc_unreachable (); gcc_unreachable ();