Mercury Bugs - mercury
View Issue Details
0000512mercuryBugpublic2020-07-02 11:382020-07-02 11:38
Reporterwangp 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
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
First:
Rest: Cs_8
TagsNo tags attached.
Attached Files? liveness_test_case.m (628) 2020-07-02 11:38
https://bugs.mercurylang.org/file_download.php?file_id=301&type=bug

There are no notes attached to this issue.

Issue History
2020-07-02 11:38wangpNew Issue
2020-07-02 11:38wangpFile Added: liveness_test_case.m