[PATCH] D42300: [Analyzer] Add PreStmt and PostStmt callbacks for OffsetOfExpr
Henry Wong via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sat Jan 20 01:31:08 PST 2018
MTC added a comment.
In https://reviews.llvm.org/D42300#982187, @NoQ wrote:
> My intuition suggests that this checker shouldn't be path-sensitive; our path-sensitive analysis does very little to help you with this particular checker, and you might end up with a much easier and more reliable checker if you turn it into a simple AST visitor or an AST matcher. Just a heads up.
This is a very useful suggestion, many thanks, Noq! Path-sensitive is really a bit too heavy for this checker.
More information about the cfe-commits