projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2d2310) | patch
[Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching calls
authorJavier Miranda <miranda@adacore.com>
Thu, 18 Feb 2021 18:47:10 +0000 (13:47 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 16 Jun 2021 08:42:58 +0000 (04:42 -0400)
commitcbb64f6b9ac870176700a2fa723a3b21a53b9b29
tree0f5b5ef319b4837ee7148b452a60ab322c7b3025tree | snapshot
parenta2d2310d80ae992306f97764a850c56e70a1a8e3commit | diff
[Ada] ACATS 4.1R-c611a04: Class-wide preconditions in dispatching calls

gcc/ada/

* exp_disp.adb (Build_Class_Wide_Check): Ensure that evaluation
of actuals is side effects free (since the check duplicates
actuals).
gcc/ada/exp_disp.adb diff | blob | history
Domain: System / Toolchain;