[Ada] Unnesting: add a predicate to help expansion of task and protected types
authorEd Schonberg <schonberg@adacore.com>
Thu, 31 May 2018 10:44:51 +0000 (10:44 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 31 May 2018 10:44:51 +0000 (10:44 +0000)
commitade649b2bfd24a1adcc28d96fa4b81878efe1c0b
tree3a2e201dac6aa8fee70cde1a6375eb2cfe7e93e6
parentdfd2da005e1023bbcbcc0390bbb360c1b8a43f77
[Ada] Unnesting: add a predicate to help expansion of task and protected types

2018-05-31  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_unst.ads, exp_unst.adb (In_Synchronized_Unit): New predicate to
mark subprograms that cannot be eliminated because they must be treated
as reachable from outside the current unit. This includes entry bodies
and protected operations.

From-SVN: r260994
gcc/ada/ChangeLog
gcc/ada/exp_unst.adb
gcc/ada/exp_unst.ads