Mercury Bugs - mercury
View Issue Details
0000022mercuryBugpublic2007-10-23 18:132007-10-23 18:13
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000022: compiler abort with memoing, dead proc. elimination and the hlc backend
DescriptionThe attached program causes a compiler abort during the HLDS->MLDS pass if
dead procedure elimination is enabled.

(This is similar, if not identical, to the recently fixed problems with
the low-level backend.)

(Curiously, the compiler also aborts if --high-level-data is enabled, even
though tabling is supposed to be disabled in that grade.)
TagsNo tags attached.
Attached Files? fzn_table_bug.m (553) 2007-10-23 18:13

There are no notes attached to this issue.

Issue History
2007-10-23 18:13juliensfNew Issue
2007-10-23 18:13juliensfFile Added: fzn_table_bug.m