| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000238 | mercury | Bug | public | 2011-11-28 12:39 | 2011-12-01 16:06 | ||||
| Reporter | colanderman | ||||||||
| Assigned To | zs | ||||||||
| Priority | normal | Severity | crash | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000238: Unexpected: determinism errors when compiling with --constraint-propagation | ||||||||
| Description | Various errors relating to promise_equivalent_solutions are obscured by a compiler crash when compiling with --constraint-propagation or --local-constraint-propagation. The attached program, when compiled with no optimization, produces (as expected), the error: pes_crash.m:015: Error: call to predicate `solutions.unsorted_solutions'/2 with pes_crash.m:015: determinism `cc_multi' occurs in a context which requires pes_crash.m:015: all solutions. pes_crash.m:015: Unification of V_2 and V_5 can fail. but when compiled with --constraint-propagation, produces the crash: Uncaught Mercury exception: Software Error: transform_hlds.pd_util: predicate `transform_hlds.pd_util.rerun_det_analysis'/4: Unexpected: determinism errors Other errors (such as the one produced by bug 0000237) trigger this crash as well. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
zs (developer) 2011-11-28 16:59 |
Without access to pes_crash.m, I cannot confirm whether the fix of bug 237 fixes this one as well. |
|
colanderman (reporter) 2011-11-29 12:46 |
Sorry, forgot to upload it. Attached now. |
|
zs (developer) 2011-12-01 14:04 |
Strangely, while mmc --constraint-propagation pes_crash generates the compiler abort, we get back to the benign print-message-and-exit behavior if we just add a -v to that command line. |
|
zs (developer) 2011-12-01 16:06 |
Fix committed dec 1. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2011-11-28 12:39 | colanderman | New Issue | |
| 2011-11-28 16:59 | zs | Note Added: 0000416 | |
| 2011-11-29 12:46 | colanderman | File Added: pes_crash.m | |
| 2011-11-29 12:46 | colanderman | Note Added: 0000418 | |
| 2011-12-01 14:04 | zs | Note Added: 0000420 | |
| 2011-12-01 14:05 | zs | Status | new => assigned |
| 2011-12-01 14:05 | zs | Assigned To | => zs |
| 2011-12-01 16:06 | zs | Note Added: 0000421 | |
| 2011-12-01 16:06 | zs | Status | assigned => resolved |
| 2011-12-01 16:06 | zs | Resolution | open => fixed |
| Issue History |