diff options
| author | Javier Miranda <miranda@adacore.com> | 2022-03-15 13:20:24 -0700 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-17 08:25:41 +0000 |
| commit | a08f366ae875ae70fba5014c94956cdbf7bf91db (patch) | |
| tree | f9d2e24856f8ccc038738adf470396b9d0c30267 /gcc/ada/gcc-interface/trans.cc | |
| parent | 8fc021c0988113e1fcc5ec026f2382b074894e95 (diff) | |
| download | gcc-a08f366ae875ae70fba5014c94956cdbf7bf91db.zip gcc-a08f366ae875ae70fba5014c94956cdbf7bf91db.tar.gz gcc-a08f366ae875ae70fba5014c94956cdbf7bf91db.tar.bz2 | |
[Ada] Implement calls to abstract subprograms in class-wide pre/post-conditions
In some special cases involving class-wide pre/post conditions, Ada
allows a non-dispatching call to an abstract function (which is usually
illegal). Fix a bug in the implementation of Ada's rules about the
run-time behavior of such a call. Thanks to Javier Miranda for producing
this patch.
gcc/ada/
* contracts.adb (Build_Call_Helper_Body): Improve handling of
the case of a (legal) non-dispatching call to an abstract
subprogram.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.cc')
0 files changed, 0 insertions, 0 deletions