StoreToImmutableChecker.cpp File Reference

#include "clang/StaticAnalyzer/Checkers/BuiltinCheckerRegistration.h"
#include "clang/StaticAnalyzer/Core/BugReporter/BugType.h"
#include "clang/StaticAnalyzer/Core/Checker.h"
#include "clang/StaticAnalyzer/Core/CheckerManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h"

Go to the source code of this file.

Functions
static bool	isEffectivelyConstRegion (const MemRegion *MR, CheckerContext &C)
static const MemRegion *	getInnermostConstRegion (const MemRegion *MR, CheckerContext &C)
static const DeclRegion *	getInnermostEnclosingConstDeclRegion (const MemRegion *MR, CheckerContext &C)

Function Documentation

getInnermostConstRegion()

const MemRegion * getInnermostConstRegion ( const MemRegion * MR, CheckerContext & C )

static

Definition at line 60 of file StoreToImmutableChecker.cpp.

References clang::C, and isEffectivelyConstRegion().

getInnermostEnclosingConstDeclRegion()

const DeclRegion * getInnermostEnclosingConstDeclRegion ( const MemRegion * MR, CheckerContext & C )

static

Definition at line 73 of file StoreToImmutableChecker.cpp.

References clang::C, clang::ValueDecl::getType(), and clang::QualType::isConstQualified().

isEffectivelyConstRegion()

bool isEffectivelyConstRegion ( const MemRegion * MR, CheckerContext & C )

static

Definition at line 34 of file StoreToImmutableChecker.cpp.

References clang::C, clang::Type::getPointeeType(), clang::isa(), clang::QualType::isConstQualified(), and clang::Type::isPointerOrReferenceType().

Referenced by getInnermostConstRegion().