Searched refs:Pred (Results 1 - 25 of 335) sorted by relevance

1234567891011>>

/freebsd-11-stable/contrib/libstdc++/include/ext/pb_ds/detail/binary_heap_/
H A Dentry_pred.hpp56 class Pred,
61 typedef Pred type;
64 template<typename Value_Type, class Pred, class Allocator>
67 Pred,
77 struct type : public Pred
85 type(const Pred& other) : Pred(other)
91 return Pred::operator()(*p_v);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp22 ExplodedNode *Pred,
24 ProgramStateRef state = Pred->getState();
25 const LocationContext *LCtx = Pred->getLocationContext();
30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
39 ExplodedNode *Pred,
41 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this);
52 for (ExplodedNode *Pred : dstLocation) {
53 ProgramStateRef state = Pred->getState();
54 const LocationContext *LCtx = Pred
21 VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
38 VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
85 VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
150 VisitObjCMessage(const ObjCMessageExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
246 ExplodedNode *Pred = *DI; local
[all...]
H A DCoreEngine.cpp154 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, argument
159 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);
163 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred);
171 HandleCallEnter(Loc.castAs<CallEnter>(), Pred);
175 SubEng.processCallExit(Pred);
179 assert(Pred->hasSinglePred() &&
181 ExplodedNode *PNode = Pred->getFirstPred();
182 dispatchWorkItem(Pred, PNode->getLocation(), WU);
192 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred);
209 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { argument
277 HandleBlockEntrance(const BlockEntrance &L, ExplodedNode *Pred) argument
296 HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) argument
304 cast<CXXBindTemporaryExpr>(Term), B, Pred); local
309 HandleStaticInit(cast<DeclStmt>(Term), B, Pred); local
336 Pred->State, Pred); local
416 Pred->State, Pred); local
419 HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred) argument
424 HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock * B, ExplodedNode *Pred) argument
435 HandleCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, const CFGBlock *B, ExplodedNode *Pred) argument
447 HandleStaticInit(const DeclStmt *DS, const CFGBlock *B, ExplodedNode *Pred) argument
458 HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred) argument
471 HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred) argument
496 generateNode(const ProgramPoint &Loc, ProgramStateRef State, ExplodedNode *Pred) argument
[all...]
H A DExprEngine.cpp627 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, argument
629 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
637 ProcessStmt(E.castAs<CFGStmt>().getStmt(), Pred);
640 ProcessInitializer(E.castAs<CFGInitializer>(), Pred);
644 Pred);
651 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred);
654 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred);
665 const ExplodedNode *Pred,
672 if (Pred->getLocation().getAs<BlockEntrance>())
689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSe argument
663 shouldRemoveDeadBindings(AnalysisManager &AMgr, const Stmt *S, const ExplodedNode *Pred, const LocationContext *LC) argument
769 ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) argument
799 ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) argument
817 ProcessInitializer(const CFGInitializer CFGInit, ExplodedNode *Pred) argument
905 ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred) argument
932 ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred) argument
951 ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
985 ProcessDeleteDtor(const CFGDeleteDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1025 ProcessBaseDtor(const CFGBaseDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1045 ProcessMemberDtor(const CFGMemberDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1069 ProcessTemporaryDtor(const CFGTemporaryDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1130 processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE, NodeBuilderContext &BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1202 Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &DstTop) argument
1345 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); local
1510 VisitArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); local
1516 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); local
1522 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); local
1528 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); local
1535 VisitLambdaExpr(cast<LambdaExpr>(S), Pred, Dst); local
1565 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp); local
1569 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local
1604 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); local
1610 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); local
1617 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); local
1661 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local
1667 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); local
1682 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); local
1696 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); local
1735 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); local
1741 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); local
1747 VisitAtomicExpr(cast<AtomicExpr>(S), Pred, Dst); local
1753 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); local
1759 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); local
1765 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); local
1778 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); local
1799 Pred, Dst); local
1922 processCFGBlockEntrance(const BlockEdge &L, NodeBuilderWithSinks &nodeBuilder, ExplodedNode *Pred) argument
2100 processBranch(const Stmt *Condition, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
2198 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
2265 processBeginOfFunction(NodeBuilderContext &BC, ExplodedNode *Pred, ExplodedNodeSet &Dst, const BlockEdge &L) argument
2275 processEndOfFunction(NodeBuilderContext& BC, ExplodedNode *Pred, const ReturnStmt *RS) argument
2432 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2523 VisitArraySubscriptExpr(const ArraySubscriptExpr *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2574 VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2654 VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2791 evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred, SVal location, SVal Val, bool atDeclInit, const ProgramPoint *PP) argument
2848 evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *LocationE, ExplodedNode *Pred, ProgramStateRef state, SVal location, SVal Val, const ProgramPointTag *tag) argument
2871 evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument
2909 evalLocation(ExplodedNodeSet &Dst, const Stmt *NodeEx, const Stmt *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, bool isLoad) argument
2996 VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
3019 VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineCXX.cpp27 ExplodedNode *Pred,
29 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
31 ProgramStateRef state = Pred->getState();
32 const LocationContext *LCtx = Pred->getLocationContext();
35 Bldr.generateNode(ME, Pred, state);
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, argument
68 const LocationContext *LCtx = Pred->getLocationContext();
71 Bldr.takeNodes(Pred);
78 V = Pred->getState()->getSVal(*L);
83 evalBind(Dst, CallExpr, Pred, ThisVa
26 CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
395 VisitCXXConstructExpr(const CXXConstructExpr *CE, ExplodedNode *Pred, ExplodedNodeSet &destNodes) argument
601 VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest, const Stmt *S, bool IsBaseDtor, ExplodedNode *Pred, ExplodedNodeSet &Dst, EvalCallOptions &CallOpts) argument
668 VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
737 VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
847 VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
854 VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
873 VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
889 VisitLambdaExpr(const LambdaExpr *LE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineC.cpp41 ExplodedNode *Pred,
50 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this);
196 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, argument
204 Pred->getLocationContext(),
207 ProgramStateRef State = Pred->getState();
238 const LocationContext *LCtx = Pred->getLocationContext();
250 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
251 Bldr.generateNode(BE, Pred,
252 State->BindExpr(BE, Pred->getLocationContext(), V),
262 ExplodedNode* Pred) {
40 VisitBinaryOperator(const BinaryOperator* B, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
259 handleLValueBitCast( ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, ExplodedNode* Pred) argument
285 handleLVectorSplat( ProgramStateRef state, const LocationContext* LCtx, const CastExpr* CastE, StmtNodeBuilder &Bldr, ExplodedNode* Pred) argument
301 VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
549 VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
574 VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
638 VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
732 VisitInitListExpr(const InitListExpr *IE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
781 VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
846 VisitOffsetOfExpr(const OffsetOfExpr *OOE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
865 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
924 VisitUnaryOperator(const UnaryOperator* U, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1060 VisitIncrementDecrementOperator(const UnaryOperator* U, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineCallAndReturn.cpp41 ExplodedNode *Pred) {
57 ProgramStateRef state = Pred->getState();
63 Node->addPredecessor(Pred, G);
162 ExplodedNode *Pred,
167 std::tie(LastSt, Blk) = getLastStmt(Pred);
169 Dst.Add(Pred);
179 const LocationContext *LCtx = Pred->getLocationContext();
180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
432 NodeBuilder &Bldr, ExplodedNode *Pred,
436 const LocationContext *CurLC = Pred
40 processCallEnter(NodeBuilderContext& BC, CallEnter CE, ExplodedNode *Pred) argument
161 removeDeadOnEndOfFunction(NodeBuilderContext& BC, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
431 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
497 VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, ExplodedNodeSet &dst) argument
550 finishArgumentConstruction(ExplodedNodeSet &Dst, ExplodedNode *Pred, const CallEvent &Call) argument
569 evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, const CallEvent &Call) argument
709 conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
719 mayInlineCallKind(const CallEvent &Call, const ExplodedNode *Pred, AnalyzerOptions &Opts, const ExprEngine::EvalCallOptions &CallOpts) argument
952 shouldInlineCall(const CallEvent &Call, const Decl *D, const ExplodedNode *Pred, const EvalCallOptions &CallOpts) argument
1038 defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, const CallEvent &CallTemplate, const EvalCallOptions &CallOpts) argument
1090 BifurcateCall(const MemRegion *BifurReg, const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred) argument
1128 VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Analysis/
H A DScalarEvolutionNormalization.cpp34 // NB! Pred is a function_ref. Storing it here is okay only because
36 const NormalizePredTy Pred; member in struct:__anon1998::NormalizeDenormalizeRewriter
38 NormalizeDenormalizeRewriter(TransformKind Kind, NormalizePredTy Pred, argument
41 Pred(Pred) {}
53 if (!Pred(AR))
58 // Pred(AR) has returned true, we know we need to normalize or denormalize AR
99 auto Pred = [&](const SCEVAddRecExpr *AR) { local
102 return NormalizeDenormalizeRewriter(Normalize, Pred, SE).visit(S);
105 const SCEV *llvm::normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred, argument
113 auto Pred = [&](const SCEVAddRecExpr *AR) { local
[all...]
H A DCmpInstAnalysis.cpp22 ICmpInst::Predicate Pred = InvertPred ? ICI->getInversePredicate() local
24 switch (Pred) {
43 CmpInst::Predicate &Pred) {
48 case 1: Pred = Sign ? ICmpInst::ICMP_SGT : ICmpInst::ICMP_UGT; break;
49 case 2: Pred = ICmpInst::ICMP_EQ; break;
50 case 3: Pred = Sign ? ICmpInst::ICMP_SGE : ICmpInst::ICMP_UGE; break;
51 case 4: Pred = Sign ? ICmpInst::ICMP_SLT : ICmpInst::ICMP_ULT; break;
52 case 5: Pred = ICmpInst::ICMP_NE; break;
53 case 6: Pred = Sign ? ICmpInst::ICMP_SLE : ICmpInst::ICMP_ULE; break;
67 CmpInst::Predicate &Pred,
42 getPredForICmpCode(unsigned Code, bool Sign, Type *OpTy, CmpInst::Predicate &Pred) argument
66 decomposeBitTestICmp(Value *LHS, Value *RHS, CmpInst::Predicate &Pred, Value *&X, APInt &Mask, bool LookThruTrunc) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/FuzzMutate/
H A DOpDescriptor.h55 PredT Pred; member in class:llvm::fuzzerop::SourcePred
60 SourcePred(PredT Pred, MakeT Make) : Pred(Pred), Make(Make) {} argument
61 SourcePred(PredT Pred, NoneType) : Pred(Pred) { argument
62 Make = [Pred](ArrayRef<Value *> Cur, ArrayRef<Type *> BaseTypes) {
63 // Default filter just calls Pred on each of the base types.
67 if (Pred(Cu
96 auto Pred = [Only](ArrayRef<Value *>, const Value *V) { local
106 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
114 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
122 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
130 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
144 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
165 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
183 auto Pred = [](ArrayRef<Value *>, const Value *V) { local
195 auto Pred = [](ArrayRef<Value *> Cur, const Value *V) { local
208 auto Pred = [](ArrayRef<Value *> Cur, const Value *V) { local
[all...]
H A DRandomIRBuilder.h40 /// matches \c Pred, or returns some new Value that matches \c Pred. The
44 ArrayRef<Value *> Srcs, fuzzerop::SourcePred Pred);
47 ArrayRef<Value *> Srcs, fuzzerop::SourcePred Pred);
54 ArrayRef<Value *> Srcs, fuzzerop::SourcePred Pred);
56 fuzzerop::SourcePred Pred);
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h272 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
275 void ProcessStmt(const Stmt *S, ExplodedNode *Pred);
277 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
279 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
281 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
283 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
286 ExplodedNode *Pred, ExplodedNodeSet &Dst);
288 ExplodedNode *Pred, ExplodedNodeSet &Dst);
290 ExplodedNode *Pred, ExplodedNodeSet &Dst);
292 ExplodedNode *Pred, ExplodedNodeSe
[all...]
H A DCheckerContext.h26 ExplodedNode *Pred; member in class:clang::ento::CheckerContext
46 Pred(pred),
51 assert(Pred->getState() &&
70 ExplodedNode *getPredecessor() { return Pred; }
71 const ProgramStateRef &getState() const { return Pred->getState(); }
92 return Pred->getLocationContext();
96 return Pred->getStackFrame();
123 return Pred->getLocationContext()->getAnalysisDeclContext();
145 return Pred->getSVal(S);
173 /// @param Pred Th
176 addTransition(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
185 generateSink(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
226 generateNonFatalErrorNode(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
[all...]
H A DLoopUnrolling.h40 ExplodedNode* Pred, unsigned maxVisitOnPath);
H A DCoreEngine.h105 ExplodedNode *Pred);
107 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
108 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
109 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
111 void HandleCallEnter(const CallEnter &CE, ExplodedNode *Pred);
113 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
116 ExplodedNode *Pred);
118 const CFGBlock *B, ExplodedNode *Pred);
122 ExplodedNode *Pred);
124 void HandleVirtualBaseBranch(const CFGBlock *B, ExplodedNode *Pred);
289 generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
300 generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
349 NodeBuilderWithSinks(ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L) argument
353 generateNode(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
360 generateSink(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
407 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
417 generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
482 ExplodedNode *Pred; member in class:clang::ento::IndirectGotoNodeBuilder
529 ExplodedNode *Pred; member in class:clang::ento::SwitchNodeBuilder
[all...]
H A DSubEngine.h63 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
71 ExplodedNode *Pred) = 0;
77 ExplodedNode *Pred,
87 ExplodedNode *Pred,
96 ExplodedNode *Pred,
112 ExplodedNode *Pred,
119 ExplodedNode *Pred,
124 ExplodedNode *Pred) = 0;
127 virtual void processCallExit(ExplodedNode *Pred) = 0;
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DCmpInstAnalysis.h53 /// NULL return means a new ICmp is needed. The predicate is output in Pred.
55 CmpInst::Predicate &Pred);
64 bool decomposeBitTestICmp(Value *LHS, Value *RHS, CmpInst::Predicate &Pred,
H A DScalarEvolutionNormalization.h58 /// Pred returns true.
59 const SCEV *normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred,
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/WebAssembly/
H A DWebAssemblyFixIrreducibleControlFlow.cpp80 for (auto *Pred : MBB->predecessors()) {
81 assert(inRegion(Pred));
146 // Pred => MBB => Succ.
147 for (auto *Pred : MBB->predecessors()) {
148 if (Reachable[Pred].insert(Succ).second) {
149 WorkList.emplace_back(Pred, Succ);
166 for (auto *Pred : Looper->predecessors()) {
167 // Pred can reach Looper. If Looper can reach Pred, it is in the loop;
169 if (!canReach(Looper, Pred)) {
[all...]
/freebsd-11-stable/contrib/libstdc++/include/ext/pb_ds/detail/rc_binomial_heap_/
H A Dsplit_join_fn_imps.hpp48 template<typename Pred>
51 split(Pred pred, PB_DS_CLASS_C_DEC& other)
/freebsd-11-stable/contrib/llvm-project/llvm/lib/FuzzMutate/
H A DRandomIRBuilder.cpp29 SourcePred Pred) {
30 auto MatchesPred = [&Srcs, &Pred](Instruction *Inst) {
31 return Pred.matches(Srcs, Inst);
38 return newSource(BB, Insts, Srcs, Pred);
42 ArrayRef<Value *> Srcs, SourcePred Pred) {
45 RS.sample(Pred.generate(Srcs, KnownTypes));
48 Value *Ptr = findPointer(BB, Insts, Srcs, Pred);
60 if (Pred.matches(Srcs, NewLoad))
135 ArrayRef<Value *> Srcs, SourcePred Pred) {
136 auto IsMatchingPtr = [&Srcs, &Pred](Instructio
26 findOrCreateSource(BasicBlock &BB, ArrayRef<Instruction *> Insts, ArrayRef<Value *> Srcs, SourcePred Pred) argument
41 newSource(BasicBlock &BB, ArrayRef<Instruction *> Insts, ArrayRef<Value *> Srcs, SourcePred Pred) argument
133 findPointer(BasicBlock &BB, ArrayRef<Instruction *> Insts, ArrayRef<Value *> Srcs, SourcePred Pred) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/Transforms/Utils/
H A DSSAUpdaterImpl.h139 BlkT *Pred = Preds[p]; local
142 BBMap.FindAndConstruct(Pred);
149 ValT PredVal = AvailableVals->lookup(Pred);
150 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal);
252 BBInfo *Pred = Info->Preds[p]; local
255 if (Pred->BlkNum == 0) {
256 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater);
257 (*AvailableVals)[Pred->BB] = Pred
282 IsDefInDomFrontier(const BBInfo *Pred, const BBInfo *IDom) argument
373 BlkT *Pred = PredInfo->BB; local
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCompares.cpp76 static bool isSignTest(ICmpInst::Predicate &Pred, const APInt &C) { argument
77 if (!ICmpInst::isSigned(Pred))
81 return ICmpInst::isRelational(Pred);
84 if (Pred == ICmpInst::ICMP_SLT) {
85 Pred = ICmpInst::ICMP_SLE;
89 if (Pred == ICmpInst::ICMP_SGT) {
90 Pred = ICmpInst::ICMP_SGE;
1103 ICmpInst::Predicate Pred) {
1112 if (Pred == ICmpInst::ICMP_ULT || Pred
1102 foldICmpAddOpConst(Value *X, const APInt &C, ICmpInst::Predicate Pred) argument
1363 ICmpInst::Predicate Pred; local
1393 CmpInst::Predicate Pred = Cmp.getPredicate(); local
1445 CmpInst::Predicate Pred = Cmp.getPredicate(); local
1531 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
1881 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
1970 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
2169 CmpInst::Predicate Pred = Cmp.getPredicate(); local
2262 const ICmpInst::Predicate Pred = Cmp.getPredicate(); local
2368 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
2498 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
2567 CmpInst::Predicate Pred = Cmp.getPredicate(); local
3639 ICmpInst::Predicate Pred; local
3712 const CmpInst::Predicate Pred = I.getPredicate(); local
4071 ICmpInst::Predicate Pred = Cmp.getPredicate(); local
4161 const CmpInst::Predicate Pred = I.getPredicate(); local
4963 ICmpInst::Predicate Pred = I.getPredicate(); local
5187 getFlippedStrictnessPredicateAndConstant(CmpInst::Predicate Pred, Constant *C) argument
5255 ICmpInst::Predicate Pred = I.getPredicate(); local
5355 ICmpInst::Predicate Pred, NewPred; local
5427 CmpInst::Predicate Pred = I.getPredicate(); local
5753 ICmpInst::Predicate Pred; local
5938 FCmpInst::Predicate Pred = I.getPredicate(); local
6044 const CmpInst::Predicate Pred = I.getPredicate(); local
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/utils/TableGen/
H A DSubtargetFeatureInfo.cpp30 for (Record *Pred : AllPredicates) {
35 if (!Pred->getValueAsBit("AssemblerMatcherPredicate"))
38 if (Pred->getName().empty())
39 PrintFatalError(Pred->getLoc(), "Predicate has no name!");
42 if (Pred->getValueAsString("CondString").empty())
46 Pred, SubtargetFeatureInfo(Pred, SubtargetFeatures.size()));
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopPredication.cpp237 /// icmp Pred, <induction variable>, <loop invariant limit>
239 ICmpInst::Predicate Pred; member in struct:__anon2705::LoopICmp
242 LoopICmp(ICmpInst::Predicate Pred, const SCEVAddRecExpr *IV, argument
244 : Pred(Pred), IV(IV), Limit(Limit) {}
247 dbgs() << "LoopICmp Pred = " << Pred << ", IV = " << *IV
285 ICmpInst::Predicate Pred, const SCEV *LHS,
374 auto Pred = ICI->getPredicate(); local
389 Pred
399 expandCheck(SCEVExpander &Expander, Instruction *Guard, ICmpInst::Predicate Pred, const SCEV *LHS, const SCEV *RHS) argument
[all...]

Completed in 196 milliseconds

1234567891011>>