diff options
| author | Yannick Moy <moy@adacore.com> | 2018-07-16 14:09:58 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-16 14:09:58 +0000 |
| commit | ffafd2ab077af58be0b66636c0db18f70d412f8a (patch) | |
| tree | d198fe3d136212a87b3f1095419ec1f1e569e476 /gcc/ada/adaint.c | |
| parent | b3181992f587d6d7de62c21ae93fb37d68f8d265 (diff) | |
| download | gcc-ffafd2ab077af58be0b66636c0db18f70d412f8a.zip gcc-ffafd2ab077af58be0b66636c0db18f70d412f8a.tar.gz gcc-ffafd2ab077af58be0b66636c0db18f70d412f8a.tar.bz2 | |
[Ada] Adjust inlining in GNATprove mode for predicate/invariant/DIC
The frontend generates special functions for checking subtype predicates,
type invariants and Default_Initial_Condition aspect. These are translated
as predicates in GNATprove, and as such should no call inside these
functions should be inlined. This is similar to the existing handling of
calls inside expression functions.
There is no impact on compilation.
2018-07-16 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Call): Do not inline calls inside
compiler-generated functions translated as predicates in GNATprove.
From-SVN: r262701
Diffstat (limited to 'gcc/ada/adaint.c')
0 files changed, 0 insertions, 0 deletions