steakhal wrote: Thanks for the replies. I'll come back to this PR once I have some time; maybe during the holidays. Both assertions directly relate to this PR for sure.
> I looked into Tom's bug report and I hit the following assertion in a debug > build: > > ``` > clang: > /srv/repos/llvm-project/clang/lib/StaticAnalyzer/Core/DynamicType.cpp:134: > clang::ento::ProgramStateRef > clang::ento::setDynamicTypeAndCastInfo(clang::ento::ProgramStateRef, const > clang::ento::MemRegion*, clang::QualType, clang::QualType, bool): Assertion > `(CastToTy->isAnyPointerType() || CastToTy->isReferenceType()) && > "DynamicTypeInfo should always be a pointer."' failed. > ``` > [...] > What I don't understand is why these are not reference types. @steakhal do > you know more here? Its because prior we `unbox` them I believe, which here sort of means that we drop refs and pointers I think. https://github.com/llvm/llvm-project/pull/69057 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits