BlockInCriticalSectionChecker.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/PathSensitive/CallDescription.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerHelpers.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/StringExtras.h"
#include <iterator>
#include <utility>

Go to the source code of this file.

Functions
static const MemRegion *	getFirstArgRegion (const CallEvent &Call)
static const MemRegion *	getCXXThisRegion (const CallEvent &Call)
static const MemRegion *	getObjectUnderConstruction (const CallEvent &Call)
static const MemRegion *	getCXXDestructorThisRegion (const CallEvent &Call)
static bool	isNotDeferLockUniqueLock (const CallEvent &Call)
static const MemRegion *	skipStdBaseClassRegion (const MemRegion *Reg)
static const MemRegion *	getMutexRegion (const CallEvent &Call, const ThreadingCallDescription &Desc)

Function Documentation

getCXXDestructorThisRegion()

const MemRegion * getCXXDestructorThisRegion ( const CallEvent & Call )

static

Definition at line 50 of file BlockInCriticalSectionChecker.cpp.

References clang::Call.

getCXXThisRegion()

const MemRegion * getCXXThisRegion ( const CallEvent & Call )

static

Definition at line 40 of file BlockInCriticalSectionChecker.cpp.

References clang::Call, and clang::cast().

Referenced by clang::ento::SValBuilder::getCXXThis(), and clang::ento::SValBuilder::getCXXThis().

getFirstArgRegion()

const MemRegion * getFirstArgRegion ( const CallEvent & Call )

static

Definition at line 36 of file BlockInCriticalSectionChecker.cpp.

References clang::Call.

getMutexRegion()

const MemRegion * getMutexRegion ( const CallEvent & Call, const ThreadingCallDescription & Desc )

static

Definition at line 261 of file BlockInCriticalSectionChecker.cpp.

References clang::Call, and skipStdBaseClassRegion().

getObjectUnderConstruction()

const MemRegion * getObjectUnderConstruction ( const CallEvent & Call )

static

Definition at line 44 of file BlockInCriticalSectionChecker.cpp.

References clang::Call.

isNotDeferLockUniqueLock()

bool isNotDeferLockUniqueLock ( const CallEvent & Call )

static

Definition at line 59 of file BlockInCriticalSectionChecker.cpp.

References clang::Call, and clang::Type::getAsRecordDecl().

skipStdBaseClassRegion()

const MemRegion * skipStdBaseClassRegion ( const MemRegion * Reg )

static

Definition at line 251 of file BlockInCriticalSectionChecker.cpp.

References clang::ento::isWithinStdNamespace().

Referenced by getMutexRegion().