[Bug c++/53812] New: lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[Bug c++/53812] New: lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[0ezpz0 at gmail dot com]

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

             Bug #: 53812
           Summary: lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: 0ezpz0@gmail.com


Created attachment 27719
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27719
preprocessed source

The attached code causes internal compiler error for 4.6.3, 4.7.0, and 4.7.1.
Same reported location as #53356 but happening in 4.7.1. 

I was unable to reduce to a smaller example that would still expose the
problem.

Here is the full output of g++ -v -save-temps (for g++-4.7.1)


Using built-in specs.
COLLECT_GCC=g++-4.7.1
COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/x86_64-unknown-linux-gnu/4.7.1/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure
Thread model: posix
gcc version 4.7.1 (GCC) 
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'
'-march=x86-64'
 /usr/local/libexec/gcc/x86_64-unknown-linux-gnu/4.7.1/cc1plus -E -quiet -v
-D_GNU_SOURCE t.cc -mtune=generic -march=x86-64 -fpch-preprocess -o t.ii
ignoring nonexistent directory
"/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1

/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1/x86_64-unknown-linux-gnu

/usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1/backward
 /usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/include
 /usr/local/include
 /usr/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-shared-libgcc' '-mtune=generic'
'-march=x86-64'
 /usr/local/libexec/gcc/x86_64-unknown-linux-gnu/4.7.1/cc1plus -fpreprocessed
t.ii -quiet -dumpbase t.cc -mtune=generic -march=x86-64 -auxbase t -version -o
t.s
GNU C++ (GCC) version 4.7.1 (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.7.1, GMP version 5.0.5, MPFR version 3.1.0, MPC
version 0.9
warning: GMP header version 5.0.5 differs from library version 5.0.2.
warning: MPFR header version 3.1.0 differs from library version 3.1.0-p3.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU C++ (GCC) version 4.7.1 (x86_64-unknown-linux-gnu)
    compiled by GNU C version 4.7.1, GMP version 5.0.5, MPFR version 3.1.0, MPC
version 0.9
warning: GMP header version 5.0.5 differs from library version 5.0.2.
warning: MPFR header version 3.1.0 differs from library version 3.1.0-p3.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: a7151d2778777271784da9f36a49699e
t.cc: In member function ‘long int Processor::execute(Program&)’:
t.cc:41:10: internal compiler error: in verify_gimple_stmt, at tree-cfg.c:4258
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/53812] lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-07-02
                 CC|                            |jakub at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-07-02 08:01:25 UTC ---
Simplified testcase:
struct T { T () : t(0) {}; int t; ~T (); };
struct S { void *operator [] (T); };
void bar (S &, void *, void *);

void
foo (S &x, T &y)
{
  bar (x, &&l1, &&l2);
l1:
  goto *x[y];
l2:
  bar (x, &&l1, &&l2);
}

[Bug c++/53812] lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-07-02 08:31:20 UTC ---
Created attachment 27729
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27729
gcc48-pr53812.patch

Untested fix.

[Bug c++/53812] lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-07-03 13:09:22 UTC ---
Author: jakub
Date: Tue Jul  3 13:09:16 2012
New Revision: 189225

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189225
Log:
    PR c++/53812
    * semantics.c (finish_goto_stmt): Surround computed goto argument
    with CLEANUP_POINT_EXPR if needed.

    * g++.dg/ext/label14.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/ext/label14.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53812] lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[paolo.carlini at oracle dot com]

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

--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Can we close this?

[Bug c++/53812] lower_stmt (4.6), verify_gimple_stmt (4.7.0, 4.7.1)

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.8.0

--- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Fixed for 4.8.0.