* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: Do not
commit13194e938deb9b6e668164e105915fa1591715ef
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Mar 2015 09:18:38 +0000 (16 09:18 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 16 Mar 2015 09:18:38 +0000 (16 09:18 +0000)
tree3d9038b79ee7fdcbb27375573f863d50d53a1b9c
parentcc12a806f2938023f3dbbb9f635113845a6bfe70
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Abstract_State>: Do not
short-circuit the regular handling.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221446 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c