[clang] c3b672a - [Clang][doc] Fix __builtin_assume wording.

[Mark de Wever via cfe-commits]

Author: Mark de Wever
Date: 2022-03-26T13:02:40+01:00
New Revision: c3b672a34cdef38002016ab15454c2df432e48c8

URL: https://github.com/llvm/llvm-project/commit/c3b672a34cdef38002016ab15454c2df432e48c8
DIFF: https://github.com/llvm/llvm-project/commit/c3b672a34cdef38002016ab15454c2df432e48c8.diff

LOG: [Clang][doc] Fix __builtin_assume wording.

D117296 removed wording for __builtin_assume, D120205 restored the
wording, but the last sentence was only partly restored. This restores
the rest of the last sentence.

Reviewed By: aaron.ballman

Differential Revision: https://reviews.llvm.org/D122423

Added: 
    

Modified: 
    clang/docs/LanguageExtensions.rst

Removed: 
    


################################################################################
diff  --git a/clang/docs/LanguageExtensions.rst b/clang/docs/LanguageExtensions.rst
index 05d8d53d44c1c..45fb8efaf8b01 100644
--- a/clang/docs/LanguageExtensions.rst
+++ b/clang/docs/LanguageExtensions.rst
@@ -2294,7 +2294,8 @@ invariant that is defined to be true.
 The boolean argument to this function is defined to be true. The optimizer may
 analyze the form of the expression provided as the argument and deduce from
 that information used to optimize the program. If the condition is violated
-during execution, the behavior is undefined. The argument itself is 
+during execution, the behavior is undefined. The argument itself is never
+evaluated, so any side effects of the expression will be discarded.
 
 Query for this feature with ``__has_builtin(__builtin_assume)``.