[PATCH] D122423: [Clang][doc] Fix __builtin_assume wording.

[Mark de Wever via Phabricator via cfe-commits]

Mordante created this revision.
Mordante added reviewers: serge-sans-paille, aaron.ballman.
Herald added a project: All.
Mordante requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

D117296 <https://reviews.llvm.org/D117296> removed wording for __builtin_assume, D120205 <https://reviews.llvm.org/D120205> restored the
wording, but the last sentence was only partly restored. This restores
the rest of the last sentence.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D122423

Files:
  clang/docs/LanguageExtensions.rst


Index: clang/docs/LanguageExtensions.rst
===================================================================
--- clang/docs/LanguageExtensions.rst
+++ clang/docs/LanguageExtensions.rst
@@ -2294,7 +2294,8 @@
 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)``.
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D122423.418010.patch
Type: text/x-patch
Size: 725 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220324/85351457/attachment.bin>