[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:38:47 PDT 2024


================
@@ -4453,9 +4453,10 @@ 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. Dependent types are considered valid, so they can be checked
+  /// during instantiation time. 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..
----------------
erichkeane wrote:

```suggestion
  /// treat a reference type as valid.
```
Missed this!

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


More information about the cfe-commits mailing list