diff options
| author | Justin Squirek <squirek@adacore.com> | 2023-02-09 17:00:46 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-22 10:46:12 +0200 |
| commit | 6675552bacd41361d8d445438cb6d978d44c1402 (patch) | |
| tree | 3e33ec4bc86ee4683ad8512202d4d72adcdde028 /gcc/value-range.h | |
| parent | eb16654e44775841f82488311fcf08ef521756d9 (diff) | |
| download | gcc-6675552bacd41361d8d445438cb6d978d44c1402.zip gcc-6675552bacd41361d8d445438cb6d978d44c1402.tar.gz gcc-6675552bacd41361d8d445438cb6d978d44c1402.tar.bz2 | |
ada: Incorrect constant folding in postcondition involving 'Old
The following patch fixes an issue in the compiler whereby certain flavors of
access comparisons may be incorrectly constant-folded out of contract
expressions - notably in postcondition expressions featuring a reference to
'Old.
gcc/ada/
* checks.adb (Install_Null_Excluding_Check): Avoid non-null
optimizations when assertions are enabled.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions