]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c76c8b9) | patch
[Ada] Disable special handling for preconditions specified by pragmas
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 26 Sep 2018 09:16:39 +0000 (09:16 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 26 Sep 2018 09:16:39 +0000 (09:16 +0000)
commit70924aa6fa5014af66f75ae0177427e8efdfd351
treed42495b64ae65b9ccae91c68353cb391fdf9bbaetree
parentc76c8b9181201bc29479de5682076e56fcad7ca8commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264604 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/contracts.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git