r230533 - in /trunk/gcc/ada: ChangeLog a-coinve...

[charlet@gcc.gnu.org]

Author: charlet
Date: Wed Nov 18 10:31:53 2015
New Revision: 230533

URL: https://gcc.gnu.org/viewcvs?rev=230533&root=gcc&view=rev
Log:
2015-11-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Assignment): Diagnose assignment where
	left-hand side has a limited view of a class-wide type.
	* sem_ch6.adb (Detected_And_Exchange): Do not install a non-limited
	view if the scope of the type of the formal is visible through
	a limited_with_clause, even if the non-limited view is available.

2015-11-18  Emmanuel Briot  <briot@adacore.com>

	* s-pooglo.ads: Make Global_Pool_Object aliased.

2015-11-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Analyze_Attribute, case 'Access): If the prefix
	is an expression function, do not analyze the generated body if
	the current scope is not the scope of the expression function,
	as may happen if the attribute is an actual in an instantiation.
	* sem_ch10.adb, sem_ch12.adb, a-stzmap.adb, s-soflin.adb,
	a-stwima.adb: Fix typos.

2015-11-18  Arnaud Charlet  <charlet@adacore.com>

	* exp_ch11.adb (Expand_N_Exception_Declaration): No-op when
	generating C code.

2015-11-18  Vincent Celier  <celier@adacore.com>

	* g-comlin.adb (Find_Longest_Matching_Switch): Do not take into
	account a switch ending with '=' when the actual command line
	switch is not followed with a space or '='.

2015-11-18  Ed Schonberg  <schonberg@adacore.com>

	* sem_res.adb (Resolve_Explicit_Dereference): Do not add an access
	check if the type of the prefix is known to exclude null.
	* a-coinve.adb (Get_Element_Access): The function returns an
	access type that excludes null, so add an explicit check for
	a null element pointer, which is created when Insert_Spaces is
	called on an indefinite vector container.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-coinve.adb
    trunk/gcc/ada/a-stwima.adb
    trunk/gcc/ada/a-stzmap.adb
    trunk/gcc/ada/exp_ch11.adb
    trunk/gcc/ada/g-comlin.adb
    trunk/gcc/ada/s-pooglo.ads
    trunk/gcc/ada/s-soflin.adb
    trunk/gcc/ada/sem_attr.adb
    trunk/gcc/ada/sem_ch10.adb
    trunk/gcc/ada/sem_ch12.adb
    trunk/gcc/ada/sem_ch5.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_res.adb