2024-10-15 23:25 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000159mercuryBugpublic2010-09-14 20:38
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000159: liveness.m: Unexpected: branches of switch disagree on liveness
DescriptionFrom 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.
TagsNo tags attached.
Attached Files
  • ? file icon bug.m (1,005 bytes) 2010-08-23 12:03

-Relationships
+Relationships

-Notes

~0000289

zs (developer)

Bug fix committed 14 sep 2010.
+Notes

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