[MLton-devel] Robustness problem with 20030312 X86-LINUX

Alain Deutsch deutsch@polyspace.com
Mon, 28 Apr 2003 17:22:21 +0200


We encountered the following reproducible crash with the last product:

      x86 code gen starting
         outputAssembly starting
        movb %eax,%dh
.p2align 4
L_385610:
L_278315:
        movzbl (0+(0*1))(%ebp),%eax
        subl $65,%eax
        movb %eax,%dh
        cmpb $58,%dh
        jae L_385654
        movl %dh,%eax
        jmp *(jumpTable_210+0)(,%eax,4)
.data
.p2align 4
jumpTable_210:
.long 
L_385653,L_385652,L_385651,L_385650,L_385649,L_385648,L_385647,L_385646,L_385645,L_385644,L_385643,L_385642,L_385641,L_385640\
,L_385639,L_385638,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_385654,L_38\
5654,L_385654,L_385637,L_385654,L_385636,L_385635,L_385634,L_385633,L_385632,L_385631,L_385630,L_385629,L_385628,L_385627,L_385626,\
L_385625,L_385624,L_385623,L_385622,L_385621,L_385620,L_385619,L_385618,L_385617,L_385616,L_385615,L_385614,L_385613,L_385612,L_385\
611
.text
            validate raised
         outputAssembly raised in 489.69 + 0.0 (0.0% GC)
      x86 code gen raised in 489.69 + 0.0 (0.0% GC)
   Compile SML raised in 1880.09 + 0.0 (0.0% GC)
MLton raised in 1880.11 + 0.0 (0.0% GC)
assertion failure: x86CodeGen.output: invalid

The compilation options are:

-verbose 3 -text-io-buf-size 65536 -safe true -exn-history true 
-detect-overflow false -basis 1997 -polyvariance false -inline 5

Thanks for your help.




-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel