Mercury Bugs - mercury
View Issue Details
0000572mercuryBugpublic2024-02-19 10:442024-02-20 17:38
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000572: Code generator abort in debugging grades
DescriptionThe attached is a cut-down version of a program that causes an abort in debugging grades originally reported by Volker Wysk on the reviews list on 3 January 2024. Compiling it in a debugging grade results in:

Uncaught Mercury exception:
Software Error: predicate `ll_backend.liveness.require_equal'/4: Unexpected: branches of if-then-else disagree on liveness
First: ArgDesc_3, Values_4, MDef_5, Default_6, TypeClassInfo_for_argument_21, TypeInfo_22_22
Rest: ArgDesc_3, Values_4, MDef_5, Default_6, TypeInfo_22_22
Steps To Reproducemmc -s asm_fast.gc.debug -C bug572.m

Additional Information
TagsNo tags attached.
Attached Files? bug572.m (2,643) 2024-02-19 10:44

2024-02-20 17:38   
Fix committed 2024 02 20.

Issue History
2024-02-19 10:44juliensfNew Issue
2024-02-19 10:44juliensfFile Added: bug572.m
2024-02-19 13:55zsAssigned To => zs
2024-02-19 13:55zsStatusnew => assigned
2024-02-20 17:38zsStatusassigned => resolved
2024-02-20 17:38zsResolutionopen => fixed
2024-02-20 17:38zsNote Added: 0001230