clang
6.0.0
|
#include "clang/Analysis/Analyses/Consumed.h"
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/RecursiveASTVisitor.h"
#include "clang/AST/StmtCXX.h"
#include "clang/AST/StmtVisitor.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/ADT/DenseMap.h"
#include <memory>
Go to the source code of this file.
Classes | |
class | clang::consumed::PropagationInfo |
class | clang::consumed::ConsumedStmtVisitor |
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::consumed | |
Enumerations | |
enum | clang::consumed::EffectiveOp { clang::consumed::EO_And, clang::consumed::EO_Or } |
|
static |
Definition at line 54 of file Consumed.cpp.
Referenced by getLastStmtLoc().
|
static |
Definition at line 69 of file Consumed.cpp.
References getFirstStmtLoc(), clang::CFGBlock::getTerminator(), clang::SourceLocation::isValid(), clang::CFGBlock::pred_begin(), clang::CFGBlock::pred_size(), clang::CFGBlock::rbegin(), clang::CFGBlock::rend(), clang::CFGBlock::succ_begin(), and clang::CFGBlock::succ_size().
Referenced by clang::consumed::ConsumedStateMap::intersectAtLoopHead().
|
static |
Definition at line 96 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_None, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.
Referenced by clang::consumed::PropagationInfo::invertTest(), clang::consumed::ConsumedStateMap::operator!=(), clang::consumed::splitVarStateForIf(), and clang::consumed::splitVarStateForIfBinOp().
Definition at line 148 of file Consumed.cpp.
References clang::Type::getAsCXXRecordDecl(), clang::Type::isPointerType(), and clang::Type::isReferenceType().
Referenced by clang::consumed::ConsumedStateMap::operator!=().
|
static |
Definition at line 110 of file Consumed.cpp.
Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability().
Definition at line 138 of file Consumed.cpp.
References clang::Type::getAsCXXRecordDecl(), clang::Type::isPointerType(), and clang::Type::isReferenceType().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), mapConsumableAttrState(), clang::consumed::ConsumedStateMap::operator!=(), clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr(), clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl(), and clang::consumed::ConsumedStmtVisitor::VisitVarDecl().
|
static |
Definition at line 165 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_None, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.
Referenced by clang::consumed::splitVarStateForIfBinOp().
Definition at line 185 of file Consumed.cpp.
References clang::Type::isPointerType(), and clang::Type::isReferenceType().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().
Definition at line 177 of file Consumed.cpp.
References clang::Type::isRValueReferenceType().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), TryReferenceInitializationCore(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().
Definition at line 158 of file Consumed.cpp.
References clang::Type::getPointeeCXXRecordDecl().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr().
|
static |
Definition at line 181 of file Consumed.cpp.
References clang::Decl::hasAttr().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and testsFor().
|
static |
Definition at line 189 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::consumed::CS_Unknown, clang::Type::getAsCXXRecordDecl(), clang::Decl::getAttr(), isConsumableType(), and clang::prec::Unknown.
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), clang::consumed::ConsumedStateMap::operator!=(), clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().
|
static |
Definition at line 207 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::consumed::CS_Unknown, and clang::prec::Unknown.
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().
|
static |
Definition at line 220 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::consumed::CS_Unknown, and clang::prec::Unknown.
Referenced by clang::consumed::ConsumedStateMap::checkParamsForReturnTypestate(), clang::consumed::ConsumedStmtVisitor::handleCall(), clang::consumed::ConsumedStateMap::operator!=(), and clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr().
|
static |
Definition at line 232 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::consumed::CS_Unknown, and clang::prec::Unknown.
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().
|
static |
Definition at line 244 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_None, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.
Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStateMap::checkParamsForReturnTypestate(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitReturnStmt().
|
static |
Definition at line 261 of file Consumed.cpp.
References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::Decl::getAttr(), and isTestingFunction().
Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().