[Ada] Fix incorrect insertion of post-call actions in if-expression

Pierre-Marie de Rodat derodat@adacore.com
Wed Jun 10 13:35:39 GMT 2020


When post-call actions need to be inserted in an expression context, an
N_Expression_With_Actions node is used.  That's not done here for the
condition of an if-expression, so the change adds this case.

It also deals with the case of a call to a primitive of a tagged type
written in prefixed notation, which was also missing.

No functional changes.

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-10  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* exp_ch6.adb (Insert_Post_Call_Actions): Deal with the context
	of an if-expression and with a call written in prefixed notation.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 1601 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20200610/397f718a/attachment.bin>


More information about the Gcc-patches mailing list