0000137: failing analysis framework tests - Mercury Bugs

2025-11-03 17:06 AEDT

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0000137

mercury

Bug

public

2010-03-11 23:41

2010-07-21 14:37

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

new

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000137: failing analysis framework tests

Description

Many 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.

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes
~0000256 wangp (developer) 2010-03-16 17:47	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) 2010-03-17 00:52	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) 2010-07-21 14:37	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

Date Modified	Username	Field	Change
Issue History
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