2024-11-09 02:35 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000421mercuryBugpublic2016-10-02 11:12
Reporterjuliensf 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
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.
Attached Files

-Relationships
+Relationships

-Notes

~0000924

zs (developer)

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

-Issue History
Date Modified Username Field Change
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