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