| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0000036 | mercury | Bug | public | 2008-01-14 17:15 | 2016-06-23 14:48 | ||||||||
| Reporter | juliensf | ||||||||||||
| Assigned To | |||||||||||||
| Priority | high | Severity | major | Reproducibility | always | ||||||||
| Status | new | Resolution | open | ||||||||||
| Product Version | |||||||||||||
| 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. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 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. |
| 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 |