diff options
| author | Yannick Moy <moy@adacore.com> | 2018-06-11 09:18:12 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:18:12 +0000 |
| commit | a19711197eb4c7d72f493e808534faa490e94712 (patch) | |
| tree | b8bc7e9ef6f1a93a56e0f7ea7da3d26212f48432 /gcc/fortran/interface.c | |
| parent | d42dc0ade04ceb5b186fec9cdbc2554251753583 (diff) | |
| download | gcc-a19711197eb4c7d72f493e808534faa490e94712.zip gcc-a19711197eb4c7d72f493e808534faa490e94712.tar.gz gcc-a19711197eb4c7d72f493e808534faa490e94712.tar.bz2 | |
[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.
From-SVN: r261414
Diffstat (limited to 'gcc/fortran/interface.c')
0 files changed, 0 insertions, 0 deletions