Note: This is a public test instance of Red Hat Bugzilla. The data contained within is a snapshot of the live data so any changes you make will not be reflected in the production Bugzilla. Email is disabled so feel free to test any aspect of the site that you want. File any problems you find or give feedback at bugzilla.redhat.com.
Bug 691896 - gas: .size expression does not evaluate to a constant
Summary: gas: .size expression does not evaluate to a constant
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Fedora
Classification: Fedora
Component: ocaml
Version: rawhide
Hardware: x86_64
OS: Linux
unspecified
high
Target Milestone: ---
Assignee: Richard W.M. Jones
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: 631302 676688
TreeView+ depends on / blocked
 
Reported: 2011-03-29 20:13 UTC by Jerry James
Modified: 2011-04-18 04:07 UTC (History)
5 users (show)

Fixed In Version: ocaml-3.12.0-5.fc15
Doc Type: Bug Fix
Doc Text:
Clone Of:
Environment:
Last Closed: 2011-04-18 04:07:46 UTC
Type: ---
Embargoed:

Attachments (Terms of Use)
Assembly file illustrating the problem (deleted)
2011-03-29 20:13 UTC, Jerry James 		no flags Details
View All

Description Jerry James 2011-03-29 20:13:37 UTC 
Created attachment 488554 [details]
Assembly file illustrating the problem

Description of problem:
I'm trying to build the latest version of coq in Rawhide.  The build fails on an ocaml-generated assembly file (attached).  The error message is:

/tmp/camlasmfec99f.s: Assembler messages:
/tmp/camlasmfec99f.s:1023: Error: .size expression with symbol `camlSegmenttree_log2_1037' does not evaluate to a constant
file "lib/segmenttree.ml", line 1, characters 0-1:
Error: Assembler error, input left in file /tmp/camlasmfec99f.s

Manual inspection shows that there is nothing wrong with that symbol.  It is declared properly, prior to the reference to it in the .size directive.  Also, the same file is processed successfully and without complaint by gas on a Fedora 14 machine.

Version-Release number of selected component (if applicable):
binutils-2.21.51.0.7-1.fc16.x86_64

How reproducible:
Always

Steps to Reproduce:
1. Attempt to build vanilla coq-8.3pl1 from the coq web site
2.
3.
  
Actual results:
The build fails with the above error message on Rawhide.  (I haven't tried F-15 yet to see if the same failure happens there, but will soon.)

Expected results:
Successful build.

Additional info:
Comment 1 Jakub Jelinek 2011-03-29 20:21:32 UTC 
Manual inspection has been insufficient then.  You have:
       .text
...
.L124:  call    caml_call_gc@PLT
.L125:  jmp     .L123
        .section        .rodata.cst8,"a",@progbits
.L122:  .quad   0x4000000000000000
        .type   camlSegmenttree__log2_1037,@function
        .size   camlSegmenttree__log2_1037,.-camlSegmenttree__log2_1037
        .text
thus obviously the size can't be constant, as . in the size expression
is in .rodata.cst8 section (in particular .L122+8), while camlSegmenttree__log2_1037 is in .text section.
Comment 2 Stéphane Glondu 2011-03-29 20:24:18 UTC 
See http://caml.inria.fr/mantis/view.php?id=5237
Comment 3 Richard W.M. Jones 2011-03-30 12:38:17 UTC 
Thanks, I will apply:
http://caml.inria.fr/mantis/file_download.php?file_id=418&type=bug

I checked the patch that Xavier applied upstream[1] and it is
identical to this one.

[1] http://caml.inria.fr/cgi-bin/viewcvs.cgi?diff_format=u&rev=10981&view=rev
Comment 4 Richard W.M. Jones 2011-03-30 12:42:36 UTC 
http://koji.fedoraproject.org/koji/taskinfo?taskID=2960256
Comment 5 Richard W.M. Jones 2011-03-30 13:02:56 UTC 
Also ported it to F15:
http://koji.fedoraproject.org/koji/taskinfo?taskID=2960270
Comment 6 Fedora Update System 2011-03-30 13:14:51 UTC 
ocaml-3.12.0-5.fc15 has been submitted as an update for Fedora 15.
https://admin.fedoraproject.org/updates/ocaml-3.12.0-5.fc15
Comment 7 Jerry James 2011-03-30 16:55:42 UTC 
(In reply to comment #1)
> Manual inspection has been insufficient then.  You have:

D'oh!  Thanks everybody for your quick responses.  /Me goes off to study the assembly language book again.
Comment 8 Fedora Update System 2011-03-31 03:51:59 UTC 
Package ocaml-3.12.0-5.fc15:
* should fix your issue,
* was pushed to the Fedora 15 testing repository,
* should be available at your local mirror within two days.
Update it with:
# su -c 'yum update --enablerepo=updates-testing ocaml-3.12.0-5.fc15'
as soon as you are able to.
Please go to the following url:
https://admin.fedoraproject.org/updates/ocaml-3.12.0-5.fc15
then log in and leave karma (feedback).
Comment 9 Fedora Update System 2011-04-18 04:07:41 UTC 
ocaml-3.12.0-5.fc15 has been pushed to the Fedora 15 stable repository.  If problems still persist, please make note of it in this bug report.
Note You need to log in before you can comment on or make changes to this bug.