wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
156,725 Commits 29 Branches 0 Tags 2.2 GiB
Commit Graph

5 Commits

Author SHA1 Message Date
DeLesley Hutchins 7fa60edb47 Consumed analysis: non-const methods no longer transfer an object into an 
unknown state.  Patch by chris.wailes@gmail.com.

llvm-svn: 189612
 2013-08-29 21:17:25 +00:00
DeLesley Hutchins 5533ec5c55 Consumed analysis: improve handling of conditionals. 
Patch by chris.wailes@gmail.com.

* The TestedVarsVisitor was folded into the ConsumedStmtVisitor.
* The VarTestResult class was updated to allow these changes.
* The PropagationInfo class was updated for the same reasons.
* Correctly handle short-circuiting of Boolean operations.
* Blocks are now marked as unreachable when we can statically prove we will
  never branch to them.
* Unreachable blocks are skipped by the analysis.

llvm-svn: 189594
 2013-08-29 17:26:57 +00:00
DeLesley Hutchins 73ec2ae91e Consumed analysis: change class name in test cases. 
The name of a class used in the testing files was updated to actually
be descriptive.  Patch by chris.wailes@gmail.com.

llvm-svn: 189132
 2013-08-23 18:40:39 +00:00
DeLesley Hutchins c2ecf0d815 Update to consumed analysis. 
Patch by chris.wailes@gmail.com.  The following functionality was added:

* The same functionality is now supported for both CXXOperatorCallExprs and CXXMemberCallExprs.
* Factored out some code in StmtVisitor.
* Removed variables from the state map when their destructors are encountered.
* Started adding documentation for the consumed analysis attributes.

llvm-svn: 189059
 2013-08-22 20:44:47 +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