exp_ch9.adb (Expand_Entry_Barrier): Code cleanup.
authorHristian Kirtchev <kirtchev@adacore.com>
Thu, 27 Apr 2017 12:18:31 +0000 (12:18 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 27 Apr 2017 12:18:31 +0000 (14:18 +0200)
commit3b2249aa1bb3f0240d45130a185c477c4530dc5a
tree6c325a5af15dc82cc88d5b982f068db66259d963
parenta3ef4e650e37bb768468d18d7c0f0b45298c3452
exp_ch9.adb (Expand_Entry_Barrier): Code cleanup.

2017-04-27  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch9.adb (Expand_Entry_Barrier): Code
cleanup. Do not perform the optimization which removes the
declarations of the discriminant and component renamings when
validity checks on operands and attributes are in effect.

2017-04-27  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_spark.adb, exp_util.adb, sem_ch7.adb, g-dyntab.adb, g-dyntab.ads,
freeze.adb, a-cfinve.ads, a-cofuma.adb, a-cofuma.ads, a-cfhama.adb,
a-cfhama.ads, a-cofove.ads: Minor reformatting.

2017-04-27  Hristian Kirtchev  <kirtchev@adacore.com>

* g-debpoo.adb (Dump_Gnatmem): Protect against a possible null
pointer dereference.
* g-spipat.adb (Dump): Code clean up. Protect against a possible
null pointer dereference.

From-SVN: r247326
16 files changed:
gcc/ada/ChangeLog
gcc/ada/a-cfhama.adb
gcc/ada/a-cfhama.ads
gcc/ada/a-cfinve.ads
gcc/ada/a-cofove.ads
gcc/ada/a-cofuma.adb
gcc/ada/a-cofuma.ads
gcc/ada/exp_ch9.adb
gcc/ada/exp_spark.adb
gcc/ada/exp_util.adb
gcc/ada/freeze.adb
gcc/ada/g-debpoo.adb
gcc/ada/g-dyntab.adb
gcc/ada/g-dyntab.ads
gcc/ada/g-spipat.adb
gcc/ada/sem_ch7.adb