* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: New.
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 18 Sep 2013 10:35:53 +0000 (10:35 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Wed, 18 Sep 2013 10:35:53 +0000 (10:35 +0000)
commitd2c03c72c00a8103d8e7b27d17eb1321f22f8373
treed6f058591c988a59e2b3d0ed02b61558a31ef79e
parent195934c57ce605e07d24187e4f6811060b4cd51d
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: New.

From-SVN: r202690
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c