[clang] [clang] assume_aligned incorrectly diagnoses a dependent return type (PR #111573)

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Tue Oct 8 12:24:08 PDT 2024


================
@@ -4453,9 +4453,9 @@ class Sema final : public SemaBase {
                                       SourceLocation *ArgLocation = nullptr);
 
   /// Determine if type T is a valid subject for a nonnull and similar
-  /// attributes. By default, we look through references (the behavior used by
-  /// nonnull), but if the second parameter is true, then we treat a reference
-  /// type as valid.
+  /// attributes. By default, we skip dependence and look through references
----------------
erichkeane wrote:

`by default` implies that the dependence check can bie disabled, but it very much cannot.

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


More information about the cfe-commits mailing list