История изменений
Исправление intelfx, (текущая версия) :
Гарантируется, что таких массивов не существует.
5.2 [expr.add], пункт 5:
When an expression that has integral type is added to or subtracted from a pointer, the result has the type of the pointer operand. <...> If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.
Исходная версия intelfx, :
Гарантируется, что таких массивов не существует.
expr.add.5:
When an expression that has integral type is added to or subtracted from a pointer, the result has the type of the pointer operand. <...> If both the pointer operand and the result point to elements of the same array object, or one past the last element of the array object, the evaluation shall not produce an overflow; otherwise, the behavior is undefined.