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()

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

static

Definition at line 60 of file StoreToImmutableChecker.cpp.

References clang::C, and isEffectivelyConstRegion().

getInnermostEnclosingConstDeclRegion()

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

static

Definition at line 73 of file StoreToImmutableChecker.cpp.

References D, and clang::QualType::isConstQualified().

isEffectivelyConstRegion()

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

static

Definition at line 34 of file StoreToImmutableChecker.cpp.

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

Referenced by getInnermostConstRegion().