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.

findMutation() [2/2]

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

inline

Definition at line 92 of file ExprMutationAnalyzer.h.

Referenced by isMutated(), and isMutated().

findPointeeMutation() [1/2]

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

inline

Definition at line 104 of file ExprMutationAnalyzer.h.

findPointeeMutation() [2/2]

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

inline

Definition at line 101 of file ExprMutationAnalyzer.h.

Referenced by isPointeeMutated(), and 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 334 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 Symbol Documentation

FunctionParmMutationAnalyzer

friend class FunctionParmMutationAnalyzer

friend

Definition at line 22 of file ExprMutationAnalyzer.h.

References FunctionParmMutationAnalyzer.

Referenced by FunctionParmMutationAnalyzer.

---

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

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