On Fri, May 14, 2010 at 3:34 PM, Toon Moene <t...@moene.org> wrote:
> On 04/25/2010 01:24 PM, Toon Moene wrote:
>
>> Richard Guenther wrote:
>
> [ Concerning this assert ]
>
>>> It is checking that for one symbol we only have one definition.
>>>
>>> You are using -fuse-linker-plugin?
>>
>> Indeed, I do (all of our code ends up in libraries - .a files - so I
>> have to, to make -flto -fwhole-program be meaningful).
>>
>> Is it a problem with COMMON ? Those typically have umpteen definitions,
>> which all have to match ...
>
> I decided to change the following in lto-symtab.c to help me pinpoint this
> culprit:
>
> Index: lto-symtab.c
> ===================================================================
> --- lto-symtab.c (revision 159389)
> +++ lto-symtab.c (working copy)
> @@ -603,8 +603,15 @@
> /* Assert it's the only one. */
> if (prevailing)
> for (e = prevailing->next; e; e = e->next)
> - gcc_assert (e->resolution != LDPR_PREVAILING_DEF_IRONLY
> - && e->resolution != LDPR_PREVAILING_DEF);
> + {
> + if (!(e->resolution != LDPR_PREVAILING_DEF_IRONLY
> + && e->resolution != LDPR_PREVAILING_DEF))
> + {
> + debug_tree(prevailing->decl);
> + debug_tree(e->decl);
> + gcc_assert(0);
> + }
> + }
>
> /* If there's not a prevailing symbol yet it's an external reference.
> Happens a lot during ltrans. Choose the first symbol with a
>
> That resulted in the following messages in my compile log:
>
> <function_decl 0x2b9d3a4af900 convect_satmixratio
> type <function_type 0x2b9d3a471000
> type <void_type 0x2b9d3548dd20 VOID
> align 8 symtab 0 alias set -1 canonical type 0x2b9d3548dd20
> pointer_to_this <pointer_type 0x2b9d3548ddc8>>
> QI
> size <integer_cst 0x2b9d3547e758 constant 8>
> unit size <integer_cst 0x2b9d3547e780 constant 1>
> align 8 symtab 0 alias set -1 canonical type 0x2b9d3a471000>
> public external QI file bkfconv.f90 line 7712 col 0 align 8>
> <function_decl 0x2b9d3a4af200 convect_satmixratio
> type <function_type 0x2b9d3a471000
> type <void_type 0x2b9d3548dd20 VOID
> align 8 symtab 0 alias set -1 canonical type 0x2b9d3548dd20
> pointer_to_this <pointer_type 0x2b9d3548ddc8>>
> QI
> size <integer_cst 0x2b9d3547e758 constant 8>
> unit size <integer_cst 0x2b9d3547e780 constant 1>
> align 8 symtab 0 alias set -1 canonical type 0x2b9d3a471000>
> public external QI file bkfconv.f90 line 6525 col 0 align 8>
> lto1: internal compiler error: in lto_symtab_merge_decls_1, at
> lto-symtab.c:612
>
> bkconv.f90:7712:
>
> 7711 !
> 7712 CALL CONVECT_SATMIXRATIO( KLON, ZWORK1, ZTELCL, ZWORK3, ZLV,
> ZLS, ZCPH )
>
> bkfconv.f90:6525:
> 6524 !
> 6525 CALL CONVECT_SATMIXRATIO( KLON, ZPLCL, ZTLCL, ZWORK1, ZLV,
> ZWORK2, ZCPH )
>
> The only thing I can see is that CONVECT_SATMIXRATIO is called from two
> different routines in one file (bkfconv.f90:6260 CONVECT_TRIGGER_SHAL and
> bkfconv.f90:7258 CONVECT_CLOSURE_SHAL)
>
> Any suggestions how I can further chase this down ? Are the arguments to
> the subroutine an issue (kind, array size, etc.) ?
No, the lto-plugin or gold provides you with broken symbol resolution.
Try 1) update gold, 2) file a bugreport and CC Ian and Cary.
Richard.
> Thanks in advance,
>
> --
> Toon Moene - e-mail: t...@moene.org - phone: +31 346 214290
> Saturnushof 14, 3738 XG Maartensdijk, The Netherlands
> At home: http://moene.org/~toon/; weather: http://moene.org/~hirlam/
> Progress of GNU Fortran: http://gcc.gnu.org/gcc-4.5/changes.html#Fortran
>
