Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Silence a warning from MSVC about not returning a value | Reid Kleckner | 2013-08-13 | 1 | -0/+1 | |
| | | | | llvm-svn: 188237 | |||||
* | Remove Sema includes from Analysis code to fix layering | Reid Kleckner | 2013-08-12 | 1 | -22/+12 | |
| | | | | | | | | | This moves a header-only class from Sema to Analysis and puts the option check in Sema. Patch by Chris Wailes! llvm-svn: 188230 | |||||
* | Speculative build fix for r188206. | Hans Wennborg | 2013-08-12 | 1 | -1/+1 | |
| | | | | | | | The cmake-clang-x86_64 was upset: error: 'template<class ImplClass, class RetTy> class clang::ConstStmtVisitor' used without template parameters llvm-svn: 188211 | |||||
* | Patch by Chris Wailes <chris.wailes@gmail.com>. | DeLesley Hutchins | 2013-08-12 | 1 | -0/+802 | |
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 |