[Ada] Remove External aspect from predefined abstract states
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 21 May 2018 14:51:04 +0000 (14:51 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 21 May 2018 14:51:04 +0000 (14:51 +0000)
commitbbb99006570016986e821b7ddad581b0f2042c44
tree36dc957fe485838eafda22f879d81e100a54f972
parente3822b0aae8c0756929e31c61330e941b17c8eb2
[Ada] Remove External aspect from predefined abstract states

Explicit External aspect was an equivalant to an implicit default.  It was only
needed as a workaround for a frontend bug. (If it meant to serve as
documentation, there should be explicit Effective_Reads and Effective_Writes
set to False too.)

No test, because these changes are semantically neutral.

2018-05-21  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* libgnarl/a-reatim.ads (Clock_Time): Remove External aspect.
* libgnarl/a-taside.ads (Tasking_State): Likewise.
* libgnat/a-calend.ads (Clock_Time): Likewise.

From-SVN: r260455
gcc/ada/ChangeLog
gcc/ada/libgnarl/a-reatim.ads
gcc/ada/libgnarl/a-taside.ads
gcc/ada/libgnat/a-calend.ads