| commit | 41cb1ea74e2cf2778a7f39a53effc99b2647f6fd | |
| author | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 6 Dec 2017 09:42:57 +0000 (6 09:42 +0000) | ||
| committer | ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Wed, 6 Dec 2017 09:42:57 +0000 (6 09:42 +0000) | ||
| tree | 629aaf14b54f142bdff3694de058759c03b4b9aa | treesnapshot (tar.gz zip) |
| parent | f9c5dc0cc0a43b3e6281809f1d81be2ef274c053 | commitdiff |
PR ada/66205
* bindgen.adb (Gen_AdaFinal): If the restriction No_Task_Termination is
set, generate a null body.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255441 138bc75d-0d04-0410-961f-82ee72b054a4
* bindgen.adb (Gen_AdaFinal): If the restriction No_Task_Termination is
set, generate a null body.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@255441 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ada/ChangeLog | diffblobblamehistory | |
| gcc/ada/bindgen.adb | diffblobblamehistory |