Richard Biener writes:
>> Am 09.08.2024 um 19:19 schrieb Richard Sandiford :
>>
>> This patch is an attempt to gauge opinion on one way of fixing PR30920.
>>
>> The PR points out that the libiberty splay tree implementation does
>> not implement the algorithm described by Sleator and Tarjan and
> Am 09.08.2024 um 19:19 schrieb Richard Sandiford :
>
> This patch is an attempt to gauge opinion on one way of fixing PR30920.
>
> The PR points out that the libiberty splay tree implementation does
> not implement the algorithm described by Sleator and Tarjan and has
> unclear complexity b
This patch is an attempt to gauge opinion on one way of fixing PR30920.
The PR points out that the libiberty splay tree implementation does
not implement the algorithm described by Sleator and Tarjan and has
unclear complexity bounds. (It's also somewhat dangerous in that
splay_tree_min and splay