diff options
| author | Javier Miranda <miranda@adacore.com> | 2021-02-18 13:47:10 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-16 04:42:58 -0400 |
| commit | cbb64f6b9ac870176700a2fa723a3b21a53b9b29 (patch) | |
| tree | 0f5b5ef319b4837ee7148b452a60ab322c7b3025 /gcc/tree-ssa-loop-im.c | |
| parent | a2d2310d80ae992306f97764a850c56e70a1a8e3 (diff) | |
| download | gcc-cbb64f6b9ac870176700a2fa723a3b21a53b9b29.zip gcc-cbb64f6b9ac870176700a2fa723a3b21a53b9b29.tar.gz gcc-cbb64f6b9ac870176700a2fa723a3b21a53b9b29.tar.bz2 | |
[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).
Diffstat (limited to 'gcc/tree-ssa-loop-im.c')
0 files changed, 0 insertions, 0 deletions