[m-rev.] Compiler bug: Uncaught Mercury exception

[Julien Fischer]

Hi,

On Tue, 2 Jan 2024, Volker Wysk wrote:

> I get the following when I compile my program:
>
> ./mmc-make
> Making Mercury/int3s/colipa.int3
> Making Mercury/ints/colipa.int
> Making Mercury/cs/colipa.c
> Uncaught Mercury exception:
> Software Error: predicate `ll_backend.liveness.require_equal'/4: Unexpected:
> branches of if-then-else disagree on liveness
> First: HeadVar__4_4, QueryFunction_6, Arguments_7, Arg_8, Values_9,
> ArgDesc_10, MDef_11, Default_12, TypeClassInfo_for_argument_42,
> TypeInfo_43_43
> Rest:  HeadVar__4_4, QueryFunction_6, Arguments_7, Arg_8, Values_9,
> ArgDesc_10, MDef_11, Default_12, TypeInfo_43_43
>
> I've attached the three files that are involved.
>
> This time it *really* is a bug. :)

Indeed it is. I've placed cut-down version of the problem here:
<https://bugs.mercurylang.org/view.php?id=572>.

Julien.