projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ef8f970) | patch
[Ada] Disable special handling for preconditions specified by pragmas
authorEd Schonberg <schonberg@adacore.com>
Wed, 26 Sep 2018 09:16:39 +0000 (09:16 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 26 Sep 2018 09:16:39 +0000 (09:16 +0000)
commit6d7d342a391f9ab3b0fa6779bfe9657d574695e2
treed42495b64ae65b9ccae91c68353cb391fdf9bbaetree
parentef8f9700fa4cb1d8cd6c3f38510da08d562b0791commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/contracts.adb diff | blob | history