0000452: model_det need_bit_vec_check

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000452

mercury

Bug

public

2018-02-21 15:16

2018-02-22 14:05

Reporter

wangp

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000452: model_det need_bit_vec_check

Description

The compiler aborts on the attached test case:

% mmc -s hlc.gc -C -v ml_lookup_switch_test.m
...
% Converting HLDS to MLDS...
Uncaught Mercury exception:
Software Error: ml_backend.ml_lookup_switch: predicate `ml_backend.ml_lookup_switch.ml_gen_simple_atomic_lookup_switch'/13: Unexpected: model_det need_bit_vec_check

(This is not urgent to fix.)

Tags

No tags attached.

Attached Files

ml_lookup_switch_test.m (725 bytes) 2018-02-21 15:16

Relationships

Relationships

Notes

~0000965

zs (developer)

2018-02-22 14:05

Fix committed feb 22.

Notes

Date Modified	Username	Field	Change
Issue History
2018-02-21 15:16	wangp	New Issue
2018-02-21 15:16	wangp	File Added: ml_lookup_switch_test.m
2018-02-21 21:25	zs	Assigned To	=> zs
2018-02-21 21:25	zs	Status	new => assigned
2018-02-22 14:05	zs	Status	assigned => resolved
2018-02-22 14:05	zs	Resolution	open => fixed
2018-02-22 14:05	zs	Note Added: 0000965

Issue History