Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001296OCamlOCaml generalpublic2002-08-03 08:212002-08-05 14:15
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionno change required 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001296: ocamlopt -output-obj failure
DescriptionFull_Name: Ohad Rodeh
Version: 3.05
OS: win2000
Submission from: slip139-92-208-111.tel.il.prserv.net (139.92.208.111)


ocamlopt -output-obj fails on the following program:

------------------------------------------------------------

type tree =
    Node
  | Br of tree * int * tree

let rec gen_tree () =
  let i = Random.int 5 in
  if i < 3 then Node
  else Br (gen_tree (), i, gen_tree ())


let _ =
  while true do
    let x = gen_tree () in
    ()
  done

----------------------------------------------------------------

ocamlc -output-obj works just fine. The error codes are:


    ocamlopt -c x.ml -o x.cmx
    ocamlopt -output-obj -o x.obj x.cmx

LIB : error : Internal error during ReadSymbolTable

  ExceptionCode = C0000005
  ExceptionFlags = 00000000
  ExceptionAddress = 0040C768
  NumberParameters = 00000002
  ExceptionInformation[ 0] = 00000001
  ExceptionInformation[ 1] = 00360000

CONTEXT:
  Eax = 00000008 Esp = 0012EE28
  Ebx = 002FA7F8 Ebp = 00000008
  Ecx = 00000002 Esi = 00402AB4
  Edx = 00000008 Edi = 00360000
  Eip = 0040C768 EFlags = 00010212
  SegCs = 0000001B SegDs = 00000023
  SegSs = 00000023 SegEs = 00000023
  SegFs = 00000038 SegGs = 00000000
  Dr0 = 0012EE28 Dr3 = 002FA7F8
  Dr1 = 00000008 Dr6 = 00000002
  Dr2 = 00000000 Dr7 = 00000000
Error during linking
NMAKE : fatal error U1077: 'ocamlopt' : return code '0x2'




TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0002541)
administrator (administrator)
2002-08-05 14:14

> ocamlopt -c x.ml -o x.cmx
> ocamlopt -output-obj -o x.obj x.cmx
>
> LIB : error : Internal error during ReadSymbolTable

The first line creates both a summary file x.cmx and an actual object
file x.obj. The second line invokes Microsoft's LIB utility with
x.obj as input and as output. Clearly, LIB doesn't like this :-)

Everything works well if you change the name of the output object in
the second line.

I agree LIB should emit a better diagnostic rather than just crash,
but that's something we can't do much about.

- Xavier Leroy

(0002542)
administrator (administrator)
2002-08-05 14:15

Problem with Microsoft's LIB.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker