r256522 - in /trunk/gcc/ada: ChangeLog sem_eval...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Thu Jan 11 08:56:07 2018
New Revision: 256522

URL: https://gcc.gnu.org/viewcvs?rev=256522&root=gcc&view=rev
Log:
[Ada] Allow uses of range utility routines on private types

Frontend only calls Is_Null_Range and Not_Null_Range routines on full views
of types, but backends (for example GNATprove) might call them also on
private types. This patch adapts those routines to transparently retrieve
the full type when called on a private type.

No frontend test, because only external backends are affected.

2018-01-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_eval.adb (Is_Null_Range): Retrieve the full view when called on a
	private (sub)type; refactor to avoid early return statement.
	(Not_Null_Range): Same as above.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem_eval.adb