CWG2486 Call to noexcept function via noexcept(false) pointer/lvalue

Author: tkoeppe

source/expressions.tex

@@ -3063,9 +3063,17 @@
 
 \pnum
 Calling a function through an
-expression whose function type is different
-from the function type of the called function's
-definition results in undefined behavior.
+expression whose function type \tcode{E} is different
+from the function type \tcode{F} of the called function's
+definition results in undefined behavior
+unless the type ``pointer to \tcode{F}'' can be converted
+to the type ``pointer to \tcode{E}'' via a function pointer conversion\iref{conv.fctptr}.
+\begin{note}
+The exception applies when the expression has the type of a
+potentially-throwing function, but the called function has
+a non-throwing exception specification,
+and the function types are otherwise the same.
+\end{note}
 
 \pnum
 \indextext{function argument|see{argument}}%