| commit | 4c33d93bfe8582375d4e56faebb911854517a9f3 | |
| author | Marc Poulhiès <poulhies@adacore.com> | |
| Wed, 22 Mar 2023 09:43:07 +0000 (22 10:43 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 29 May 2023 08:23:18 +0000 (29 10:23 +0200) | ||
| tree | 12169770f92310a47048b6b61909d14ca594fde9 | treesnapshot (tar.gz zip) |
| parent | 1b19e6abc715c60506efff6bd5c705e727e0e373 | commitdiff |
ada: Fix restoration of parent link
When resetting the parent link after having restored the selected
component node, the assertion used was incorrectly triggered when the
traversal hits the members of the parameters association list, as in:
This.Some_Func (Param1, Param2).Dispatching_Call
When restoring the selected component for Dispatching_Call, the
assertion was wrongly triggered when passed Param1 and Param2.
gcc/ada/
* contracts.adb (Restore_Original_Selected_Component): Adjust assertion.
When resetting the parent link after having restored the selected
component node, the assertion used was incorrectly triggered when the
traversal hits the members of the parameters association list, as in:
This.Some_Func (Param1, Param2).Dispatching_Call
When restoring the selected component for Dispatching_Call, the
assertion was wrongly triggered when passed Param1 and Param2.
gcc/ada/
* contracts.adb (Restore_Original_Selected_Component): Adjust assertion.
| gcc/ada/contracts.adb | diffblobblamehistory |