[PATCH] Teach static analyzer about AttributedStmts
Jordan Rose
jordan_rose at apple.com
Mon Jun 24 09:15:14 PDT 2013
I'm pretty sure NullStmt should still never be in the CFG, even within an AttributedStmt. For the AttributedStmt itself, please add it to the "Cases we intentionally don't evaluate" section. That allows checkers to do pre/post-stmt checks, but doesn't generate a new node if there's no actual change in state. We can always change this later if we ever want Core handling any statement attributes.
http://llvm-reviews.chandlerc.com/D1030
BRANCH
master
ARCANIST PROJECT
clang
More information about the cfe-commits
mailing list