/freebsd-11-stable/contrib/libstdc++/include/ext/pb_ds/detail/binary_heap_/ |
H A D | entry_pred.hpp | 56 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 D | ExprEngineObjC.cpp | 22 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 D | CoreEngine.cpp | 154 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 D | ExprEngine.cpp | 627 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 D | ExprEngineCXX.cpp | 27 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 D | ExprEngineC.cpp | 41 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 D | ExprEngineCallAndReturn.cpp | 41 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 D | ScalarEvolutionNormalization.cpp | 34 // 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 D | CmpInstAnalysis.cpp | 22 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 D | OpDescriptor.h | 55 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 D | RandomIRBuilder.h | 40 /// 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 D | ExprEngine.h | 272 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 D | CheckerContext.h | 26 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 D | LoopUnrolling.h | 40 ExplodedNode* Pred, unsigned maxVisitOnPath);
|
H A D | CoreEngine.h | 105 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 D | SubEngine.h | 63 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 D | CmpInstAnalysis.h | 53 /// 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 D | ScalarEvolutionNormalization.h | 58 /// Pred returns true. 59 const SCEV *normalizeForPostIncUseIf(const SCEV *S, NormalizePredTy Pred,
|
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Target/WebAssembly/ |
H A D | WebAssemblyFixIrreducibleControlFlow.cpp | 80 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 D | split_join_fn_imps.hpp | 48 template<typename Pred> 51 split(Pred pred, PB_DS_CLASS_C_DEC& other)
|
/freebsd-11-stable/contrib/llvm-project/llvm/lib/FuzzMutate/ |
H A D | RandomIRBuilder.cpp | 29 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 D | SSAUpdaterImpl.h | 139 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 D | InstCombineCompares.cpp | 76 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 D | SubtargetFeatureInfo.cpp | 30 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 D | LoopPredication.cpp | 237 /// 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...] |