[clang] [Clang][C++23] Implement P1774R8: Portable assumptions (PR #81014)

[via cfe-commits]

================
@@ -1996,6 +1996,30 @@ Here is an example:
   }];
 }
 
+def AssumeDocs : Documentation {
+  let Category = DocCatStmt;
+  let Heading = "assume";
+  let Content = [{
+The ``assume`` attribute is used to indicate to the optimizer that a
+certain condition can be assumed to be true at a certain point in the
+program. If this condition is violated at runtime, the behavior is
----------------
Sirraide wrote:

Iirc we were discussed adding a note about that, yeah.

https://github.com/llvm/llvm-project/pull/81014