Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000300mercuryBugpublic2013-09-27 12:522014-01-07 14:55
Reporterpbone 
Assigned Topbone 
PrioritynormalSeverityminorReproducibilitysometimes
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000300: Compiler crashes during LCMC optimisation
DescriptionThe compiler crashes with the following exception during LCMC optimisation. I will generate a test case later. This affects version 13.05.1 and is also reported to affect 13.05
TagsNo tags attached.
Relationships
Attached Files? bug300.m (580) 2013-09-30 20:15
https://bugs.mercurylang.org/file_download.php?file_id=183&type=bug

Notes
(0000568)
pbone   
2013-09-27 12:58   
Oh, the exception was:

Software Error: hlds.instmap: predicate `hlds.instmap.merge_instmapping_delta_2'/9: Unexpected: merge_instmapping_delta_2: error merging var 21

Which isn't helpful without a test.
(0000570)
pbone   
2013-09-30 20:19   
I can cause the compiler to crash using bug300.m and the following command:

mmc --java --optimize-constructor-last-call bug300
(0000571)
pbone   
2013-09-30 20:54   
I've found the problem, LCMC wasn't processing from ground term scopes properly. I'll test this properly and post my changes for review shortly.
(0000593)
pbone   
2014-01-07 14:55   
This has been fixed.

Issue History
Date ModifiedUsernameFieldChange
2013-09-27 12:52pboneNew Issue
2013-09-27 12:52pboneStatusnew => assigned
2013-09-27 12:52pboneAssigned To => pbone
2013-09-27 12:58pboneNote Added: 0000568
2013-09-30 20:15pboneFile Added: bug300.m
2013-09-30 20:19pboneNote Added: 0000570
2013-09-30 20:54pboneNote Added: 0000571
2014-01-07 14:55pboneNote Added: 0000593
2014-01-07 14:55pboneStatusassigned => closed
2014-01-07 14:55pboneResolutionopen => fixed