[m-dev.] Problem compiling G12 in debug grade on Saturn

[Julien Fischer]

On Thu, 20 Mar 2008, Ralph Becket wrote:

> I've added `GRADE=asm_fast.gc.tr.debug' to Mercury.params in
> g12/zinc/compiler on a new workspace on saturn, and run make.
>
> I get this:
>
> Making Mercury/asm_fast.gc.tr.debug/x86_64-unknown-linux-gnu/Mercury/cs/flatzinc.c
> Making Mercury/asm_fast.gc.tr.debug/x86_64-unknown-linux-gnu/Mercury/cs/flatzinc_colgen_solver.c
> Making Mercury/asm_fast.gc.tr.debug/x86_64-unknown-linux-gnu/Mercury/cs/flatzinc_conf.c
> Uncaught Mercury exception:
> Software Error: map.lookup: key not found
>        Key Type: term.var(parse_tree.prog_data.prog_var_type)
>        Key Value: var(16)
>        Value Type: ll_backend.var_locn.var_state
> Stack dump not available in this grade.
> ** Error making `Mercury/asm_fast.gc.tr.debug/x86_64-unknown-linux-gnu/Mercury/cs/flatzinc_conf.c'.
> make: *** [install] Error 1
>
> Does that look familiar to anyone?

This specific one, no.  It's worth noting that the FlatZinc interpreter
now makes quite heavy use of feautres like existential types - this has
caused quite a few bugs to crawl out of the woodwork, such as the one
Mark has been wokring on.

Does this problem go away if you add MCFLAGS-flatzinc_conf = -O0
to the Mercury.options file?

Julien
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------