clang::ExprMutationAnalyzer Class Reference

Analyzes whether any mutative operations are applied to an expression within a given statement. More...

#include "clang/Analysis/Analyses/ExprMutationAnalyzer.h"

Classes
struct	Analyzer
struct	Memoized

Public Member Functions
	ExprMutationAnalyzer (const Stmt &Stm, ASTContext &Context)
bool	isMutated (const Expr *Exp)
bool	isMutated (const Decl *Dec)
const Stmt *	findMutation (const Expr *Exp)
const Stmt *	findMutation (const Decl *Dec)
bool	isPointeeMutated (const Expr *Exp)
bool	isPointeeMutated (const Decl *Dec)
const Stmt *	findPointeeMutation (const Expr *Exp)
const Stmt *	findPointeeMutation (const Decl *Dec)

Static Public Member Functions
static bool	isUnevaluated (const Stmt *Stm, ASTContext &Context)
	check whether stmt is unevaluated.

Friends
class	FunctionParmMutationAnalyzer

Detailed Description

Analyzes whether any mutative operations are applied to an expression within a given statement.

Definition at line 21 of file ExprMutationAnalyzer.h.

Constructor & Destructor Documentation

ExprMutationAnalyzer()

clang::ExprMutationAnalyzer::ExprMutationAnalyzer ( const Stmt &  Stm, ASTContext &  Context  )

inline

Definition at line 83 of file ExprMutationAnalyzer.h.

Member Function Documentation

findMutation() [1/2]

const Stmt * clang::ExprMutationAnalyzer::findMutation ( const Decl *  Dec )

inline

Definition at line 93 of file ExprMutationAnalyzer.h.

References clang::ExprMutationAnalyzer::Analyzer::findMutation().

findMutation() [2/2]

const Stmt * clang::ExprMutationAnalyzer::findMutation ( const Expr *  Exp )

inline

Definition at line 92 of file ExprMutationAnalyzer.h.

References clang::ExprMutationAnalyzer::Analyzer::findMutation().

Referenced by isMutated().

findPointeeMutation() [1/2]

const Stmt * clang::ExprMutationAnalyzer::findPointeeMutation ( const Decl *  Dec )

inline

Definition at line 104 of file ExprMutationAnalyzer.h.

References clang::ExprMutationAnalyzer::Analyzer::findPointeeMutation().

findPointeeMutation() [2/2]

const Stmt * clang::ExprMutationAnalyzer::findPointeeMutation ( const Expr *  Exp )

inline

Definition at line 101 of file ExprMutationAnalyzer.h.

References clang::ExprMutationAnalyzer::Analyzer::findPointeeMutation().

Referenced by isPointeeMutated().

isMutated() [1/2]

bool clang::ExprMutationAnalyzer::isMutated ( const Decl *  Dec )

inline

Definition at line 91 of file ExprMutationAnalyzer.h.

References findMutation().

isMutated() [2/2]

bool clang::ExprMutationAnalyzer::isMutated ( const Expr *  Exp )

inline

Definition at line 90 of file ExprMutationAnalyzer.h.

References findMutation().

isPointeeMutated() [1/2]

bool clang::ExprMutationAnalyzer::isPointeeMutated ( const Decl *  Dec )

inline

Definition at line 98 of file ExprMutationAnalyzer.h.

References findPointeeMutation().

isPointeeMutated() [2/2]

bool clang::ExprMutationAnalyzer::isPointeeMutated ( const Expr *  Exp )

inline

Definition at line 95 of file ExprMutationAnalyzer.h.

References findPointeeMutation().

isUnevaluated()

bool clang::ExprMutationAnalyzer::isUnevaluated ( const Stmt *  Stm, ASTContext &  Context  )

static

check whether stmt is unevaluated.

mutation analyzer will ignore the content in unevaluated stmt.

Definition at line 323 of file ExprMutationAnalyzer.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::cxxNoexceptExpr, clang::ast_matchers::expr, clang::ast_matchers::genericSelectionExpr, clang::ast_matchers::hasAncestor, clang::ast_matchers::hasDescendant, clang::ast_matchers::match(), clang::ast_matchers::sizeOfExpr(), clang::ast_matchers::stmt, clang::ast_matchers::typeLoc, clang::ast_matchers::unaryExprOrTypeTraitExpr, clang::ast_matchers::unless, and clang::ast_matchers::variableArrayType.

Friends And Related Function Documentation

FunctionParmMutationAnalyzer

friend class FunctionParmMutationAnalyzer

friend

Definition at line 22 of file ExprMutationAnalyzer.h.

---

The documentation for this class was generated from the following files:

• include/clang/Analysis/Analyses/ExprMutationAnalyzer.h
• lib/Analysis/ExprMutationAnalyzer.cpp