exp_ch6.adb (Check_View_Conversion): Created this function to properly chain calls...
authorJustin Squirek <squirek@adacore.com>
Thu, 12 Jan 2017 13:24:16 +0000 (13:24 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 12 Jan 2017 13:24:16 +0000 (14:24 +0100)
commit84e13614352202b592fd28fc12c18c07b5ae5d53
tree15e79b2416422beed5858d9030464c5814ace26b
parente51102b29c1489ded25723b8149f44a32ff10696
exp_ch6.adb (Check_View_Conversion): Created this function to properly chain calls to check type invariants that may...

2017-01-12  Justin Squirek  <squirek@adacore.com>

* exp_ch6.adb (Check_View_Conversion): Created this function
to properly chain calls to check type invariants that may be
present in a subprogram call after the subprogram.
(Expand_Call): Add a conditional to identify when a view conversion
needs to be checked.
* nlists.adb, nlists.ads (Prepend_New): New routine.
(Prepend_New_To): New routine.

From-SVN: r244354
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/nlists.adb
gcc/ada/nlists.ads