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
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
