Mercury Bugs - mercury | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0000523 | mercury | Bug | public | 2020-10-13 00:47 | 2020-10-13 11:27 |
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 | 0000523: Compiler abort with rotd-2020-10-{11,12} | ||||
Description | Several modules in the compiler are causing it abort when compiled with grade hlc.gc, -O5 --intermodule-optimization. Uncaught Mercury exception: Software Error: predicate `check_hlds.simplify.common.common_standardize_and_record_construct'/13: Unexpected: GoalExpr0 has unexpected shape Affected files are: compiler/lp_rational.m compiler/transform.m | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files |
Notes | |||||
|
|||||
|
|
Issue History | |||||
Date Modified | Username | Field | Change | ||
---|---|---|---|---|---|
2020-10-13 00:47 | juliensf | New Issue | |||
2020-10-13 00:52 | zs | Assigned To | => zs | ||
2020-10-13 00:52 | zs | Status | new => assigned | ||
2020-10-13 11:27 | zs | Status | assigned => resolved | ||
2020-10-13 11:27 | zs | Resolution | open => fixed | ||
2020-10-13 11:27 | zs | Note Added: 0001112 |