2024-03-19 20:09 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000455mercuryBugpublic2018-04-21 21:16
Reporterwangp 
Assigned Tojuliensf 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000455: intermodule optimisation with fixed sized integer modules
DescriptionThe compiler crashes on the attached test case:

% mmc --intermod-opt -m mod_a
Making Mercury/cs/mod_a.c
Uncaught Mercury exception:
Software Error: check_hlds.simplify.simplify_goal_call: predicate `check_hlds.simplify.simplify_goal_call.simplify_make_binary_op_goal_expr'/8: Unexpected: cannot find unchecked_left_shift
TagsNo tags attached.
Attached Files
  • ? file icon mod_a.m (389 bytes) 2018-04-21 13:01
  • ? file icon mod_b.m (280 bytes) 2018-04-21 13:02

-Relationships
+Relationships

-Notes

~0000996

juliensf (administrator)

The problem is that the simplification pass can introduce calls to unchecked_left_shift, but that
dead predicate elimination hasn't been updated correctly to tell it not to delete the clauses
for that predicate; I'll post a fix for this later this evening.

~0000997

juliensf (administrator)

Fixed in commit bb55d65.
+Notes

-Issue History
Date Modified Username Field Change
2018-04-21 13:01 wangp New Issue
2018-04-21 13:01 wangp File Added: mod_a.m
2018-04-21 13:02 wangp File Added: mod_b.m
2018-04-21 17:43 juliensf Note Added: 0000996
2018-04-21 17:44 juliensf Assigned To => juliensf
2018-04-21 17:44 juliensf Status new => assigned
2018-04-21 21:16 juliensf Status assigned => resolved
2018-04-21 21:16 juliensf Resolution open => fixed
2018-04-21 21:16 juliensf Note Added: 0000997
+Issue History