2024-03-29 23:55 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000238mercuryBugpublic2011-12-01 16:06
Reportercolanderman 
Assigned Tozs 
PrioritynormalSeveritycrashReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000238: Unexpected: determinism errors when compiling with --constraint-propagation
DescriptionVarious errors relating to promise_equivalent_solutions are obscured by a compiler crash when compiling with --constraint-propagation or --local-constraint-propagation. The attached program, when compiled with no optimization, produces (as expected), the error:

pes_crash.m:015: Error: call to predicate `solutions.unsorted_solutions'/2 with
pes_crash.m:015: determinism `cc_multi' occurs in a context which requires
pes_crash.m:015: all solutions.
pes_crash.m:015: Unification of V_2 and V_5 can fail.

but when compiled with --constraint-propagation, produces the crash:

Uncaught Mercury exception:
Software Error: transform_hlds.pd_util: predicate `transform_hlds.pd_util.rerun_det_analysis'/4: Unexpected: determinism errors

Other errors (such as the one produced by bug 0000237) trigger this crash as well.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000416

zs (developer)

Without access to pes_crash.m, I cannot confirm whether the fix of bug 237 fixes this one as well.

~0000418

colanderman (reporter)

Sorry, forgot to upload it. Attached now.

~0000420

zs (developer)

Strangely, while mmc --constraint-propagation pes_crash generates the compiler abort, we get back to the benign print-message-and-exit behavior if we just add
a -v to that command line.

~0000421

zs (developer)

Fix committed dec 1.
+Notes

-Issue History
Date Modified Username Field Change
2011-11-28 12:39 colanderman New Issue
2011-11-28 16:59 zs Note Added: 0000416
2011-11-29 12:46 colanderman File Added: pes_crash.m
2011-11-29 12:46 colanderman Note Added: 0000418
2011-12-01 14:04 zs Note Added: 0000420
2011-12-01 14:05 zs Status new => assigned
2011-12-01 14:05 zs Assigned To => zs
2011-12-01 16:06 zs Note Added: 0000421
2011-12-01 16:06 zs Status assigned => resolved
2011-12-01 16:06 zs Resolution open => fixed
+Issue History