4 Commits

Author	SHA1	Message	Date
Reid Kleckner	6454d0a0fa	Silence a warning from MSVC about not returning a value ... llvm-svn: 188237	2013-08-13 00:11:59 +00:00
Reid Kleckner	e846deae3c	Remove Sema includes from Analysis code to fix layering ... This moves a header-only class from Sema to Analysis and puts the option check in Sema. Patch by Chris Wailes! llvm-svn: 188230	2013-08-12 23:49:39 +00:00
Hans Wennborg	812a9ec9c2	Speculative build fix for r188206. ... The cmake-clang-x86_64 was upset: error: 'template<class ImplClass, class RetTy> class clang::ConstStmtVisitor' used without template parameters llvm-svn: 188211	2013-08-12 22:02:09 +00:00
DeLesley Hutchins	48a317663f	Patch by Chris Wailes <chris.wailes@gmail.com>. ... Reviewed by delesley, dblaikie. Add the annotations and code needed to support a basic 'consumed' analysis. Summary: This new analysis is based on academic literature on linear types. It tracks the state of a value, either as unconsumed, consumed, or unknown. Methods are then annotated as CallableWhenUnconsumed, and when an annotated method is called while the value is in the 'consumed' state a warning is issued. A value may be tested in the conditional statement of an if-statement; when this occurs we know the state of the value in the different branches, and this information is added to our analysis. The code is still highly experimental, and the names of annotations or the algorithm may be subject to change. llvm-svn: 188206	2013-08-12 21:20:55 +00:00