0000229: problem with static data on high-level C grades

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000229

mercury

Bug

public

2011-11-15 11:22

2011-11-24 11:36

Reporter

wangp

Assigned To

wangp

Priority

normal

Severity

crash

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000229: problem with static data on high-level C grades

Description

The high-level C backend crashes on the given test case. It seems to be related to constants in the arms of lookup switches. Writing the switch as if-then-else or setting --no-common-struct both work around the problem.

% mmc -s hlc.gc -C lookup_switch_const
Uncaught Mercury exception:
Software Error: map.lookup: key not found
        Key Type: term.var(parse_tree.prog_data.prog_var_type)
        Key Value: var(4)
        Value Type: ml_backend.ml_gen_info.ml_ground_term

Tags

No tags attached.

Attached Files

lookup_switch_const.m (551 bytes) 2011-11-15 11:22

Relationships

Relationships

Notes

~0000409

wangp (developer)

2011-11-24 11:36

Fix committed yesterday.

Notes

Date Modified	Username	Field	Change
Issue History
2011-11-15 11:22	wangp	New Issue
2011-11-15 11:22	wangp	File Added: lookup_switch_const.m
2011-11-23 12:18	wangp	Status	new => assigned
2011-11-23 12:18	wangp	Assigned To	=> wangp
2011-11-24 11:36	wangp	Note Added: 0000409
2011-11-24 11:36	wangp	Status	assigned => resolved
2011-11-24 11:36	wangp	Resolution	open => fixed

Issue History