Mercury Bugs - mercury
View Issue Details
IDProjectCategoryView StatusDate SubmittedLast Update
0000421mercuryBugpublic2016-10-01 22:592016-10-02 11:12
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
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:

    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 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.
Relationships
Attached Files

Notes
(0000924)
zs   
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
Date ModifiedUsernameFieldChange
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