Последовательность в составном условном выражении

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

enum S { };

struct R {
    S type, state;
    double height;
};

int main ()
{
    int rows;
    S alive, rc;
    double h;
    R *r, *n;

    // BEGIN
    if ( (((r = n-1)   ->type & rc) && h > r->height) ||
         (((r = n+1)   ->type & rc) && h > r->height) ||
         (((r = n-rows)->type & rc) && h > r->height) ||
         (((r = n+rows)->type & rc) && h > r->height) )
    {
        n->state = alive;
    }
    // END
}

Однако внутри проекта при той же компиляции (clang 3.3 без опций, кроме путей включения) это дает

warning: multiple unsequenced modifications to 'r' [-Wunsequenced]

(указывая на подвыражение r = n - 1). Оператор if (отмечен BEGIN-END) внутри проекта идентичен, только типы переменных могут отличаться. Типы, определенные здесь, являются лишь грубыми приближениями, но я думаю, что они не имеют отношения к предупреждению. Я смог упростить выражение до

if( (r = n) || (r = n) ) //...

при этом предупреждение воспроизводится в проекте.

Насколько я понимаю, после оценки первого операнда операторов &&, || (когда они не перегружены) есть точка последовательности. Поэтому я не могу объяснить предупреждение.

Если есть какие-либо идеи относительно формы выражения независимо от типов, это поможет.

ИЗМЕНИТЬ

Используя комментарии Вона Катона, я также обнаружил, что

if( ((r = n-1) ->type) || ((r = n+1) ->type) )

выдает предупреждение, а

if( bool((r = n-1) ->type) || bool((r = n+1) ->type) )

не. S на самом деле является классом, который имитирует перечисление и имеет собственный базовый класс. Он имеет перегруженные побитовые операторы &, | и ! для маскирования, а также оператор неявного преобразования в базовый тип, которым в конкретном случае является size_t. Я не знаю, насколько это поможет, но я сожалею, что не раскрыл более полную информацию с самого начала.