[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