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