diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2023-03-13 12:03:47 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-26 09:29:15 +0200 |
| commit | da7b4b08f13b89752941f51651dcd5109d9be925 (patch) | |
| tree | 74b6fc3355e8e72d688969d5c06a90fb7a87d010 /gcc/fortran | |
| parent | 0368fc54bc11f15bfa0ed9913fd0017815dfaa5d (diff) | |
| download | gcc-da7b4b08f13b89752941f51651dcd5109d9be925.zip gcc-da7b4b08f13b89752941f51651dcd5109d9be925.tar.gz gcc-da7b4b08f13b89752941f51651dcd5109d9be925.tar.bz2 | |
ada: Enhance Is_Null_Range and Not_Null_Range predicates
Both predicates bail out if the bounds of the range are not known at compile
time, whereas Compile_Time_Compare can deal with them in specific cases.
gcc/ada/
* sem_eval.ads (Is_Null_Range): Remove requirements of compile-time
known bounds and add WARNING line.
(Not_Null_Range): Remove requirements of compile-time known bounds.
* sem_eval.adb (Is_Null_Range): Fall back to Compile_Time_Compare.
(Not_Null_Range): Likewise.
* fe.h (Is_Null_Range): New predicate.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions