[Bug lto/53195] ICE seg fault in lto

[Bug lto/53195] ICE seg fault in lto

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

--- Comment #1 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-04 09:22:30 UTC ---
does not happen with latest version of
gcc version 4.7.1 20120504 (prerelease) (GCC)

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |lto
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2012-05-04
   Target Milestone|---                         |4.8.0
            Summary|ICE seg fault in lto        |[4.8 Regression] ICE seg
                   |                            |fault in lto
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-04 10:34:52 UTC ---
I cannot reproduce it with trunk rev. 187148.  Can you re-check?

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

vincenzo Innocente <vincenzo.innocente at cern dot ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-04 11:06:14 UTC ---
effectively…  (verified before doing svn update, was still crashing!)

c++ -O2 -flto -std=c++0x -shared -fPIC -o bha.so ltobug1/*.cc
[innocent@vinavx0 ~/w3]$ c++ -v
Using built-in specs.
COLLECT_GCC=c++
COLLECT_LTO_WRAPPER=/afs/cern.ch/user/i/innocent/w2/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --prefix=/afs/cern.ch/user/i/innocent/w2
--enable-languages=c,c++,fortran -enable-gold=yes --enable-lto
--with-build-config=bootstrap-lto --with-gmp-lib=/usr/local/lib64
--with-mpfr-lib=/usr/local/lib64 -with-mpc-lib=/usr/local/lib64
--enable-cloog-backend=isl --with-cloog=/usr/local
--with-ppl-lib=/usr/local/lib64 CFLAGS='-O2 -ftree-vectorize -fPIC'
CXXFLAGS='-O2 -fPIC -ftree-vectorize -fvisibility-inlines-hidden -march=native'
-enable-libitm -disable-multilib
Thread model: posix
gcc version 4.8.0 20120504 (experimental) [trunk revision 187149] (GCC)

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

vincenzo Innocente <vincenzo.innocente at cern dot ch> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #27289|0                           |1
        is obsolete|                            |

--- Comment #4 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-04 13:44:14 UTC ---
Created attachment 27308
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27308
directory with three source files from real-life code after pre-processor

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |NEW

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 09:48:05 UTC ---
Can you possibly identify a set of files that reproduces the error with
-flto-partition=1to1?

Confirmed at least.

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 10:27:42 UTC ---
Simpler fix:

Index: tree-inline.c
===================================================================
--- tree-inline.c       (revision 187228)
+++ tree-inline.c       (working copy)
@@ -2607,6 +2607,17 @@ setup_one_parameter (copy_body_data *id,
   /* Make gimplifier happy about this variable.  */
   DECL_SEEN_IN_BIND_EXPR_P (var) = 1;

+  /* We are eventually using the value - make sure all variables
+     referenced therein are properly recorded.  */
+  if (value
+      && gimple_in_ssa_p (cfun)
+      && TREE_CODE (value) == ADDR_EXPR)
+    {
+      tree base = get_base_address (TREE_OPERAND (value, 0));
+      if (base && TREE_CODE (base) == VAR_DECL)
+       add_referenced_var (base);
+    }
+
   /* If the parameter is never assigned to, has no SSA_NAMEs created,
      we would not need to create a new variable here at all, if it
      weren't for debug info.  Still, we can just use the argument

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

--- Comment #10 from vincenzo Innocente <vincenzo.innocente at cern dot ch> 2012-05-07 12:23:41 UTC ---
"unfortunately" -flto-partition=1to1 fixes the ICE for the library in question.
I do not have any other standing ICE at the moment.

btw
I've applied the patch in comment 9 on the top of
gcc version 4.7.1 20120504 (prerelease) [gcc-4_7-branch revision 187154] (GCC) 
and now the library builds.
No obvious side effects.

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 12:59:10 UTC ---
Author: rguenth
Date: Mon May  7 12:59:05 2012
New Revision: 187235

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187235
Log:
2012-05-07  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53195
    * tree-inline.c (setup_one_parameter): Properly add referenced
    vars from the parameters new known value.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-inline.c

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

--- Comment #12 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 13:00:44 UTC ---
Author: rguenth
Date: Mon May  7 13:00:39 2012
New Revision: 187237

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187237
Log:
2012-05-07  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/53195
    * tree-inline.c (setup_one_parameter): Properly add referenced
    vars from the parameters new known value.

Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/tree-inline.c

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 13:02:05 UTC ---
Fixed.

[Bug lto/53195] [4.8 Regression] ICE seg fault in lto (in set_is_used (tp=Unhandled dwarf expression opcode 0xf3 ) at ../.././gcc/tree-flow-inline.h:567)

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53195

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zhezherun at yandex dot ru

--- Comment #14 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-07 13:16:39 UTC ---
*** Bug 52776 has been marked as a duplicate of this bug. ***