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"

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 *Smt, const Stmt &Stm, ASTContext &Context)

Detailed Description

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

Definition at line 23 of file ExprMutationAnalyzer.h.

Constructor & Destructor Documentation

ExprMutationAnalyzer()

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

inline

Definition at line 25 of file ExprMutationAnalyzer.h.

Member Function Documentation

findMutation() [1/2]

const Stmt * clang::ExprMutationAnalyzer::findMutation

(

const Decl *

Dec

)

Definition at line 159 of file ExprMutationAnalyzer.cpp.

References findMutation().

findMutation() [2/2]

const Stmt * clang::ExprMutationAnalyzer::findMutation

(

const Expr *

Exp

)

Definition at line 147 of file ExprMutationAnalyzer.cpp.

Referenced by findMutation(), and isMutated().

findPointeeMutation() [1/2]

const Stmt * clang::ExprMutationAnalyzer::findPointeeMutation

(

const Decl *

Dec

)

Definition at line 167 of file ExprMutationAnalyzer.cpp.

References findPointeeMutation().

findPointeeMutation() [2/2]

const Stmt * clang::ExprMutationAnalyzer::findPointeeMutation

(

const Expr *

Exp

)

Definition at line 163 of file ExprMutationAnalyzer.cpp.

Referenced by findPointeeMutation(), and isPointeeMutated().

isMutated() [1/2]

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

inline

Definition at line 29 of file ExprMutationAnalyzer.h.

References findMutation().

isMutated() [2/2]

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

inline

Definition at line 28 of file ExprMutationAnalyzer.h.

References findMutation().

isPointeeMutated() [1/2]

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

inline

Definition at line 36 of file ExprMutationAnalyzer.h.

References findPointeeMutation().

isPointeeMutated() [2/2]

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

inline

Definition at line 33 of file ExprMutationAnalyzer.h.

References findPointeeMutation().

isUnevaluated()

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

static

Definition at line 202 of file ExprMutationAnalyzer.cpp.

References clang::ast_matchers::anyOf, clang::ast_matchers::cxxNoexceptExpr, clang::ast_matchers::expr, clang::ast_matchers::findAll(), 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.

---

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

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