diff --git a/docs/LangRef.html b/docs/LangRef.html index 3f16e386c2b..d6a78c903b3 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2383,6 +2383,10 @@ cleanup is performed in the case of either a longjmp or a thrown exception. Additionally, this is important for implementation of 'catch' clauses in high-level languages that support them.

+

It is not valid to reference the return value of an invoke call from +anywhere not dominated by the normal label, since an unwind does not +provide a return value.

+
Example:
   %retval = invoke i32 @Test(i32 15) to label %Continue