2024-11-07 14:38 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000512mercuryBugpublic2020-10-29 19:36
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
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

~0001123

zs (developer)

Fix committed 2020 oct 23.
+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
2020-10-22 19:49 zs Assigned To => zs
2020-10-22 19:49 zs Status new => assigned
2020-10-29 19:36 zs Status assigned => resolved
2020-10-29 19:36 zs Resolution open => fixed
2020-10-29 19:36 zs Note Added: 0001123
+Issue History