[PATCH] D11700: Added remove taint support to ProgramState.

Ted Kremenek via cfe-commits cfe-commits at lists.llvm.org
Mon Aug 24 21:37:33 PDT 2015


krememek added inline comments.

================
Comment at: include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h:444-448
@@ +443,7 @@
+
+  SymbolRef
+  getSymbolFromStmt(const Stmt *S, const LocationContext *LCtx) const;
+
+  const MemRegion*
+  getRegionFromStmt(const Stmt *S, const LocationContext *LCtx) const;
+
----------------
krememek wrote:
> Can we add documentation comments for these?  Seems like generally useful utility methods.  We could also probably just make these public.
Actually, I'm wondering if we really need to add these at all.  They are just one liners that easily could be written where they are used.


http://reviews.llvm.org/D11700





More information about the cfe-commits mailing list