]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 24 Jun 2023 17:30:55 +0000 (19:30 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 4 Jul 2023 08:08:28 +0000 (10:08 +0200)
commit2e80be632bfd09987425cb0bdd271659673e1e43
tree96e02c0f285f0a1e723e30981fb18bf442cb2eea
parent73918baf49f6d31d349e43e39cd11ca4fb074fce
ada: Small adjustments to new procedure Expand_Unchecked_Union_Equality

The procedure is not stable under repeated invocation.  Now it may be called
twice on the same node, for example during the expansion of the renaming of
the predefined equality operator after the unchecked union type is frozen.

gcc/ada/

* exp_ch4.ads (Expand_Unchecked_Union_Equality): Only take a
single parameter.
* exp_ch4.adb (Expand_Unchecked_Union_Equality): Add guard against
repeated invocation on the same node.
* exp_ch6.adb (Expand_Call): Only pass a single actual parameter
in the call to Expand_Unchecked_Union_Equality.
gcc/ada/exp_ch4.adb
gcc/ada/exp_ch4.ads
gcc/ada/exp_ch6.adb