Mercury Bugs - mercury
View Issue Details
0000006mercuryBugpublic2007-09-27 23:492007-10-19 16:07
Reporteranonymous 
Assigned Tozs 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000006: compiler abort
DescriptionFrom rafe@csse.unimelb.edu.au Sun Aug 5 09:55:55 2007
Date: Sun, 5 Aug 2007 09:55:53 +1000
From: Ralph Becket <rafe@csse.unimelb.edu.au>
To: Mercury Bugs <mercury-bugs@csse.unimelb.edu.au>
Subject: Compiler abort

Unpack the small tar file and run Make in the BUG directory to get:

$ make
mmc --make endo
Making Mercury/int3s/endo.int3
Making Mercury/int3s/dna.int3
Making Mercury/ints/dna.int
Making Mercury/ints/endo.int
Making Mercury/cs/dna.c
Making Mercury/cs/endo.c
Uncaught Mercury exception:
Software Error: jumpopt.m: Unexpected: adjust_livevals: BetweenLivevals
and PrevLivevals differ
Stack dump not available in this grade.
** Error making `Mercury/cs/endo.c'.
make: *** [all] Error 1
TagsNo tags attached.
Attached Filestgz BUG.tgz (2,672) 2007-09-27 23:49
https://bugs.mercurylang.org/file_download.php?file_id=4&type=bug
? endo2.m (833) 2007-10-16 18:17
https://bugs.mercurylang.org/file_download.php?file_id=13&type=bug

Notes
(0000029)
juliensf   
2007-10-16 18:19   
I have uploaded a cut-down version of Ralph's original program that
exhibits this bug (the attached file endo2.m.)

The bug can be reproduced by compiling in asm_fast.gc with -O0 --optimize-frames
--optimize-repeat=2.

Issue History
2007-09-27 23:49anonymousNew Issue
2007-09-27 23:49anonymousFile Added: BUG.tgz
2007-10-16 18:17juliensfFile Added: endo2.m
2007-10-16 18:19juliensfNote Added: 0000029
2007-10-16 18:19juliensfStatusnew => confirmed
2007-10-19 16:07juliensfStatusconfirmed => assigned
2007-10-19 16:07juliensfAssigned To => zs