Mercury Bugs - mercury
View Issue Details
0000421mercuryBugpublic2016-10-01 22:592016-10-02 11:12
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000421: Code generator aborts in parallel conjunction tests
DescriptionThe following tests are failing with rotd-2016-09-28 in .par grades:


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 ReproduceAttempting to compile the above in any grade containing a .par grade, e.g.

   $ mmc -C --grade asm_fast.par.gc consume_wait
TagsNo tags attached.
Attached Files

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.

Issue History
2016-10-01 22:59juliensfNew Issue
2016-10-02 11:11zsNote Added: 0000924
2016-10-02 11:12zsAssigned To => zs
2016-10-02 11:12zsStatusnew => assigned