== для сравнения указателей

Я цитирую "Язык программирования Си" Кернигана и Ритчи:

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

Означает ли это, что я не могу полагаться на ==для проверки равенства разных указателей? В каких ситуациях это сравнение приводит к неверному результату?