| commit | 9098ae6cde6f6ec9818c180f28a7a7f7ebc6699d | |
| author | Eric Botcazou <ebotcazou@adacore.com> | |
| Wed, 5 Apr 2023 18:34:43 +0000 (5 20:34 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 29 May 2023 08:23:20 +0000 (29 10:23 +0200) | ||
| tree | 5dcd70ef2d247e7140afe8575c0b43d2e8c63936 | treesnapshot (tar.gz zip) |
| parent | 7c784ca077ce181bb247c6f17407da5ee0b46b0c | commitdiff |
ada: Fix wrong result for membership test of null in null-excluding access type
The result must be False as per the RM 4.5.2 (30.2/4) clause.
gcc/ada/
* exp_ch4.adb (Expand_N_In): Deal specifically with a null operand.
The result must be False as per the RM 4.5.2 (30.2/4) clause.
gcc/ada/
* exp_ch4.adb (Expand_N_In): Deal specifically with a null operand.
| gcc/ada/exp_ch4.adb | diffblobblamehistory |