| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000516 | mercury | Bug | public | 2020-08-04 11:34 | 2020-08-09 20:39 | ||||
| Reporter | juliensf | ||||||||
| Assigned To | zs | ||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000516: Failure of tests/general/mode_inference_reorder with recent ROTDs. | ||||||||
| Description | tests/general/mode_interference_reorder aborts with an uncaught exception when compiled with --intermodule-optimization -O5 using rotds 2020-07-30 through to 2020-08-01. Uncaught Mercury exception: Software Error: map.lookup: key not found Key Type: int Key Value: -1 Value Type: hlds.hlds_pred.proc_info The last working ROTD was 2020-07-29. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
zs (developer) 2020-08-09 20:39 |
A fix for this symptom was committed 2020 aug 8. That diff documents the underlying problem but does not fix it, since the problem occurs only in very rare circumstances, and any proper fix would require work far out of proportion to its usefulness. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2020-08-04 11:34 | juliensf | New Issue | |
| 2020-08-09 20:39 | zs | Assigned To | => zs |
| 2020-08-09 20:39 | zs | Status | new => resolved |
| 2020-08-09 20:39 | zs | Resolution | open => fixed |
| 2020-08-09 20:39 | zs | Note Added: 0001102 | |
| Issue History |