2024-05-28 01:53 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000297mercuryBugpublic2013-09-04 11:52
Assigned Towangp 
Product Version 
Target VersionFixed in Version 
Summary0000297: compile-time evaluation of typed_unify changes behaviour
DescriptionThe attached program is broken by the compile-time evaluation of typed_unify when --optimise-constant-propagation is enabled (-O3).
TagsNo tags attached.
Attached Files
  • ? file icon t.m (834 bytes) 2013-08-29 13:26




wangp (developer)

Rather, it has to do the inst of the static type_info when --const-struct is enabled. That --optimise-constant-propagation (and the predicate const_prop.eval_unify) breaks the program seems to be a symptom.

I suspect commit ee63cb8d, specifically these lines in polymorphism.m:

            StructType = type_info_type,
            list.length(ArgTypeInfoConstArgs, NumArgs),
            InstConsId = cell_inst_cons_id(Cell, NumArgs),
            StructInst = bound(shared, inst_test_results_fgtc,
                [bound_functor(InstConsId, StructArgInsts)]),

the NumArgs argument to cell_inst_cons_id.


wangp (developer)

Fixed in 06e175d34d82b7dce3870d89f070c1d58e038d87

-Issue History
Date Modified Username Field Change
2013-08-29 13:26 wangp New Issue
2013-08-29 13:26 wangp File Added: t.m
2013-09-03 15:31 wangp Note Added: 0000562
2013-09-04 11:52 wangp Note Added: 0000564
2013-09-04 11:52 wangp Status new => resolved
2013-09-04 11:52 wangp Resolution open => fixed
2013-09-04 11:52 wangp Assigned To => wangp
+Issue History