[Ada] Unnesting: fix handling of private types that are synchronized
authorEd Schonberg <schonberg@adacore.com>
Tue, 9 Oct 2018 15:06:05 +0000 (15:06 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 9 Oct 2018 15:06:05 +0000 (15:06 +0000)
commitc14bd5028a410a277b2e0ba8ffbfe8ee58e74d00
tree1e75f72192e053bcc5375e42817251c26f25fb59
parent184d0451c491493927816b41dc0b9eebd63601eb
[Ada] Unnesting: fix handling of private types that are synchronized

2018-10-09  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_unst.adb (In_Synchronized_Call): Handle properly private
types whose full views are synchronized types, in order to
recognize generated subprograms whose bodies must be considered
reachable even if no direct calls to them are visible in the
source.

From-SVN: r264974
gcc/ada/ChangeLog
gcc/ada/exp_unst.adb