2024-12-11 03:47 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000051mercuryBugpublic2013-09-09 16:22
Reporterwangp 
Assigned Towangp 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000051: abort during liveness detection
DescriptionThe attached file aborts during liveness detection with these options:

mmc -O2 --optimise-higher-order --optimise-constant-propagation --no-common-struct -C string2

(this is just a cut down string.m. The same thing happens with the full file.)


% Computing liveness in function `string2.foldr'/3 mode 0
Uncaught Mercury exception:
Software Error: hlds_llds.m: Unexpected: goal_info_get_post_births: no code_gen_info
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000565

wangp (developer)

Fixed (I think) in d67f1f8. The test case is different.
+Notes

-Issue History
Date Modified Username Field Change
2008-03-04 15:03 wangp New Issue
2008-03-04 15:03 wangp File Added: string2.m
2013-09-09 16:22 wangp Note Added: 0000565
2013-09-09 16:22 wangp Status new => resolved
2013-09-09 16:22 wangp Resolution open => fixed
2013-09-09 16:22 wangp Assigned To => wangp
+Issue History