]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix actual parameters in call
authorRonan Desplanques <desplanques@adacore.com>
Thu, 13 Nov 2025 07:16:18 +0000 (08:16 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 27 Nov 2025 12:57:43 +0000 (13:57 +0100)
commit0aaff350c25659cba2c1bc86deada888aebbf0d3
tree8dfded64a313a3255de7a79e0d6bec2e23ec43ef
parent23e1be3c9517fd0a46ec6dca5af7eae2ea977179
ada: Fix actual parameters in call

A recent patch made Multi_Module_Symbolic_Traceback have two consecutive
formal parameters of type Boolean, which opens the door for mixing up
actual parameters in calls. And that mistake was actually made in a call
introduced by the same patch.

This commit fixes the call and also introduces a new enumerated type to
make this kind of mistake less likely in the future.

gcc/ada/ChangeLog:

* libgnat/s-dwalin.ads (Display_Mode_Type): New enumerated type.
(Symbolic_Traceback): Use new type in profile.
* libgnat/s-dwalin.adb (Symbolic_Traceback): Use new type in profile
and adapt body.
* libgnat/s-trasym__dwarf.adb (Multi_Module_Symbolic_Traceback): Fix
wrong call in body of one overload. Use new type in profile. Adapt
body.
(Symbolic_Traceback, Symbolic_Traceback_No_Lock,
Module_Symbolic_Traceback): Use new type in profile and adapt body.
(Calling_Entity): Adapt body.
gcc/ada/libgnat/s-dwalin.adb
gcc/ada/libgnat/s-dwalin.ads
gcc/ada/libgnat/s-trasym__dwarf.adb