[PATCH] Teach static analyzer about AttributedStmts
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!
More information about the cfe-commits