2024-12-03 02:00 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000137mercuryBugpublic2010-07-21 14:37
Reporterjuliensf 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000137: failing analysis framework tests
DescriptionMany of the analysis framework tests abort with:

Making Mercury/analysiss/ua_m1.analysis
Uncaught Mercury exception:
Software Error: quantification.m: Unexpected: unify_rhs_vars_no_lambda: found lambda
Stack dump not available in this grade.

TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000256

wangp (developer)

Although I can reproduce this with a rotd, I can't seem to reproduce it from a CVS checkout. I have tried these options in Mmake.params (separately, obviously):

EXTRA_MCFLAGS= --intermodule-optimisation
EXTRA_MCFLAGS= -O5
EXTRA_MCFLAGS= -O5 --intermodule-optimisation
EXTRA_MCFLAGS= --opt-space
EXTRA_MCFLAGS= -O2 --intermodule-optimisation --opt-space

~0000257

zs (developer)

If someone can reproduce this with a compiler that itself was compiled in a debug grade, I can probably fix this in two minutes.

~0000278

wangp (developer)

unused_args calls implicitly_quantify_goal_general(ordinary_nonlocals_no_lambda, ...) on exception.try_io_det, which was being opt-exported, despite being marked no_inline.

I have now made it so that no_inline predicates are not opt-exported, but that's a separate bug.
+Notes

-Issue History
Date Modified Username Field Change
2010-03-11 23:41 juliensf New Issue
2010-03-16 17:47 wangp Note Added: 0000256
2010-03-17 00:52 zs Note Added: 0000257
2010-07-21 14:37 wangp Note Added: 0000278
+Issue History