2024-12-03 00:11 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000452mercuryBugpublic2018-02-22 14:05
Reporterwangp 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
Product Version 
Target VersionFixed in Version 
Summary0000452: model_det need_bit_vec_check
DescriptionThe 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.)
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0000965

zs (developer)

Fix committed feb 22.
+Notes

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