|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0000036||mercury||Bug||public||2008-01-14 17:15||2016-06-23 14:48|
|Target Version||Fixed in Version|
|Summary||0000036: another tabling bug with the high-level C backend|
|Description||The attached module causes an assertion failure in the compiler when compiled with|
mmc -C --grade hlc.gc -O0 --no-optimize-dead-procs
|Additional Information||The 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.
|Tags||No tags attached.|
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.
|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|