]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bbc794) | patch
[Ada] Assertion_Policy for class-wide precondition
authorBob Duff <duff@adacore.com>
Tue, 17 Jul 2018 08:09:30 +0000 (08:09 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 17 Jul 2018 08:09:30 +0000 (08:09 +0000)
commitdb38c41b4b5529cb491116f090b1894ff6f9e9ae
tree715d049edce5ab801e8651a25077c57407d7ef7atree | snapshot
parent2bbc7940969ba1840d103c3f0c6af2de2e67c514commit | diff
[Ada] Assertion_Policy for class-wide precondition

This patch fixes the compiler to that class-wide preconditions on primitive
operations of interfaces are not checked at run time when the Assertion_Policy
indicates that they should be ignored. This is required by the RM.

2018-07-17  Bob Duff  <duff@adacore.com>

gcc/ada/

* exp_disp.adb (Build_Class_Wide_Check): Return early if the
precondition is supposed to be ignored.

From-SVN: r262789
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/exp_disp.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git