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

vladimir.krivopalov at gmail dot com gcc-bugzilla@gcc.gnu.org
Sat Sep 23 02:39:00 GMT 2017


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


More information about the Gcc-bugs mailing list