ФТ>class A
ФТ>{
ФТ>};

ФТ>A *factory()
ФТ>{
ФТ>    return new A;
ФТ>}

ФТ>void f()
ФТ>{
ФТ>    A *instance = 0;

ФТ>    if ((instance = factory) != 0) // undefined behaviour: no sequence points here
ФТ>    {
ФТ>        // do work with instance
ФТ>    }
ФТ>}
ФТ>

The result of the assignment operation is the value stored in the left operand after the assignment has taken place.

Accessing an object designated by a volatile lvalue (3.10), modifying an object, calling a library I/O function, or calling a function that does any of those operations are all side effects, which are changes in the state of the execution environment. Evaluation of an expression might produce side effects. At certain specified points in the execution sequence calledsequence points, all side effects of previous evaluations shall be complete and no side effects of subsequent evaluations shall have taken place.

(instance = factory()) != 0;

// По шагам с записью промежуточных результатов во временные переменные:
1 tmp1 <- factory(); // вернули значение из функции
2 tmp2 <- instance = tmp1; // вернули результат оператора присвоения. Получили значение первого операнда.
3 tmp3 <- 0 - второй операнд для "не равно". Замечу, что он мог вычислиться и раньше первого
4 tmp4 <- tmp2 != tmp3; // получили результат операции "не равно"
5 дошли до ; (или другой точки следования), теперь мы точно знаем, что выполнилось: instance <- tmp1
[ccode]

Мы бы имели UB здесь, если бы попытались повторное использовать instance, скажем вот так:
[ccode]
if ((instance = factory()) != instance->parent)

The value computations of the operands of an
operator are sequenced before the value computation of the result of the operator