r251699 - in /trunk/gcc: ada/ChangeLog ada/gcc-...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Tue Sep  5 08:54:14 2017
New Revision: 251699

URL: https://gcc.gnu.org/viewcvs?rev=251699&root=gcc&view=rev
Log:
	* gcc-interface/trans.c (adjust_for_implicit_deref): New function.
	(gnat_to_gnu) <N_Explicit_Dereference>: Translate result type first.
	(N_Indexed_Component): Invoke adjust_for_implicit_deref on the prefix.
	(N_Slice): Likewise.
	(N_Selected_Component): Likewise.  Do not try again to translate it.
	(N_Free_Statement): Invoke adjust_for_implicit_deref on the expression.

Added:
    trunk/gcc/testsuite/gnat.dg/taft_type4.adb
    trunk/gcc/testsuite/gnat.dg/taft_type4_pkg.adb
    trunk/gcc/testsuite/gnat.dg/taft_type4_pkg.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/trans.c
    trunk/gcc/testsuite/ChangeLog