Здравствуйте, abdab, Вы писали:

A>>что возвращает выражение типа. когда одно значение присваивается другому

A>>if (a = b)

A>Возварщает значение а.
A>Все это хорошо видно в дизассемблере, например, в студии:

Ссылаться надо не на дизассемблер, а на стандарт языка.