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/SmallString.h"
#include "llvm/ADT/StringExtras.h"
#include <iterator>
#include <utility>
#include <variant>

Go to the source code of this file.

Classes
struct	std::iterator_traits< typename llvm::ImmutableList< CritSectionMarker >::iterator >

Functions
static const MemRegion *	skipStdBaseClassRegion (const MemRegion *Reg)
static const MemRegion *	getRegion (const CallEvent &Call, const MutexDescriptor &Descriptor, bool IsLock)

Function Documentation

getRegion()

const MemRegion * getRegion ( const CallEvent & Call, const MutexDescriptor & Descriptor, bool IsLock )

static

Examples

/work/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Core/RegionStore.cpp.

Definition at line 309 of file BlockInCriticalSectionChecker.cpp.

References clang::Call, and skipStdBaseClassRegion().

Referenced by annotateStartParameter(), clang::ento::nonloc::LazyCompoundVal::getRegion(), isArrayIndexOutOfBounds(), clang::ento::SymbolReaper::isLive(), and clang::ento::ExprEngine::ProcessAutomaticObjDtor().

skipStdBaseClassRegion()

const MemRegion * skipStdBaseClassRegion ( const MemRegion * Reg )

static

Definition at line 299 of file BlockInCriticalSectionChecker.cpp.

References clang::ento::isWithinStdNamespace().

Referenced by getRegion().