[PATCH] Add 'return_typestate' function attribute

[Christian Wailes]

  * Now lists the invalid state for the warn_unknown_consumed_state warning.
  * Back-ported the refactor of propagateReturnState.
  * Marked getExpectedReturnState as const.
  * Added a test for warn_unknown_consumed_state
  * Added more information to the return_type_mismatch warning.
  * Adjusted the `return_typestate` attribute to work with Aaron's patch.
  * Moved test for `return_typestate` on function that doesn't return a consumable class warning to a different spot in the warn-consumed-parsing.cpp file.  It fires now.  Why?

Hi delesley, dblaikie, aaron.ballman,

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

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1567?vs=3948&id=3974#toc

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1567.2.patch
Type: text/x-patch
Size: 23903 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130902/3f4b1aa9/attachment.bin>