ASDenysPetrov added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Checkers/StrictAliasingChecker.cpp:113 + QualType getOriginalType(CheckerContext &C, SVal V, QualType T) const { + assert(V.getAs<Loc>() && "Location shall be a Loc."); + V = C.getState()->getSVal(V.castAs<Loc>(), T); ---------------- ASDenysPetrov wrote: > NoQ wrote: > > I suspect it might also be `UnknownVal` (?) It usually makes sense to > > protect against such scenarios with an early return. > I'll try to add some tests to model this. 'ExprEngine::evalLocation' has an early check for //unknown//, so `Location` is never be //unknown//. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D114718/new/ https://reviews.llvm.org/D114718 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits