Home
last modified time | relevance | path

Searched refs:Pred (Results 1 – 25 of 181) sorted by relevance

12345678

/freebsd-9-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h195 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
198 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
200 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
202 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
205 ExplodedNode *Pred, ExplodedNodeSet &Dst);
207 ExplodedNode *Pred, ExplodedNodeSet &Dst);
209 ExplodedNode *Pred, ExplodedNodeSet &Dst);
211 ExplodedNode *Pred, ExplodedNodeSet &Dst);
213 ExplodedNode *Pred, ExplodedNodeSet &Dst);
218 ExplodedNode *Pred);
[all …]
DCoreEngine.h89 ExplodedNode *Pred);
91 void HandleBlockEdge(const BlockEdge &E, ExplodedNode *Pred);
92 void HandleBlockEntrance(const BlockEntrance &E, ExplodedNode *Pred);
93 void HandleBlockExit(const CFGBlock *B, ExplodedNode *Pred);
94 void HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred);
97 ExplodedNode *Pred);
101 ExplodedNode *Pred);
137 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
245 ExplodedNode *Pred,
267 ExplodedNode *Pred) { in generateNode() argument
[all …]
DCheckerContext.h73 ExplodedNode *Pred; variable
93 Pred(pred), in Eng()
98 assert(Pred->getState() && in Eng()
117 ExplodedNode *getPredecessor() { return Pred; } in getPredecessor()
118 const ProgramStateRef &getState() const { return Pred->getState(); } in getState()
139 return Pred->getLocationContext(); in getLocationContext()
143 return Pred->getStackFrame(); in getStackFrame()
174 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
216 ExplodedNode *Pred,
218 return addTransitionImpl(State, false, Pred, Tag);
[all …]
DSubEngine.h56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
64 ExplodedNode *Pred) = 0;
70 ExplodedNode *Pred,
79 ExplodedNode *Pred,
95 ExplodedNode *Pred) = 0;
98 virtual void processCallEnter(CallEnter CE, ExplodedNode *Pred) = 0;
101 virtual void processCallExit(ExplodedNode *Pred) = 0;
/freebsd-9-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
DExprEngineObjC.cpp23 ExplodedNode *Pred, in VisitLvalObjCIvarRefExpr() argument
25 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx); in VisitLvalObjCIvarRefExpr()
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
40 ExplodedNode *Pred, in VisitObjCAtSynchronizedStmt() argument
42 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this); in VisitObjCAtSynchronizedStmt()
46 ExplodedNode *Pred, in VisitObjCForCollectionStmt() argument
75 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
81 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
[all …]
DExprEngine.cpp276 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
278 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
284 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred); in processCFGElement()
287 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred); in processCFGElement()
294 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
301 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
309 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
326 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
342 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
370 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx); in removeDead()
[all …]
DCoreEngine.cpp228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
233 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
237 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
246 SubEng.processCallEnter(CEnter, Pred); in dispatchWorkItem()
251 SubEng.processCallExit(Pred); in dispatchWorkItem()
255 assert(Pred->hasSinglePred() && in dispatchWorkItem()
257 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
258 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
266 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
DExprEngineCXX.cpp26 ExplodedNode *Pred, in CreateCXXTemporaryObject() argument
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx); in CreateCXXTemporaryObject()
30 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
34 Bldr.generateNode(ME, Pred, state); in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy() argument
56 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
59 Bldr.takeNodes(Pred); in performTrivialCopy()
66 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
71 evalBind(Dst, CallExpr, Pred, ThisVal, V, true); in performTrivialCopy()
[all …]
DExprEngineC.cpp23 ExplodedNode *Pred, in VisitBinaryOperator() argument
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
180 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
187 Pred->getLocationContext(), in VisitBlockExpr()
190 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
211 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
212 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
213 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
221 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() argument
224 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()
[all …]
DExprEngineCallAndReturn.cpp40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { in processCallEnter() argument
58 ProgramStateRef state = Pred->getState(); in processCallEnter()
63 Node->addPredecessor(Pred, G); in processCallEnter()
160 ExplodedNode *Pred, in removeDeadOnEndOfFunction() argument
165 llvm::tie(LastSt, Blk) = getLastStmt(Pred); in removeDeadOnEndOfFunction()
167 Dst.Add(Pred); in removeDeadOnEndOfFunction()
177 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
417 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
421 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
[all …]
DCheckerManager.cpp153 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
158 Pred->getLocationContext(), checkFn.Checker); in runChecker()
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
195 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
199 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C); in runChecker()
238 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined); in runChecker()
242 checkFn(*Call.cloneWithState(Pred->getState()), C); in runChecker()
282 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
/freebsd-9-stable/contrib/libstdc++/include/ext/pb_ds/detail/binary_heap_/
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) in type()
91 return Pred::operator()(*p_v); in operator ()()
Dbinary_heap_.hpp226 template<typename Pred>
228 erase_if(Pred pred);
251 template<typename Pred>
253 split(Pred pred, PB_DS_CLASS_C_DEC& other);
313 template<typename Pred>
315 partition(Pred pred);
Derase_fn_imps.hpp114 template<typename Pred>
117 erase_if(Pred pred) in erase_if()
124 Pred, in erase_if()
223 template<typename Pred>
226 partition(Pred pred) in partition()
/freebsd-9-stable/contrib/llvm/include/llvm/Transforms/Utils/
DSSAUpdaterImpl.h125 BlkT *Pred = Preds[p]; in BuildBlockList() local
128 BBMap.FindAndConstruct(Pred); in BuildBlockList()
135 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
136 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
238 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
241 if (Pred->BlkNum == 0) { in FindDominators()
242 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
243 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
244 Pred->DefBB = Pred; in FindDominators()
245 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
/freebsd-9-stable/contrib/llvm/include/llvm/Analysis/
DBlockFrequencyImpl.h140 BlockT *Pred = *PI; in getSingleBlockPred() local
146 return Pred; in getSingleBlockPred()
160 if(BlockT *Pred = getSingleBlockPred(BB)) { in doBlock() local
161 if (BlocksInLoop.count(Pred)) in doBlock()
162 setBlockFreq(BB, getEdgeFreq(Pred, BB)); in doBlock()
174 BlockT *Pred = *PI; in doBlock() local
176 if (isBackedge(Pred, BB)) { in doBlock()
178 } else if (BlocksInLoop.count(Pred)) { in doBlock()
179 incBlockFreq(BB, getEdgeFreq(Pred, BB)); in doBlock()
222 BlockT *Pred = *PI; in doLoop() local
[all …]
/freebsd-9-stable/contrib/llvm/lib/Analysis/
DInstructionSimplify.cpp79 static bool isSameCompare(Value *V, CmpInst::Predicate Pred, Value *LHS, in isSameCompare() argument
86 if (CPred == Pred && CLHS == LHS && CRHS == RHS) in isSameCompare()
88 return CPred == CmpInst::getSwappedPredicate(Pred) && CLHS == RHS && in isSameCompare()
430 static Value *ThreadCmpOverSelect(CmpInst::Predicate Pred, Value *LHS, in ThreadCmpOverSelect() argument
440 Pred = CmpInst::getSwappedPredicate(Pred); in ThreadCmpOverSelect()
450 Value *TCmp = SimplifyCmpInst(Pred, TV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
458 if (!isSameCompare(Cond, Pred, TV, RHS)) in ThreadCmpOverSelect()
464 Value *FCmp = SimplifyCmpInst(Pred, FV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
472 if (!isSameCompare(Cond, Pred, FV, RHS)) in ThreadCmpOverSelect()
555 static Value *ThreadCmpOverPHI(CmpInst::Predicate Pred, Value *LHS, Value *RHS, in ThreadCmpOverPHI() argument
[all …]
/freebsd-9-stable/contrib/llvm/lib/Transforms/InstCombine/
DInstCombineCompares.cpp747 ICmpInst::Predicate Pred) { in FoldICmpAddOpCst() argument
751 bool isTrue = ICmpInst::isTrueWhenEqual(Pred); in FoldICmpAddOpCst()
756 if (Pred == ICmpInst::ICMP_EQ) in FoldICmpAddOpCst()
760 if (Pred == ICmpInst::ICMP_NE) in FoldICmpAddOpCst()
770 if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) { in FoldICmpAddOpCst()
779 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in FoldICmpAddOpCst()
792 if (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SLE) in FoldICmpAddOpCst()
802 assert(Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SGE); in FoldICmpAddOpCst()
848 ICmpInst::Predicate Pred = ICI.getPredicate(); in FoldICmpDivCst() local
918 Pred = ICmpInst::getSwappedPredicate(Pred); in FoldICmpDivCst()
[all …]
DInstCombineSelect.cpp407 ICmpInst::Predicate Pred = IC->getPredicate(); in foldSelectICmpAndOr() local
408 if ((Pred == ICmpInst::ICMP_NE && OrOnFalseVal) || in foldSelectICmpAndOr()
409 (Pred == ICmpInst::ICMP_EQ && OrOnTrueVal)) in foldSelectICmpAndOr()
421 ICmpInst::Predicate Pred = ICI->getPredicate(); in visitSelectInstWithICmp() local
433 if ((Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_ULT) in visitSelectInstWithICmp()
434 && CI->isMinValue(Pred == ICmpInst::ICMP_SLT)) in visitSelectInstWithICmp()
437 else if ((Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_UGT) in visitSelectInstWithICmp()
438 && CI->isMaxValue(Pred == ICmpInst::ICMP_SGT)) in visitSelectInstWithICmp()
440 switch (Pred) { in visitSelectInstWithICmp()
452 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_SGT) in visitSelectInstWithICmp()
[all …]
/freebsd-9-stable/contrib/llvm/lib/Target/ARM/
DARMLoadStoreOptimizer.cpp99 ARMCC::CondCodes Pred, unsigned PredReg, unsigned Scratch,
112 ARMCC::CondCodes Pred,
119 ARMCC::CondCodes Pred, unsigned PredReg,
289 int Opcode, ARMCC::CondCodes Pred, in MergeOps() argument
344 .addImm(Pred).addReg(PredReg).addReg(0); in MergeOps()
355 .addImm(Pred).addReg(PredReg); in MergeOps()
431 ARMCC::CondCodes Pred, unsigned PredReg, in MergeOpsUpdate() argument
483 Pred, PredReg, Scratch, dl, Regs, ImpDefs)) in MergeOpsUpdate()
525 ARMCC::CondCodes Pred, unsigned PredReg, in MergeLDR_STR() argument
579 Base, false, Opcode, Pred, PredReg, Scratch, dl, Merges); in MergeLDR_STR()
[all …]
/freebsd-9-stable/contrib/llvm/include/llvm/Support/
DPatternMatch.h576 CmpClass_match(PredicateTy &Pred, const LHS_t &LHS, const RHS_t &RHS) in CmpClass_match()
577 : Predicate(Pred), L(LHS), R(RHS) {} in CmpClass_match()
592 m_ICmp(ICmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_ICmp() argument
594 ICmpInst, ICmpInst::Predicate>(Pred, L, R); in m_ICmp()
599 m_FCmp(FCmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_FCmp() argument
601 FCmpInst, FCmpInst::Predicate>(Pred, L, R); in m_FCmp()
872 typename CmpInst_t::Predicate Pred = LHS == TrueVal ? in match() local
875 if (!Pred_t::match(Pred)) in match()
884 static bool match(ICmpInst::Predicate Pred) { in match()
885 return Pred == CmpInst::ICMP_SGT || Pred == CmpInst::ICMP_SGE; in match()
[all …]
/freebsd-9-stable/contrib/llvm/lib/Transforms/Utils/
DFlattenCFG.cpp138 BasicBlock *Pred = *PI; in FlattenParallelAndOr() local
139 BranchInst *PBI = dyn_cast<BranchInst>(Pred->getTerminator()); in FlattenParallelAndOr()
145 BasicBlock *PP = Pred->getSinglePredecessor(); in FlattenParallelAndOr()
154 Pred->hasAddressTaken()) in FlattenParallelAndOr()
157 UnCondBlock = Pred; in FlattenParallelAndOr()
173 if (Pred->hasAddressTaken()) in FlattenParallelAndOr()
178 for (BasicBlock::iterator BI = Pred->begin(), BE = PBI; BI != BE;) { in FlattenParallelAndOr()
188 FirstCondBlock = Pred; in FlattenParallelAndOr()
207 LastCondBlock = Pred; in FlattenParallelAndOr()
213 LastCondBlock = Pred; in FlattenParallelAndOr()
DBasicBlockUtils.cpp319 BasicBlock *Pred = *i; in UpdateAnalysisInformation() local
324 if (Loop *PL = LI->getLoopFor(Pred)) in UpdateAnalysisInformation()
331 if (L->contains(Pred)) in UpdateAnalysisInformation()
353 BasicBlock *Pred = *i; in UpdateAnalysisInformation() local
354 if (Loop *PredLoop = LI->getLoopFor(Pred)) { in UpdateAnalysisInformation()
533 BasicBlock *Pred = *i++; in SplitLandingPadPredecessors() local
534 if (Pred == NewBB1) continue; in SplitLandingPadPredecessors()
535 assert(!isa<IndirectBrInst>(Pred->getTerminator()) && in SplitLandingPadPredecessors()
537 NewBB2Preds.push_back(Pred); in SplitLandingPadPredecessors()
595 BasicBlock *Pred) { in FoldReturnIntoUncondBranch() argument
[all …]
/freebsd-9-stable/contrib/libstdc++/include/ext/pb_ds/detail/rc_binomial_heap_/
Drc_binomial_heap_.hpp145 template<typename Pred>
147 erase_if(Pred pred);
149 template<typename Pred>
151 split(Pred pred, PB_DS_CLASS_C_DEC& other);
/freebsd-9-stable/contrib/libc++/include/ext/
Dhash_set21 template <class Value, class Hash = hash<Value>, class Pred = equal_to<Value>,
30 typedef Pred key_equal;
93 template <class Value, class Hash, class Pred, class Alloc>
94 void swap(hash_set<Value, Hash, Pred, Alloc>& x,
95 hash_set<Value, Hash, Pred, Alloc>& y);
97 template <class Value, class Hash, class Pred, class Alloc>
99 operator==(const hash_set<Value, Hash, Pred, Alloc>& x,
100 const hash_set<Value, Hash, Pred, Alloc>& y);
102 template <class Value, class Hash, class Pred, class Alloc>
104 operator!=(const hash_set<Value, Hash, Pred, Alloc>& x,
[all …]

12345678