[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