This enum distinguishes between different ways to access (read or write) a variable.
Enumerator AK_ReadReading a variable.
AK_WrittenWriting a variable.
Definition at line 75 of file ThreadSafety.h.
◆ LockErrorKind Enumerator LEK_LockedSomeLoopIterations LEK_LockedSomePredecessors LEK_LockedAtEndOfFunction LEK_NotLockedAtEndOfFunctionDefinition at line 91 of file ThreadSafety.h.
◆ LockKindThis enum distinguishes between different kinds of lock actions.
For example, it is an error to write a variable protected by shared version of a mutex.
Enumerator LK_SharedShared/reader lock of a mutex.
LK_ExclusiveExclusive/writer lock of a mutex.
LK_GenericCan be either Shared or Exclusive.
Definition at line 62 of file ThreadSafety.h.
◆ ProtectedOperationKindThis enum distinguishes between different kinds of operations that may need to be protected by locks.
We use this enum in error handling.
Enumerator POK_VarDereferenceDereferencing a variable (e.g. p in *p = 5;)
POK_VarAccessReading or writing a variable (e.g. x in x = 5;)
POK_FunctionCallMaking a function call (e.g. fool())
POK_PassByRefPassing a guarded variable by reference.
POK_PtPassByRefPassing a pt-guarded variable by reference.
POK_ReturnByRefReturning a guarded variable by reference.
POK_PtReturnByRefReturning a pt-guarded variable by reference.
Definition at line 36 of file ThreadSafety.h.
◆ getLockKindFromAccessKind() ◆ getSourceLiteralString() std::string clang::threadSafety::getSourceLiteralString ( const Expr * CE ) ◆ operator<<() std::ostream & clang::threadSafety::operator<< ( std::ostream & ss, const StringRef str ) inlineDefinition at line 354 of file ThreadSafetyUtil.h.
◆ printSCFG() void clang::threadSafety::printSCFG ( CFGWalker & Walker ) ◆ runThreadSafetyAnalysis() ◆ threadSafetyCleanup() void clang::threadSafety::threadSafetyCleanup ( BeforeSet * Cache )RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4