[PATCH] Teach static analyzer about AttributedStmts
Jordan Rose
jordan_rose at apple.com
Mon Jul 1 09:18:01 PDT 2013
Attributes can be attached to statements other than null-statements, but that doesn't actually require any additional processing. The way the analyzer works is to generate a linearized CFG and then evaluate the elements in the CFG in order. In this case, that means the inner statement has already been evaluated by the time the AttributedStmt is seen.
Looks good, please commit!
http://llvm-reviews.chandlerc.com/D1030
BRANCH
master
ARCANIST PROJECT
clang
More information about the cfe-commits
mailing list