Comment by uecker

Only answering the "side effect" part as the rest was answered already.

What a side effect is, is explained in "5.1.2.3". Calling function is only a side effect when the function contains a side effect, such as modifying an object, or a volatile access, or I/O.