r255441 - in /trunk/gcc/ada: ChangeLog bindgen.adb

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Wed Dec  6 09:42:57 2017
New Revision: 255441

URL: https://gcc.gnu.org/viewcvs?rev=255441&root=gcc&view=rev
Log:
	PR ada/66205
	* bindgen.adb (Gen_AdaFinal): If the restriction No_Task_Termination is
	set, generate a null body.

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