2020-08-10 21:20 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000512mercuryBugpublic2020-07-02 11:38
Reporterwangp 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
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

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-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