Searched refs:MarkToAdd (Results 1 – 1 of 1) sorted by relevance
327 const CritSectionMarker MarkToAdd{Call.getOriginExpr(), MutexRegion}; in handleLock() local329 C.getState()->add<ActiveCritSections>(MarkToAdd); in handleLock()330 C.addTransition(StateWithLockEvent, createCritSectionNote(MarkToAdd, C)); in handleLock()