[clang] Warning for incorrect useof 'pure' attribute (PR #78200)

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Wed Jan 17 07:28:52 PST 2024


================
@@ -11792,6 +11792,32 @@ static bool CheckMultiVersionFunction(Sema &S, FunctionDecl *NewFD,
                                          OldDecl, Previous);
 }
 
+static void CheckFunctionDeclarationAttributesUsage(Sema &S,
+                                                    FunctionDecl *NewFD) {
+  const bool is_pure = NewFD->hasAttr<PureAttr>();
+  const bool is_const = NewFD->hasAttr<ConstAttr>();
+
+  if (is_pure && is_const) {
+    S.Diag(NewFD->getLocation(), diag::warn_const_attr_with_pure_attr);
+    NewFD->dropAttr<PureAttr>();
----------------
erichkeane wrote:

Why drop 'pure'?  It is more constrained than const, right?  it would seem that keeping 'pure' around and dropping const would be more consistent.

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


More information about the cfe-commits mailing list