[Bug c++/52966] New: ill-formed template constexpr functions are accepted?

[Bug c++/52966] New: ill-formed template constexpr functions are accepted?

[drwowe at yahoo dot com]

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

             Bug #: 52966
           Summary: ill-formed template constexpr functions are accepted?
    Classification: Unclassified
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: minor
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: drwowe@yahoo.com


The following code successfully compiles on g++ 4.7.0 with -std=c++11.  I'm not
a language lawyer, but it seems like it shouldn't since the A::two() function
breaks the constexpr rules, either at template definition or template
instantiation time.

------
template<class T>
struct A {
  static int two_nonconst() { return 2; }
  static constexpr int two() { return two_nonconst(); }
}

constexpr int two() {
  return A<int>::two();
}
------

There is no error message until you actually try to use the two() function in
an appropriate context, which could be very confusing.

------
int x[two()];
------
error: size of array 'x' is not an integral constant-expression

[Bug c++/52966] ill-formed template constexpr functions are accepted?

[yury at shurup dot com]

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

Yury V. Zaytsev <yury at shurup dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yury at shurup dot com

--- Comment #1 from Yury V. Zaytsev <yury at shurup dot com> ---
I've been also hit by this bug recently on gcc 4.9.2 and gcc 5.1. I haven't
tried gcc 5.2 yet, but I would assume it's still there.