diff options
| author | Yannick Moy <moy@adacore.com> | 2019-10-10 15:25:22 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-10-10 15:25:22 +0000 |
| commit | 5913d1b7c060ba061e912850bec290c83b06c7aa (patch) | |
| tree | 820bcdf330f8f41adf461a456fef6f56a9de3a81 /libcpp/files.c | |
| parent | 60f66f34a669f4f15c2fc178d95f12b081f83005 (diff) | |
| download | gcc-5913d1b7c060ba061e912850bec290c83b06c7aa.zip gcc-5913d1b7c060ba061e912850bec290c83b06c7aa.tar.gz gcc-5913d1b7c060ba061e912850bec290c83b06c7aa.tar.bz2 | |
[Ada] Fix inlining of subprograms with deep param/result in GNATprove
2019-10-10 Yannick Moy <moy@adacore.com>
gcc/ada/
* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do not peek
under private types whose completion is SPARK_Mode Off.
From-SVN: r276833
Diffstat (limited to 'libcpp/files.c')
0 files changed, 0 insertions, 0 deletions