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/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 *	getRegion (const CallEvent &Call, const MutexDescriptor &Descriptor, bool IsLock)

Function Documentation

getRegion()

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

static

Examples

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

Definition at line 244 of file BlockInCriticalSectionChecker.cpp.

References clang::Call.

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