2020-09-21 09:53 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000512mercuryBugpublic2020-07-02 11:38
Assigned To 
Product Version 
Target VersionFixed in Version 
Summary0000512: branches of if-then-else disagree on liveness
DescriptionSee attached test case. This is not a recent bug as I can reproduce it with the 11.07 compiler as well.

% mmc -C liveness_test_case.m -s asm_fast.gc -O5 --intermod-opt
Uncaught Mercury exception:
Software Error: predicate `ll_backend.liveness.require_equal'/4: Unexpected: branches of if-then-else disagree on liveness
Rest: Cs_8
TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2020-07-02 11:38 wangp New Issue
2020-07-02 11:38 wangp File Added: liveness_test_case.m
+Issue History