diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-09 07:54:00 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:54:00 +0000 |
| commit | 554a9844f74932d2c6e9a690d04bfd96b361055b (patch) | |
| tree | 6312457ae3ef968364d1de177da993b606b6114c /gcc/ada/sem_spark.adb | |
| parent | 5dd6327237996b7f4103e11c76aac01bf2420e19 (diff) | |
| download | gcc-554a9844f74932d2c6e9a690d04bfd96b361055b.zip gcc-554a9844f74932d2c6e9a690d04bfd96b361055b.tar.gz gcc-554a9844f74932d2c6e9a690d04bfd96b361055b.tar.bz2 | |
[Ada] Prevent inconsistent state for inlining in GNATprove
In GNATprove mode, subprograms with a body to inline should have been
filtered in Analyze_Subprogram_Body_Helper to match the conditions for
inlining subprograms in GNATprove. Prevent a call to Set_Body_To_Inline
in GNATprove mode that did not go through this filtering.
There is no impact on compilation.
2019-07-09 Yannick Moy <moy@adacore.com>
gcc/ada/
* freeze.adb (Build_Renamed_Body): Do not set body to inline in
GNATprove mode.
From-SVN: r273274
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions