GCC рассматривает встроенные функции непостоянных выражений как постоянные выражения

Пожалуйста, смотрите обновление для лучшего примера проблемы. Оригинальный код имеет множество проблем, которые запутывают картину:

Этот вопрос Почему я могу вызвать функцию не-constexpr внутри функции constexpr? представил следующий код

#include <stdio.h>

constexpr int f()
{
return printf("a side effect!\n");
}

int main()
{
char a[f()];
printf("%zd\n", sizeof a);
}

Который, как я отвечаю плохо формируется но gcc 4.8.2 позволяет это (увидеть это в прямом эфире).

Но если мы используем -fno-builtin флаг gcc выдает ошибку (увидеть это в прямом эфире):

error: call to non-constexpr function 'int printf(const char*, ...)'
return printf("a side effect!\n");
^

так что seems тот gcc рассматривает его встроенную версию printf быть постоянным выражением. gcc встроенные документы здесь но не документирует этот случай, когда встроенную функцию non-constexpr можно считать константным выражением.

Если это действительно так:

• Разрешено ли это делать компилятору?
• Если они разрешены, не должны ли они документировать это, чтобы соответствовать?
• Может ли это считаться расширением, если так, то кажется, что для этого потребуется предупреждение, поскольку Проект стандарта C ++ раздел 1.4 Соответствие реализации параграф 8 говорит (акцент мой):

Соответствующая реализация может иметь расширения (включая дополнительные библиотечные функции), при условии, что они не изменяют поведение любой правильно сформированной программы. Внедрения необходимы для диагностики программ, использующих такие расширения, которые являются неправильно сформированными в соответствии с настоящим международным стандартом.. Сделав это, однако, они могут компилировать и выполнять такие программы.

Обновить

Как указывает Кейси, в исходной задаче происходит несколько вещей, которые делают ее плохим примером. Простой пример будет использовать станд :: пау которая не является функцией constexpr:

#include <cmath>
#include <cstdio>

constexpr double f()
{
return std::pow( 2.0, 2.0 ) ;
}

int main()
{
constexpr double x = f() ;

printf( "%f\n", x ) ;
}

Компилирует и строит без предупреждений или ошибок (увидеть это в прямом эфире) но добавляю -fno-builtin заставляет выдавать ошибку (увидеть это в прямом эфире). Замечания: почему математические функции не являются constexpr в C ++ 11:

error: call to non-constexpr function 'double pow(double, double)'
return std::pow( 2.0, 2.0 ) ;
^