Mercury Bugs - mercury | |||||
View Issue Details | |||||
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 | ||
Platform | OS | OS Version | |||
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. | ||||
Relationships | |||||
Attached Files |
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 |