diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-08-19 08:37:28 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-19 08:37:28 +0000 |
| commit | 8fafa0b42000f5fa0284f8e3308f233a41843461 (patch) | |
| tree | ce45a4edde11db39c89e24ba0f81d0fe935e479e /gcc/tree-scalar-evolution.c | |
| parent | bfa6962fc25e2e24b3a5299095e933f9b57bb6e0 (diff) | |
| download | gcc-8fafa0b42000f5fa0284f8e3308f233a41843461.zip gcc-8fafa0b42000f5fa0284f8e3308f233a41843461.tar.gz gcc-8fafa0b42000f5fa0284f8e3308f233a41843461.tar.bz2 | |
[Ada] Fix bogus compilation error with Elaborate_Body and -gnatN
This fixes a bogus compilation error when a unit with SPARK_Mode
containing a pragma Elaborate_Body is with-ed by a generic unit
containing an inlined subprogram, and front-end inlining is enabled.
2019-08-19 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* sem_prag.adb (Is_Before_First_Decl): Deal with rewritten
pragmas.
gcc/testsuite/
* gnat.dg/elab8.adb, gnat.dg/elab8_gen.adb,
gnat.dg/elab8_gen.ads, gnat.dg/elab8_pkg.adb,
gnat.dg/elab8_pkg.ads: New testcase.
From-SVN: r274664
Diffstat (limited to 'gcc/tree-scalar-evolution.c')
0 files changed, 0 insertions, 0 deletions