[PATCH] D115932: [Analyzer] Create and handle SymbolCast for pointer to integral conversion
Denys Petrov via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jan 10 04:58:01 PST 2022
ASDenysPetrov added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:420
+ auto FromTy = symRHS->getType();
+ auto ToTy = RLocAsInt->getType(this->Context);
+ symRHS = this->getSymbolManager().getCastSymbol(symRHS, FromTy, ToTy);
----------------
Please take into account that `SVal::getType` may return NULL `QualType`. See function's description.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D115932/new/
https://reviews.llvm.org/D115932
More information about the cfe-commits
mailing list