2024-07-16 01:35 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000036mercuryBugpublic2016-06-23 14:48
Assigned To 
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




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.

-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