0000512: branches of if-then-else disagree on liveness

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000512

mercury

Bug

public

2020-07-02 11:38

2020-10-29 19:36

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000512: branches of if-then-else disagree on liveness

Description

See 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

Tags

No tags attached.

Attached Files

liveness_test_case.m (628 bytes) 2020-07-02 11:38

Relationships

Relationships

Notes

~0001123

zs (developer)

2020-10-29 19:36

Fix committed 2020 oct 23.

Notes

Date Modified	Username	Field	Change
Issue History
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