[PATCH] D146358: [clang][AST] Print name instead of type when diagnosing uninitialized subobject in constexpr variables

Timm Bäder via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 14 07:23:55 PDT 2023


tbaeder added a comment.

So, if I understand the code correctly, we call `CheckEvaluationResult` with `SubObjectDecl=nullptr` when we're not checking an actual field but just an array/record, so we can't run into this problem anyway, so the assert seems fine.

I don't fully understand the problem with the `gnu::weak` stuff, in any case, adding it to  this patch seems wrong. https://godbolt.org/z/qn997n85n //does// emit a note, but it's not the one this patch is about, so is that even relevant?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D146358/new/

https://reviews.llvm.org/D146358



More information about the cfe-commits mailing list