0000493: MLDS ground terms bug

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000493

mercury

Bug

public

2020-01-22 14:50

2020-01-23 11:46

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000493: MLDS ground terms bug

Description

MLDS backend crashes on the attached test case when --loop-invariants is enabled (or -O5).

% ./build.sh
+ mmc -s hlc.gc --make-interface codepoint
+ mmc -s hlc.gc --loop-invariants -C bug
Uncaught Mercury exception:
Software Error: map.lookup: key not found
        Key Type: term.var(parse_tree.prog_data.prog_var_type)
        Key Value: var(7)
        Value Type: ml_backend.ml_gen_info.ml_ground_term

Tags

No tags attached.

Attached Files

mlds_ground_term_bug.tar.gz (10,240 bytes) 2020-01-22 14:50

Relationships

Relationships

Notes

~0001070

zs (developer)

2020-01-23 11:46

Fix committed 2020 Jan 22.

Notes

Date Modified	Username	Field	Change
Issue History
2020-01-22 14:50	wangp	New Issue
2020-01-22 14:50	wangp	File Added: mlds_ground_term_bug.tar.gz
2020-01-22 15:17	zs	Assigned To	=> zs
2020-01-22 15:17	zs	Status	new => assigned
2020-01-23 11:46	zs	Status	assigned => resolved
2020-01-23 11:46	zs	Resolution	open => fixed
2020-01-23 11:46	zs	Note Added: 0001070

Issue History