0000159: liveness.m: Unexpected: branches of switch disagree on liveness

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000159

mercury

Bug

public

2010-08-23 12:02

2010-09-14 20:38

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000159: liveness.m: Unexpected: branches of switch disagree on liveness

Description

From mercury-bugs

----------------

Dear all,

having bought a new notebook (the previous one was from 2003), I've also jump-updated everything to the state of the art. The joy of recompiling old things has just
begun and here are the first fruits:

rotd-2010-07-19 fails to compile the attached file (could be surely minimized yet a bit) with the following error:

22:56 bojar-nb src$mmc --make bug.o
Making Mercury/int3s/bug.int3
Making Mercury/cs/bug.c
Uncaught Mercury exception:
Software Error: liveness.m: Unexpected: branches of switch disagree on liveness
First: L_3, STATE_VARIABLE_P_4
Rest: STATE_VARIABLE_P_4

Stack dump not available in this grade.
** Error making `Mercury/cs/bug.c'.

Could you have a look at it? Disabling memoization solves it, but memoization alone is naturally fine. I guess it's the variable L where only the type and the value
is needed.

Cheers and warm greetings to everybody!
  Ondrej.

Tags

No tags attached.

Attached Files

bug.m (1,005 bytes) 2010-08-23 12:03

Relationships

Relationships

Notes

~0000289

zs (developer)

2010-09-14 20:38

Bug fix committed 14 sep 2010.

Notes

Date Modified	Username	Field	Change
Issue History
2010-08-23 12:02	juliensf	New Issue
2010-08-23 12:03	juliensf	File Added: bug.m
2010-09-14 16:46	zs	Status	new => assigned
2010-09-14 16:46	zs	Assigned To	=> zs
2010-09-14 20:38	zs	Note Added: 0000289
2010-09-14 20:38	zs	Status	assigned => resolved
2010-09-14 20:38	zs	Resolution	open => fixed

Issue History