0000421: Code generator aborts in parallel conjunction tests

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000421

mercury

Bug

public

2016-10-01 22:59

2016-10-02 11:12

Reporter

juliensf

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Product Version

Target Version

Fixed in Version

Summary

0000421: Code generator aborts in parallel conjunction tests

Description

The following tests are failing with rotd-2016-09-28 in .par grades:

    tests/par_conj/consume_wiat
    tests/par_conj/consume_in_some_branches
    tests/par_conj/consume_in)some_branches_and_after
    tests/par_conj/dep_par_24
    tests/par_conj/dep_par_24b
    tests/par_conj/dep_par_7

The symptoms are something like:

Uncaught Mercury exception:
Software Error: ll_backend.var_locn: predicate `ll_backend.var_locn.clobber_lval_in_var_state_map'/6: Unexpected: empty state

Uncaught Mercury exception:
Software Error: map.lookup: key not found
    Key Type: term.var(parse_tree.prog_data.prog_var_type)
    Key Value: var(1)
    Value Type: ll_backend.var_locn.var_state

Steps To Reproduce

Attempting to compile the above in any grade containing a .par grade, e.g.

$ mmc -C --grade asm_fast.par.gc consume_wait

Tags

No tags attached.

Attached Files

Relationships

Relationships

Notes

~0000924

zs (developer)

2016-10-02 11:11

I noticed this a couple of months ago. I worked out a partial fix then; it fixes
the test failures above, but introduces a couple of others to replace them.
I didn't have time at the time to look into those, but still, I think I am best placed
to look into this.

Notes

Date Modified	Username	Field	Change
Issue History
2016-10-01 22:59	juliensf	New Issue
2016-10-02 11:11	zs	Note Added: 0000924
2016-10-02 11:12	zs	Assigned To	=> zs
2016-10-02 11:12	zs	Status	new => assigned

Issue History