Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005603OCamlOCaml backend (code generation)public2012-04-28 17:312013-06-14 22:20
Reporterjm 
Assigned To 
PriorityhighSeverityblockReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005603: ocamlopt generates wrong assembly file number with multiple files.
Description% head -n +1 {t,tt}.ml
==> t.ml <==
print_endline "T"

==> tt.ml <==
print_endline "Tt"

% /tmp/install/bin/ocamlopt -verbose -S -c -g /tmp/{t,tt}.ml
+ as -o '/tmp/t.o' '/tmp/t.s'
+ as -o '/tmp/tt.o' '/tmp/tt.s'
/tmp/tt.s: Assembler messages:
/tmp/tt.s:64: Error: unassigned file number 1
File "/tmp/tt.ml", line 1:
Error: Assembler error, input left in file /tmp/tt.s

% grep \.file /tmp/{t,tt}.s
/tmp/t.s: .file 1 "/tmp/t.ml"
/tmp/tt.s: .file 2 "/tmp/tt.ml"

Looks like a counter used by http://caml.inria.fr/mantis/view.php?id=5487 [^]
should be reset to 1 between file processing.
TagsNo tags attached.
Attached Files

- Relationships
related to 0005487closed Improved GDB support 

-  Notes
(0007396)
doligez (administrator)
2012-05-02 15:06

I have confirmed that this bug was introduced between commits 12179 and 12181.
(0007426)
xleroy (administrator)
2012-05-12 11:52

Fixed in 4.00 branch (r12448) and in trunk (r12449)

- Issue History
Date Modified Username Field Change
2012-04-28 17:31 jm New Issue
2012-05-02 14:38 doligez Relationship added related to 0005487
2012-05-02 15:06 doligez Note Added: 0007396
2012-05-02 15:06 doligez Status new => confirmed
2012-05-12 11:52 xleroy Note Added: 0007426
2012-05-12 11:52 xleroy Status confirmed => resolved
2012-05-12 11:52 xleroy Resolution open => fixed
2012-05-12 11:52 xleroy Fixed in Version => 4.00.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker