[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