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)``.
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)``.
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
