[Bug c++/53336] New: invalid types in nop conversion

[Bug c++/53336] New: invalid types in nop conversion

[dcb314 at hotmail dot com]

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

             Bug #: 53336
           Summary: invalid types in nop conversion
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dcb314@hotmail.com


Created attachment 27392
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27392
gzipped C++ source code

I just tried to compile the package boost-1.48.0-13
on gcc-4.8 trunk dated 20120513 on an AMD x86_64 box.

The compiler said

/home/dcb/rpmbuild/BUILD/boost_1_48_0/libs/iostreams/src/mapped_file.cpp: In
member function 'boost::iostreams::mapped_file_source::operator
boost::iostreams::mapped_file_source::safe_bool() const':
/home/dcb/rpmbuild/BUILD/boost_1_48_0/libs/iostreams/src/mapped_file.cpp:454:1:
error: invalid types in nop conversion
 mapped_file_source::operator mapped_file_source::safe_bool() const
 ^
<<< Unknown tree: offset_type >>>
bool
D.64148_7 = (<<< Unknown tree: offset_type >>>) D.64147_6;

/home/dcb/rpmbuild/BUILD/boost_1_48_0/libs/iostreams/src/mapped_file.cpp:454:1:
internal compiler error: verify_gimple failed
 mapped_file_source::operator mapped_file_source::safe_bool() const
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O2 required.

[Bug c++/53336] invalid types in nop conversion

[zeratul976 at hotmail dot com]

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

Nathan Ridge <zeratul976 at hotmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zeratul976 at hotmail dot
                   |                            |com

--- Comment #1 from Nathan Ridge <zeratul976 at hotmail dot com> 2012-05-14 08:50:53 UTC ---
Reduced testcase:

bool foo();

struct C
{
    C()
    {
        if (foo())
            foo();
    }
};

struct S
{
    struct dummy
    {
        int i_;
    };
    typedef int dummy::*bool_type;

    operator bool_type() const
    {
        return foo() ? &dummy::i_ : 0;
    }
};

int x;

struct adaptor
{
    C c;

    virtual void bar()
    {
        if (S())
            x = 0;
    }
};

int main()
{
    adaptor a;
}


Compile with -O2. Errors:

test.cpp: In member function 'virtual void adaptor::bar()':
test.cpp:32:18: error: invalid types in nop conversion
     virtual void bar()
                  ^
<<< Unknown tree: offset_type >>>
bool
D.2314_1 = (<<< Unknown tree: offset_type >>>) D.2313_9;

test.cpp:32:18: internal compiler error: verify_gimple failed

[Bug tree-optimization/53336] [4.8 Regression] invalid types in nop conversion

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-14
          Component|c++                         |tree-optimization
      Known to work|                            |4.7.1
   Target Milestone|---                         |4.8.0
            Summary|invalid types in nop        |[4.8 Regression] invalid
                   |conversion                  |types in nop conversion
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-14 10:54:01 UTC ---
Caused by phiopt.

[Bug tree-optimization/53336] [4.8 Regression] invalid types in nop conversion

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bonzini at gnu dot org

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-14 10:55:42 UTC ---
And the -1 handling code.

[Bug tree-optimization/53336] [4.8 Regression] invalid types in nop conversion

[bonzini at gnu dot org]

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

--- Comment #4 from Paolo Bonzini <bonzini at gnu dot org> 2012-05-22 08:32:07 UTC ---
Author: bonzini
Date: Tue May 22 08:31:52 2012
New Revision: 187759

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187759
Log:
gcc:
2012-05-16  Paolo Bonzini  <bonzini@gnu.org>

    PR tree-optimization/53336
    * tree-cfg.c (verify_gimple_assign_unary): Allow conversion from
    non-integer integral types to offset type and vice versa.

gcc/testsuite:
2012-05-16  Paolo Bonzini  <bonzini@gnu.org>

    PR tree-optimization/53336
    * g++.dg/torture/pr53336.C: New testcase.


Added:
    trunk/gcc/testsuite/g++.dg/torture/pr53336.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c

[Bug tree-optimization/53336] [4.8 Regression] invalid types in nop conversion

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|                            |FIXED

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-05-31 12:17:28 UTC ---
Fixed.