2017-03-25 10:56 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000036mercuryBugpublic2016-06-23 14:48
Reporterjuliensf 
Assigned To 
PriorityhighSeveritymajorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000036: another tabling bug with the high-level C backend
DescriptionThe attached module causes an assertion failure in the compiler when compiled with

mmc -C --grade hlc.gc -O0 --no-optimize-dead-procs
Additional InformationThe code in question is derived from the FlatZinc interpreter.
While compiling with --optimize-dead-procs causes the assertion failure to not
occur we cannot compile the original code in the FlatZinc interpreter with that option
enabled since that would trigger bug 0000022.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000888

juliensf (administrator)

This is working with rotd-2016-06-23**; there have been a lot of changes over the past eight years, so it isn't clear if the "fix" is intentional or not. I have added the attached test case to the test suite (tests/valid/bug36.m).


** it seems to have been passing as far back as 14.01.1.
+Notes

-Issue History
Date Modified Username Field Change
2008-01-14 17:15 juliensf New Issue
2008-01-14 17:15 juliensf File Added: fzn_table_bug2.m
2016-06-23 14:48 juliensf Note Added: 0000888
+Issue History