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

Erich Keane via cfe-commits cfe-commits at lists.llvm.org
Wed Oct 9 13:33:57 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. We skip dependence then By default, we look through references
----------------
erichkeane wrote:

```suggestion
  /// attributes. Dependent types are considered valid, so they can be checked during instantiation time. By default, we look through references
```

^^ make sure to clang-format.

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


More information about the cfe-commits mailing list