This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Bug c++/82304] New: GCC compiles constexpr function with double reinterpret_cast in a constant context


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82304

            Bug ID: 82304
           Summary: GCC compiles constexpr function with double
                    reinterpret_cast in a constant context
           Product: gcc
           Version: 7.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vladimir.krivopalov at gmail dot com
  Target Milestone: ---

The following code compiles fine with GCC (-std=c++14) although normally it
should be rejected:

#include <cstdint>
inline constexpr const char* testfunc(const char* p)
{
    return reinterpret_cast<const char*> (
       reinterpret_cast<uintptr_t>(p));
}

int main(int argc, char** argv) {
    static constexpr const char* second = testfunc("Hello");
}

The C+14 standard prohibits use of reinterpret_cast in constexpr functions:
[expr.const]/2.11 and [expr.const]/2.13

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]