Mercury Bugs - mercury
View Issue Details
0000036mercuryBugpublic2008-01-14 17:152016-06-23 14:48
Assigned To 
PlatformOSOS Version
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? fzn_table_bug2.m (1,015) 2008-01-14 17:15

2016-06-23 14:48   
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
2008-01-14 17:15juliensfNew Issue
2008-01-14 17:15juliensfFile Added: fzn_table_bug2.m
2016-06-23 14:48juliensfNote Added: 0000888