Исправление X512, 01.08.20 13:33 (текущая версия) :
__attribute__((nonnull))
Тоже нестандартное GCC расширение.
Исходная версия X512, 01.08.20 13:32:
attribute((nonnull))