2019-12-16 11:06 AEDT

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000152mercuryBugpublic2010-06-08 16:59
Reporterpbone 
Assigned To 
PrioritylowSeveritycrashReproducibilityalways
StatusnewResolutionopen 
Product Version 
Target VersionFixed in Version 
Summary0000152: Test cases crash the compiler in mmos grades.
DescriptionThe debugger/mmos_print test crashes the compiler in mmos grades.

Additional Information
pbone@taura:/home/taura/workspaces/pbone/stseg_test/tests/debugger$ lmc --grade asm_fast.gc.mmos -O0 -v mmos_print.m
% Parsing file `mmos_print' and imported interfaces...
% Module qualifying items...
% done.
% Expanding equivalence types...
% done.
% Converting parse tree to hlds...
% done.
% Writing auto-dependency file `mmos_print.d'... done.
% Checking typeclasses...
% Checking instance declaration types...
% Checking typeclass instances...
% Checking for cyclic classes...
% Checking for missing concrete instances...
% Checking functional dependencies on instances...
% Checking typeclass constraints...
% Checking that insts have matching types... done.
% Type-checking...
% Type-checking clauses...
% Program is type-correct.
% Purity-checking clauses...
% Program is purity-correct.
% Substituting implementation-defined literals...
% done.
% Transforming polymorphic unifications... done.
% Mode-checking clauses...
% Program is mode-correct.
% Detecting switches...
% done.
% Detecting common deconstructions...
% done.
% Doing determinism checking...
% done.
% Program is determinism-correct.
% Checking for backtracking over unique modes...
% Program is unique-mode-correct.
% Checking stratification...
% done.
% Transforming try goals...
% done.
% Simplifying goals...
% done.
% Transforming tabled predicates...Uncaught Mercury exception:
Software Error: map.lookup: key not found
        Key Type: int
        Key Value: 0
        Value Type: hlds.hlds_pred.proc_info
Stack dump not available in this grade.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2010-06-08 16:59 pbone New Issue
+Issue History