Consumed.cpp File Reference

#include "clang/Analysis/Analyses/Consumed.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/Stmt.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/LLVM.h"
#include "clang/Basic/OperatorKinds.h"
#include "clang/Basic/SourceLocation.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/Support/ErrorHandling.h"
#include <cassert>
#include <memory>
#include <optional>
#include <utility>

Go to the source code of this file.

Classes
class	clang::consumed::PropagationInfo
class	clang::consumed::ConsumedStmtVisitor

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::consumed

Enumerations
enum	clang::consumed::EffectiveOp { clang::consumed::EO_And , clang::consumed::EO_Or }

Functions
static SourceLocation	getFirstStmtLoc (const CFGBlock *Block)
static SourceLocation	getLastStmtLoc (const CFGBlock *Block)
static ConsumedState	invertConsumedUnconsumed (ConsumedState State)
static bool	isCallableInState (const CallableWhenAttr *CWAttr, ConsumedState State)
static bool	isConsumableType (const QualType &QT)
static bool	isAutoCastType (const QualType &QT)
static bool	isSetOnReadPtrType (const QualType &QT)
static bool	isKnownState (ConsumedState State)
static bool	isRValueRef (QualType ParamType)
static bool	isTestingFunction (const FunctionDecl *FunDecl)
static ConsumedState	mapConsumableAttrState (const QualType QT)
static ConsumedState	mapParamTypestateAttrState (const ParamTypestateAttr *PTAttr)
static ConsumedState	mapReturnTypestateAttrState (const ReturnTypestateAttr *RTSAttr)
static ConsumedState	mapSetTypestateAttrState (const SetTypestateAttr *STAttr)
static StringRef	stateToString (ConsumedState State)
static ConsumedState	testsFor (const FunctionDecl *FunDecl)
static void	setStateForVarOrTmp (ConsumedStateMap *StateMap, const PropagationInfo &PInfo, ConsumedState State)
static void	splitVarStateForIf (const IfStmt *IfNode, const VarTestResult &Test, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)
static void	splitVarStateForIfBinOp (const PropagationInfo &PInfo, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)

Function Documentation

getFirstStmtLoc()

SourceLocation getFirstStmtLoc ( const CFGBlock * Block )

static

Definition at line 58 of file Consumed.cpp.

References clang::Block, and getFirstStmtLoc().

Referenced by getFirstStmtLoc(), and getLastStmtLoc().

getLastStmtLoc()

SourceLocation getLastStmtLoc ( const CFGBlock * Block )

static

Definition at line 73 of file Consumed.cpp.

References clang::Block, getFirstStmtLoc(), getLastStmtLoc(), and clang::SourceLocation::isValid().

Referenced by getLastStmtLoc(), and clang::consumed::ConsumedStateMap::intersectAtLoopHead().

invertConsumedUnconsumed()

ConsumedState invertConsumedUnconsumed ( ConsumedState State )

static

Definition at line 100 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(), splitVarStateForIf(), and splitVarStateForIfBinOp().

isAutoCastType()

bool isAutoCastType ( const QualType & QT )

static

Definition at line 150 of file Consumed.cpp.

References clang::Type::getAsCXXRecordDecl(), and clang::Type::isPointerOrReferenceType().

isCallableInState()

bool isCallableInState ( const CallableWhenAttr * CWAttr, ConsumedState State )

static

Definition at line 114 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().

isConsumableType()

bool isConsumableType ( const QualType & QT )

static

Definition at line 140 of file Consumed.cpp.

References clang::Type::getAsCXXRecordDecl(), and clang::Type::isPointerOrReferenceType().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), mapConsumableAttrState(), clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr(), clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl(), and clang::consumed::ConsumedStmtVisitor::VisitVarDecl().

isKnownState()

bool isKnownState ( ConsumedState State )

static

Definition at line 166 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_None, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.

Referenced by splitVarStateForIfBinOp().

isRValueRef()

bool isRValueRef ( QualType ParamType )

static

Definition at line 178 of file Consumed.cpp.

References clang::Type::isRValueReferenceType().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), TryReferenceInitializationCore(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().

isSetOnReadPtrType()

bool isSetOnReadPtrType ( const QualType & QT )

static

Definition at line 160 of file Consumed.cpp.

References clang::Type::getPointeeCXXRecordDecl().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr().

isTestingFunction()

bool isTestingFunction ( const FunctionDecl * FunDecl )

static

Definition at line 182 of file Consumed.cpp.

References clang::Decl::hasAttr().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and testsFor().

mapConsumableAttrState()

ConsumedState mapConsumableAttrState ( const QualType QT )

static

Definition at line 186 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::consumed::CS_Unknown, clang::Type::getAsCXXRecordDecl(), clang::Decl::getAttr(), and isConsumableType().

Referenced by clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().

mapParamTypestateAttrState()

ConsumedState mapParamTypestateAttrState ( const ParamTypestateAttr * PTAttr )

static

Definition at line 204 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitParmVarDecl().

mapReturnTypestateAttrState()

ConsumedState mapReturnTypestateAttrState ( const ReturnTypestateAttr * RTSAttr )

static

Definition at line 217 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.

Referenced by clang::consumed::ConsumedStateMap::checkParamsForReturnTypestate(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitCXXConstructExpr().

mapSetTypestateAttrState()

ConsumedState mapSetTypestateAttrState ( const SetTypestateAttr * STAttr )

static

Definition at line 229 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, and clang::consumed::CS_Unknown.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().

setStateForVarOrTmp()

void setStateForVarOrTmp ( ConsumedStateMap * StateMap, const PropagationInfo & PInfo, ConsumedState State )

static

Definition at line 439 of file Consumed.cpp.

References clang::consumed::PropagationInfo::getTmp(), clang::consumed::PropagationInfo::getVar(), clang::consumed::PropagationInfo::isTmp(), clang::consumed::PropagationInfo::isVar(), and clang::consumed::ConsumedStateMap::setState().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().

splitVarStateForIf()

void splitVarStateForIf ( const IfStmt * IfNode, const VarTestResult & Test, ConsumedStateMap * ThenStates, ConsumedStateMap * ElseStates )

static

Definition at line 928 of file Consumed.cpp.

References clang::consumed::CS_Unknown, clang::consumed::ConsumedStateMap::getState(), invertConsumedUnconsumed(), clang::consumed::ConsumedStateMap::markUnreachable(), and clang::consumed::ConsumedStateMap::setState().

splitVarStateForIfBinOp()

void splitVarStateForIfBinOp ( const PropagationInfo & PInfo, ConsumedStateMap * ThenStates, ConsumedStateMap * ElseStates )

static

Definition at line 943 of file Consumed.cpp.

References clang::consumed::CS_None, clang::consumed::CS_Unknown, clang::consumed::EO_And, clang::consumed::PropagationInfo::getLTest(), clang::consumed::PropagationInfo::getRTest(), clang::consumed::ConsumedStateMap::getState(), invertConsumedUnconsumed(), isKnownState(), clang::consumed::ConsumedStateMap::markUnreachable(), clang::consumed::ConsumedStateMap::setState(), and clang::consumed::PropagationInfo::testEffectiveOp().

stateToString()

StringRef stateToString ( ConsumedState State )

static

Definition at line 241 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().

testsFor()

ConsumedState testsFor ( const FunctionDecl * FunDecl )

static

Definition at line 258 of file Consumed.cpp.

References clang::consumed::CS_Consumed, clang::consumed::CS_Unconsumed, clang::Decl::getAttr(), and isTestingFunction().

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().