Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000036mercuryBugpublic2008-01-14 17:152016-06-23 14:48
Reporterjuliensf 
Assigned To 
PriorityhighSeveritymajorReproducibilityalways
StatusnewResolutionopen 
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.
Relationships
Attached Files? fzn_table_bug2.m (1,015) 2008-01-14 17:15
https://bugs.mercurylang.org/file_download.php?file_id=32&type=bug

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