]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0c6bd6) | patch
[Ada] Remove special case for processing null range in GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 4 May 2020 17:14:19 +0000 (19:14 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 6 Jul 2020 11:34:54 +0000 (07:34 -0400)
commiteddd728f5f832869596529490f5db019ee899d53
tree3269d3c433b5639c98cb14ab6f230f1b5472d03ftree
parentf0c6bd6039459e984bbdebbf1abf231f64c9d1cacommit | diff
[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.
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git