[PATCH] D104550: [analyzer] Implement getType for SVal

[Artem Dergachev via Phabricator via cfe-commits]

NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.

Amazing, thanks!!



================
Comment at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h:213
+  /// bound expression AST node as well, since AST always has exact types.
+  QualType getType(const ASTContext &) const;
 };
----------------
I'm also in favor of a note that says "Loc values are interpreted as pointer rvalues for the purposes of this method" or something like that.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D104550/new/

https://reviews.llvm.org/D104550