r244614 - in /trunk/gcc/ada: ChangeLog sem_dim.adb

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 19 11:33:17 2017
New Revision: 244614

URL: https://gcc.gnu.org/viewcvs?rev=244614&root=gcc&view=rev
Log:
2017-01-19  Ed Schonberg  <schonberg@adacore.com>

	* sem_dim.adb (Analyze_Dimension): Analyze object declaration and
	identifier nodes that do not come from source, to handle properly
	dimensionality check within an inlined body which inclddes both
	original operands and rewritten operands. This removes spurious
	dimensionality errors in the presence of front-end inlining,
	as well as in SPARK mode.


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