uabelho added a comment. In D126198#3549790 <https://reviews.llvm.org/D126198#3549790>, @uabelho wrote:
> Hi, > > I see crashes like this with this patch: > > clang: > ../../clang/include/clang/StaticAnalyzer/Core/PathSensitive/BasicValueFactory.h:94: > clang::ento::PointerToMemberData::PointerToMemberData(const clang::NamedDecl > *, llvm::ImmutableList<const CXXBaseSpecifier *>): Assertion `D' failed. > > Anyhting known or familiar? > > Unfortunately I don't have any reproducer to share (yet). Reproducer: clang -cc1 -analyze -analyzer-checker=core bbi-70461.C on bbi-70461.C being class B{ }; class D: public B{ }; int f(int D::* pd); int test(void) { int B::* pb = 0; return f(pb); } Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D126198/new/ https://reviews.llvm.org/D126198 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits