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,
280 const FactSet& FSet,
821 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
830 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
834 FSet.removeLock(FactMan, Cp); in handleUnlock()
836 FSet.addLock(FactMan, llvm::make_unique<LockableFactEntry>( in handleUnlock()
857 handleRemovalFromIntersection(const FactSet &FSet, FactManager &FactMan, in handleRemovalFromIntersection() argument
861 if (FSet.findLock(FactMan, CapabilityExpr(UnderlyingMutex, false))) { in handleRemovalFromIntersection()
870 void handleUnlock(FactSet &FSet, FactManager &FactMan, in handleUnlock() argument
[all …]
/external/antlr/antlr-3.4/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;