Станадрт C. !NULL неоднозначно?

0 приведётся к указателю, равному NULL

т.е. к 0 ;)

А вот это уже implementation-defined.

оно implementation defined на уровне ассемблерного кода. Поведение С-кода зафиксировано стандартом и не должно меняться. Если меняется - компилятор не соответствует стандарту.

Про приведение null pointer к int в стандарте вроде бы ничего нет. Есть только, что любой указатель можно привести к int и результат будет implementation defined.

Где этот абзац мне запрещает определять null-pointer как (void*)(-1)?

адрес всегда неотрицательное число

Дык null pointer же, а не константы NULL. Т.е.

void* p = malloc(MORE_THAN_WE_HAVE);
int a = (int)p; // impementation defined
int b = (int)NULL; // 0

Стандарт - гарантирует. Некоторые компиляторы на экзотических платформах могут не отвечать стандартам языка С.

Вот как надо отвечать, товарисчи! В двух предложениях всё уместил.

Это говорили и раньше.