A function call which reaches the end of the sequence of instructions making up the function body, without encountering a return instruction, results in the value of this variable. The same applies when a return instruction without a return expression is encountered.