diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2013-09-18 10:35:53 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2013-09-18 10:35:53 +0000 |
| commit | d2c03c72c00a8103d8e7b27d17eb1321f22f8373 (patch) | |
| tree | d6f058591c988a59e2b3d0ed02b61558a31ef79e /gcc/ada/gcc-interface/decl.c | |
| parent | 195934c57ce605e07d24187e4f6811060b4cd51d (diff) | |
| download | gcc-d2c03c72c00a8103d8e7b27d17eb1321f22f8373.zip gcc-d2c03c72c00a8103d8e7b27d17eb1321f22f8373.tar.gz gcc-d2c03c72c00a8103d8e7b27d17eb1321f22f8373.tar.bz2 | |
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: New.
From-SVN: r202690
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index 26342e2..456d7ab 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 (); } |