[PATCH] D115932: [Analyzer] Create and handle SymbolCast for pointer to integral conversion

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 17 04:49:17 PST 2021


martong added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:417
+  // the member function of SValBuilder (?)
+  if (symRHS)
+    if (auto RLocAsInt = RHS.getAs<nonloc::LocAsInteger>()) {
----------------
We should handle LHS as well.


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