Mercury Bugs - mercury
View Issue Details
0000523mercuryBugpublic2020-10-13 00:472020-10-13 11:27
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000523: Compiler abort with rotd-2020-10-{11,12}
DescriptionSeveral 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
TagsNo tags attached.
Attached Files

Notes
(0001112)
zs   
2020-10-13 11:27   
Fix committed 2020 oct 13.

Issue History
2020-10-13 00:47juliensfNew Issue
2020-10-13 00:52zsAssigned To => zs
2020-10-13 00:52zsStatusnew => assigned
2020-10-13 11:27zsStatusassigned => resolved
2020-10-13 11:27zsResolutionopen => fixed
2020-10-13 11:27zsNote Added: 0001112