diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-05-04 19:14:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-07-06 07:34:54 -0400 |
| commit | eddd728f5f832869596529490f5db019ee899d53 (patch) | |
| tree | 3269d3c433b5639c98cb14ab6f230f1b5472d03f /gcc/fortran | |
| parent | f0c6bd6039459e984bbdebbf1abf231f64c9d1ca (diff) | |
| download | gcc-eddd728f5f832869596529490f5db019ee899d53.zip gcc-eddd728f5f832869596529490f5db019ee899d53.tar.gz gcc-eddd728f5f832869596529490f5db019ee899d53.tar.bz2 | |
[Ada] Remove special case for processing null range in GNATprove
gcc/ada/
* sem_res.adb (Resolve_Range): Resolve both low and high bounds
with the range type.
Diffstat (limited to 'gcc/fortran')
0 files changed, 0 insertions, 0 deletions