Szelethus added a comment. Seems like the issues mentioned above are real, but orthogonal to this patch. Would it be okay to address them in followup patches? @martong @NoQ
================ Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp:927 SVal RetVal = State->getSVal(CNE, LCtx); + State = State->bindDefaultInitial(RetVal, UndefinedVal{}, LCtx); ---------------- steakhal wrote: > Yeey, finally we will have this :D > > I wonder if we could query from the `ASTContext` if we have a trivially > constructible class typeor something as a first approximation. And a result skip the rest of this function? ================ Comment at: clang/test/Analysis/NewDelete-checker-test.cpp:388-392 + ~DerefClass() { + int i = 0; + x = &i; + *x = 1; + } ---------------- steakhal wrote: > This change seems unrelated. > Could you elaborate on that? The test case in its original version would have emitted an uninitialized use report, which is fine, but the intention is to test double deletes, not uninitialized use, hence the seemingly unrelated change. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D135375/new/ https://reviews.llvm.org/D135375 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits