[PATCH] replaced callable_when_unconsumed annotation with generic callable_when annotation

Christian Wailes chriswailes at google.com
Thu Sep 5 18:55:30 PDT 2013


Hi dblaikie, delesley, rsmith, aaron.ballman,

The callable_when annotation can take a list of states that a function can be called in.  This reduced the total number of annotations needed and makes writing more complicated behaviour less burdensome.

To allow the the callable_when attribute to hold a variable number of states a VariadicEnumArgument Tablegen attribute classes was added.  Future work should replace the various Variadic attribute classes with a single class that takes another attribute as a parameter.  A FIXME has been added to indicate this at the request of Richard Smith.

http://llvm-reviews.chandlerc.com/D1613

Files:
  include/clang/Analysis/Analyses/Consumed.h
  include/clang/Basic/Attr.td
  include/clang/Basic/DiagnosticSemaKinds.td
  lib/Analysis/Consumed.cpp
  lib/Sema/AnalysisBasedWarnings.cpp
  lib/Sema/SemaDeclAttr.cpp
  test/SemaCXX/warn-consumed-analysis-strict.cpp
  test/SemaCXX/warn-consumed-analysis.cpp
  test/SemaCXX/warn-consumed-parsing.cpp
  utils/TableGen/ClangAttrEmitter.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1613.1.patch
Type: text/x-patch
Size: 61370 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130905/da63295f/attachment.bin>


More information about the cfe-commits mailing list