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 _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
