diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-05 07:03:20 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-05 07:03:20 +0000 |
| commit | c365eb26e87eab31f55b760fe4220b68fb952b72 (patch) | |
| tree | 98a60ccbff6e973252d405c7435ac3c2f93304ac /gcc/tree-scalar-evolution.c | |
| parent | 9880061b346330e7c986016bdec75f38659f8793 (diff) | |
| download | gcc-c365eb26e87eab31f55b760fe4220b68fb952b72.zip gcc-c365eb26e87eab31f55b760fe4220b68fb952b72.tar.gz gcc-c365eb26e87eab31f55b760fe4220b68fb952b72.tar.bz2 | |
[Ada] Fix position of subprogram body generated for static predicate
2019-07-05 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch13.adb (Build_Predicate_Functions): If a subtype that
carries a static predicate aspect is frozen immediately after
its declaration, ensure that the generated function body created
for predicate checking is inserted after the corresponding
subprogram declaration, which is created at the point the
declaration is elaborated.
From-SVN: r273122
Diffstat (limited to 'gcc/tree-scalar-evolution.c')
0 files changed, 0 insertions, 0 deletions