Lines Matching full:brief
44 /// \brief Implements a set of CFGBlocks using a BitVector.
63 /// \brief Set the bit associated with a particular CFGBlock.
78 /// \brief Check if the bit for a CFGBlock has been already set.
86 /// \brief We create a helper class which we use to iterate through CFGBlocks in
119 /// \brief A MutexID object uniquely identifies a particular mutex, and
188 /// \brief Construct a MutexID from an expression.
260 /// \brief Returns the name of the first Decl in the list for a given MutexID;
278 /// \brief This is a helper class that stores info about the most recent
285 /// \brief LKind stores whether a lock is held shared or exclusively.
314 /// \brief We use this class to visit different types of expressions in
337 /// \brief Returns true if the lockset contains a lock, regardless of whether
343 /// \brief Returns true if the lockset contains a lock with the passed in
350 /// \brief Returns true if the lockset contains a lock with at least the
379 /// \brief Add a new lock to the lockset, warning if the lock is already there.
394 /// \brief Remove a lock from the lockset, warning if the lock is not there.
405 /// \brief Gets the value decl pointer from DeclRefExprs or MemberExprs
416 /// \brief Warn if the LSet does not contain a lock sufficient to protect access
431 /// \brief This method identifies variable dereferences and checks pt_guarded_by
456 /// \brief Checks guarded_by and guarded_var attributes.
474 /// \brief For unary operations which read and write a variable, we need to
515 /// \brief This function, parameterized by an attribute type, is used to add a
545 /// \brief When visiting CXXMemberCallExprs we need to examine the attributes on
652 /// \brief Compute the intersection of two locksets and issue warnings for any
708 /// \brief Check a function's CFG for thread-safety violations.
843 /// \brief Helper function that returns a LockKind required for the given level
