[clang] [clang][dataflow] Don't propagate result objects inside `decltype`. (PR #90438)
Gábor Horváth via cfe-commits
cfe-commits at lists.llvm.org
Mon Apr 29 08:42:38 PDT 2024
================
@@ -350,6 +350,13 @@ class ResultObjectVisitor : public RecursiveASTVisitor<ResultObjectVisitor> {
return RecursiveASTVisitor<ResultObjectVisitor>::TraverseDecl(D);
}
+ bool TraverseDecltypeTypeLoc(DecltypeTypeLoc Node) {
----------------
Xazax-hun wrote:
There are other instances in the language that are unevaluated including: `typeid`, `noexcept`, `sizeof`. Do you anticipate similar problems with those?
https://github.com/llvm/llvm-project/pull/90438
More information about the cfe-commits
mailing list