From 53d3abe26ec7b5230fb6ffd5bf280c0ad2901213 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sat, 28 Dec 2019 21:07:20 +0100 Subject: [PATCH] [expr.call] Clarify result of function call vs. return operand. --- source/expressions.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index b4feebe681..47e157fa73 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -3044,9 +3044,9 @@ \end{example} \pnum -The result of a function call is the -result of the operand of the evaluated \tcode{return} statement\iref{stmt.return} -in the called function (if any), +The result of a function call is the result of the possibly-converted operand +of the \tcode{return} statement\iref{stmt.return} +that transferred control out of the called function (if any), except in a virtual function call if the return type of the final overrider is different from the return type of the statically chosen function, the value returned from the final overrider is