Mercury Bugs - mercury
View Issue Details
0000457mercuryBugpublic2018-04-29 12:192018-04-30 18:49
Reporterwangp 
Assigned Towangp 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000457: abort on construct_statically in var_locn
DescriptionThe compiler aborts on the attached test case in low-level C grades with --loop-invariants --intermod-opt. The --loop-invariants option calls the mark_static_terms pass, which is (as I understand) otherwise only used for MLDS grades. var_locn.m aborts when it sees the construct_statically introduced by mark_static_terms.

The original comment:
  % XXX We should probably throw an exception if we find either
  % construct_statically or reuse_cell here.
was added by Quan for his RBMM work. I suspect var_locn_assign_dynamic_cell_to_var should just treat construct_statically like construct_dynamically.
TagsNo tags attached.
Attached Files? construct_statically_abort.m (623) 2018-04-29 12:19
https://bugs.mercurylang.org/file_download.php?file_id=283&type=bug

Notes
(0000998)
wangp   
2018-04-30 18:49   
Fixed in commit 72bc36afc

Issue History
2018-04-29 12:19wangpNew Issue
2018-04-29 12:19wangpFile Added: construct_statically_abort.m
2018-04-30 18:49wangpAssigned To => wangp
2018-04-30 18:49wangpStatusnew => resolved
2018-04-30 18:49wangpResolutionopen => fixed
2018-04-30 18:49wangpNote Added: 0000998