diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-09-26 09:16:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:16:39 +0000 |
| commit | 6d7d342a391f9ab3b0fa6779bfe9657d574695e2 (patch) | |
| tree | d42495b64ae65b9ccae91c68353cb391fdf9bbae /gcc/tree-ssa-loop-split.c | |
| parent | ef8f9700fa4cb1d8cd6c3f38510da08d562b0791 (diff) | |
| download | gcc-6d7d342a391f9ab3b0fa6779bfe9657d574695e2.zip gcc-6d7d342a391f9ab3b0fa6779bfe9657d574695e2.tar.gz gcc-6d7d342a391f9ab3b0fa6779bfe9657d574695e2.tar.bz2 | |
[Ada] Disable special handling for preconditions specified by pragmas
2018-09-26 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* contracts.adb (Analyze_Entry_Or_Subprogram_Contract): The
analysis of preconditions specified by pragmas (rather than
aspects) is not delayed, and therefore expressions functions
that are completions do not need special handling during
expansion.
From-SVN: r264604
Diffstat (limited to 'gcc/tree-ssa-loop-split.c')
0 files changed, 0 insertions, 0 deletions