]> granicus.if.org Git - clang/commit
Consumed analysis: Add param_typestate attribute, which specifies that
authorDeLesley Hutchins <delesley@google.com>
Thu, 17 Oct 2013 23:23:53 +0000 (23:23 +0000)
committerDeLesley Hutchins <delesley@google.com>
Thu, 17 Oct 2013 23:23:53 +0000 (23:23 +0000)
commitd4f0e1991f42c69111213699fb2d09dedee1cd36
treefee34accea7d2277e2a7eb798f7160575d82c88c
parentd33884f1e2e3189ee2db75cc72d90ea854f6bc68
Consumed analysis: Add param_typestate attribute, which specifies that
function parameters must be in a particular state.  Patch by
chris.wailes@gmail.com.  Reviewed by delesley@google.com.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@192934 91177308-0d34-0410-b5e6-96231b3b80d8
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.cpp