Home
last modified time | relevance | path

Searched refs:FSet (Results 1 – 2 of 2) sorted by relevance

/external/clang/lib/Analysis/
DThreadSafety.cpp120 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan,
123 virtual void handleUnlock(FactSet &FSet, FactManager &FactMan,
282 const FactSet& FSet,
823 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
832 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
836 FSet.removeLock(FactMan, Cp); in handleUnlock()
838 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in handleUnlock()
859 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
863 if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) { in handleRemovalFromIntersection()
872 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
[all …]
/external/antlr/runtime/Delphi/Sources/Antlr3.Runtime/
DAntlr.Runtime.pas2089 procedure PushFollow(const FSet: IBitSet);
4587 procedure TBaseRecognizer.PushFollow(const FSet: IBitSet);
4601 FState.Following[FState.FollowingStackPointer] := FSet;