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

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 7 09:39:18 PST 2024


================
@@ -783,6 +783,9 @@ def err_ms_property_expected_comma_or_rparen : Error<
 def err_ms_property_initializer : Error<
   "property declaration cannot have a default member initializer">;
 
+def err_assume_attr_expects_cond_expr : Error<
+  "use of this expression in an 'assume' attribute requires parentheses">;
----------------
Sirraide wrote:

Since `assume` (currently) only has one spelling (because `clang::assume` is something else as I understand it), I’ve inlined it here. Should I change this to `%0` and pass the attribute name to the diagnostic instead? The same also applies to some of the other assume-related diagnostics

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


More information about the cfe-commits mailing list