r260455 - in /trunk/gcc/ada: ChangeLog libgnarl...

Mon May 21 14:51:00 GMT 2018

Author: pmderodat
Date: Mon May 21 14:51:04 2018
New Revision: 260455

URL: https://gcc.gnu.org/viewcvs?rev=260455&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/libgnarl/a-reatim.ads
    trunk/gcc/ada/libgnarl/a-taside.ads
    trunk/gcc/ada/libgnat/a-calend.ads