[Bug c++/53839] New: [4.7/4.8 Regresion] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[Bug c++/53839] New: [4.7/4.8 Regresion] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[redi at gcc dot gnu.org]

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

             Bug #: 53839
           Summary: [4.7/4.8 Regresion] [C++11] internal compiler error:
                    in adjust_temp_type, at cp/semantics.c:6391
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: redi@gcc.gnu.org


#include <chrono>

namespace c = std::chrono;

struct X { long x; };

X f(const c::time_point<c::system_clock, c::microseconds>& tp)
{
    return { (tp - tp).count() };
}

void g()
{
    c::time_point<c::system_clock, c::microseconds> tp;
    f(tp);
}

ICE with 4.7.1 and 4.8-20120701 snapshot, the snapshot output is

ice.cc: In function 'X f(const
std::chrono::time_point<std::chrono::system_clock, std::chrono::duration<long
int, std::ratio<1l, 1000000l> > >&)':
ice.cc:9:20:   in constexpr expansion of
'std::chrono::operator-<std::chrono::system_clock, std::chrono::duration<long
int, std::ratio<1l, 1000000l> >, std::chrono::duration<long int, std::ratio<1l,
1000000l> > >((* & tp), (* & tp))'
/home/jwakely/gcc/4.x/include/c++/4.8.0/chrono:629:41:   in constexpr expansion
of '(& __lhs)->std::chrono::time_point<_Clock,
_Dur>::time_since_epoch<std::chrono::system_clock, std::chrono::duration<long
int, std::ratio<1l, 1000000l> > >()'
ice.cc:9:32: internal compiler error: in adjust_temp_type, at
cp/semantics.c:6396
     return { (tp - tp).count() };
                                ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


Compiles OK with 4.6.3 or if the expression is changed to not use a temporary:

    auto x = tp - tp;
    return { x.count() };

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[paolo.carlini at oracle dot com]

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

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

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

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-07-25 09:31:03 UTC ---
Confirmed. H.J. can you find which change broke this? Thanks.

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.2

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[hjl.tools at gmail dot com]

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

--- Comment #2 from H.J. Lu <hjl.tools at gmail dot com> 2012-08-16 13:46:24 UTC ---
It was triggered by revision 176549:

http://gcc.gnu.org/ml/gcc-cvs/2011-07/msg00816.html

But ICE is always there.

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[paolo.carlini at oracle dot com]

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

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-16 14:45:03 UTC ---
I see. Jonathan, I guess a reduced testcase not including anything would be
very useful anyway (even if the ICE is very old)

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[redi at gcc dot gnu.org]

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

--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-08-16 14:58:53 UTC ---
I'll see what I can do.

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-09-13 15:14:18 UTC ---
Author: jason
Date: Thu Sep 13 15:14:08 2012
New Revision: 191263

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191263
Log:
    PR c++/53839
    * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
    address, make sure the value is constant.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-temp1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-09-13 15:14:18 UTC ---
Author: jason
Date: Thu Sep 13 15:14:08 2012
New Revision: 191263

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191263
Log:
    PR c++/53839
    * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
    address, make sure the value is constant.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/constexpr-temp1.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-09-13 15:15:22 UTC ---
Author: jason
Date: Thu Sep 13 15:15:06 2012
New Revision: 191266

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=191266
Log:
    PR c++/53839
    * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
    address, make sure the value is constant.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/constexpr-temp1.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/semantics.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug c++/53839] [4.7/4.8 Regression] [C++11] internal compiler error: in adjust_temp_type, at cp/semantics.c:6391

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-09-13 15:30:14 UTC ---
Fixed for 4.7.2.