r261414 - in /trunk/gcc/ada: ChangeLog gnat1drv...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon Jun 11 09:18:12 2018
New Revision: 261414

URL: https://gcc.gnu.org/viewcvs?rev=261414&root=gcc&view=rev
Log:
[Ada] Do not query the representation information in CodePeer/GNATprove

Representation information generated when user calls the compiler with -gnatR
switch is not available when running the frontend inside CodePeer or GNATprove.
Do not query such information in that case, as this leads to spurious messages
that it is not available.

There is no impact on compilation.

2018-06-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* gnat1drv.adb: Do not check representation information in CodePeer and
	GNATprove modes, as these modes call a special backend instead of gigi,
	so do not have the information.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gnat1drv.adb