| /minix3/external/bsd/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineObjC.cpp | 23 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 …]
|
| H A D | CoreEngine.cpp | 229 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, in dispatchWorkItem() argument
234 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred); in dispatchWorkItem()
238 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred); in dispatchWorkItem()
247 SubEng.processCallEnter(CEnter, Pred); in dispatchWorkItem()
252 SubEng.processCallExit(Pred); in dispatchWorkItem()
256 assert(Pred->hasSinglePred() && in dispatchWorkItem()
258 ExplodedNode *PNode = Pred->getFirstPred(); in dispatchWorkItem()
259 dispatchWorkItem(Pred, PNode->getLocation(), WU); in dispatchWorkItem()
267 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred); in dispatchWorkItem()
284 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { in HandleBlockEdge() argument
[all …]
|
| H A D | ExprEngine.cpp | 287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement() argument
289 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement()
295 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred); in processCFGElement()
298 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred); in processCFGElement()
302 Pred); in processCFGElement()
309 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred); in processCFGElement()
316 const ExplodedNode *Pred, in shouldRemoveDeadBindings() argument
324 if (Pred->getLocation().getAs<BlockEntrance>()) in shouldRemoveDeadBindings()
341 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, in removeDead() argument
357 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
[all …]
|
| H A D | ExprEngineCXX.cpp | 26 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 …]
|
| H A D | ExprEngineC.cpp | 23 ExplodedNode *Pred, in VisitBinaryOperator() argument
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr() argument
194 Pred->getLocationContext(), in VisitBlockExpr()
197 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
218 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in VisitBlockExpr()
219 Bldr.generateNode(BE, Pred, in VisitBlockExpr()
220 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
228 ExplodedNode *Pred, ExplodedNodeSet &Dst) { in VisitCast() argument
231 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, CastE, *this); in VisitCast()
[all …]
|
| H A D | ExprEngineCallAndReturn.cpp | 40 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 std::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 …]
|
| H A D | CheckerManager.cpp | 153 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 …]
|
| /minix3/external/bsd/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 194 void processCFGElement(const CFGElement E, ExplodedNode *Pred,
197 void ProcessStmt(const CFGStmt S, ExplodedNode *Pred);
199 void ProcessInitializer(const CFGInitializer I, ExplodedNode *Pred);
201 void ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred);
203 void ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred);
206 ExplodedNode *Pred, ExplodedNodeSet &Dst);
208 ExplodedNode *Pred, ExplodedNodeSet &Dst);
210 ExplodedNode *Pred, ExplodedNodeSet &Dst);
212 ExplodedNode *Pred, ExplodedNodeSet &Dst);
214 ExplodedNode *Pred, ExplodedNodeSet &Dst);
[all …]
|
| H A D | CheckerContext.h | 73 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()
221 ExplodedNode *Pred,
223 return addTransitionImpl(State, false, Pred, Tag);
[all …]
|
| H A D | CoreEngine.h | 89 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);
99 const CFGBlock *B, ExplodedNode *Pred);
103 ExplodedNode *Pred);
132 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
240 ExplodedNode *Pred,
[all …]
|
| H A D | SubEngine.h | 56 virtual void processCFGElement(const CFGElement E, ExplodedNode* Pred,
64 ExplodedNode *Pred) = 0;
70 ExplodedNode *Pred,
80 ExplodedNode *Pred,
89 ExplodedNode *Pred,
105 ExplodedNode *Pred) = 0;
108 virtual void processCallEnter(CallEnter CE, ExplodedNode *Pred) = 0;
111 virtual void processCallExit(ExplodedNode *Pred) = 0;
|
| /minix3/external/bsd/llvm/dist/llvm/include/llvm/Transforms/Utils/ |
| H A D | SSAUpdaterImpl.h | 127 BlkT *Pred = Preds[p]; in BuildBlockList() local
130 BBMap.FindAndConstruct(Pred); in BuildBlockList()
137 ValT PredVal = AvailableVals->lookup(Pred); in BuildBlockList()
138 BBInfo *PredInfo = new (Allocator) BBInfo(Pred, PredVal); in BuildBlockList()
240 BBInfo *Pred = Info->Preds[p]; in FindDominators() local
243 if (Pred->BlkNum == 0) { in FindDominators()
244 Pred->AvailableVal = Traits::GetUndefVal(Pred->BB, Updater); in FindDominators()
245 (*AvailableVals)[Pred->BB] = Pred->AvailableVal; in FindDominators()
246 Pred->DefBB = Pred; in FindDominators()
247 Pred->BlkNum = PseudoEntry->BlkNum; in FindDominators()
[all …]
|
| /minix3/external/bsd/llvm/dist/clang/test/SemaTemplate/ |
| H A D | rdar9173693.cpp | 6 template< typename Pred > assert<false> assert_not_arg( void (*)(Pred), typename assert_arg_pred<Pr…
|
| /minix3/external/bsd/llvm/dist/llvm/lib/Analysis/ |
| H A D | InstructionSimplify.cpp | 87 static bool isSameCompare(Value *V, CmpInst::Predicate Pred, Value *LHS, in isSameCompare() argument
94 if (CPred == Pred && CLHS == LHS && CRHS == RHS) in isSameCompare()
96 return CPred == CmpInst::getSwappedPredicate(Pred) && CLHS == RHS && in isSameCompare()
366 static Value *ThreadCmpOverSelect(CmpInst::Predicate Pred, Value *LHS, in ThreadCmpOverSelect() argument
376 Pred = CmpInst::getSwappedPredicate(Pred); in ThreadCmpOverSelect()
386 Value *TCmp = SimplifyCmpInst(Pred, TV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
394 if (!isSameCompare(Cond, Pred, TV, RHS)) in ThreadCmpOverSelect()
400 Value *FCmp = SimplifyCmpInst(Pred, FV, RHS, Q, MaxRecurse); in ThreadCmpOverSelect()
408 if (!isSameCompare(Cond, Pred, FV, RHS)) in ThreadCmpOverSelect()
491 static Value *ThreadCmpOverPHI(CmpInst::Predicate Pred, Value *LHS, Value *RHS, in ThreadCmpOverPHI() argument
[all …]
|
| /minix3/external/bsd/llvm/dist/llvm/lib/Target/ARM/ |
| H A D | ARMLoadStoreOptimizer.cpp | 103 ARMCC::CondCodes Pred, unsigned PredReg);
106 ARMCC::CondCodes Pred, unsigned PredReg, unsigned Scratch,
119 ARMCC::CondCodes Pred,
126 ARMCC::CondCodes Pred, unsigned PredReg,
376 ARMCC::CondCodes Pred, unsigned PredReg) { in UpdateBaseRegUses() argument
445 .addImm(Pred).addReg(PredReg); in UpdateBaseRegUses()
464 .addImm(Pred).addReg(PredReg); in UpdateBaseRegUses()
475 int Opcode, ARMCC::CondCodes Pred, in MergeOps() argument
576 if (Pred != ARMCC::AL) in MergeOps()
583 .addImm(Pred).addReg(PredReg); in MergeOps()
[all …]
|
| /minix3/external/bsd/libc++/dist/libcxx/test/thread/thread.condition/thread.condition.condvar/ |
| H A D | wait_pred.pass.cpp | 29 class Pred class
33 explicit Pred(int& i) : i_(i) {} in Pred() function in Pred
44 cv.wait(lk, Pred(test2)); in f()
|
| /minix3/external/bsd/libc++/dist/libcxx/test/thread/thread.condition/thread.condition.condvarany/ |
| H A D | wait_pred.pass.cpp | 33 class Pred class
37 explicit Pred(int& i) : i_(i) {} in Pred() function in Pred
48 cv.wait(lk, Pred(test2)); in f()
|
| /minix3/external/bsd/libc++/dist/libcxx/test/std/thread/thread.condition/thread.condition.condvarany/ |
| H A D | wait_pred.pass.cpp | 35 class Pred class
39 explicit Pred(int& i) : i_(i) {} in Pred() function in Pred
50 cv.wait(lk, Pred(test2)); in f()
|
| /minix3/external/bsd/libc++/dist/libcxx/test/std/thread/thread.condition/thread.condition.condvar/ |
| H A D | wait_pred.pass.cpp | 31 class Pred class
35 explicit Pred(int& i) : i_(i) {} in Pred() function in Pred
46 cv.wait(lk, Pred(test2)); in f()
|
| /minix3/external/bsd/llvm/dist/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCompares.cpp | 752 ICmpInst::Predicate Pred) { in FoldICmpAddOpCst() argument
760 if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) { in FoldICmpAddOpCst()
769 if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE) in FoldICmpAddOpCst()
782 if (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SLE) in FoldICmpAddOpCst()
792 assert(Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SGE); in FoldICmpAddOpCst()
838 ICmpInst::Predicate Pred = ICI.getPredicate(); in FoldICmpDivCst() local
908 Pred = ICmpInst::getSwappedPredicate(Pred); in FoldICmpDivCst()
912 switch (Pred) { in FoldICmpDivCst()
942 return new ICmpInst(Pred, X, LoBound); in FoldICmpDivCst()
949 if (Pred == ICmpInst::ICMP_UGT) in FoldICmpDivCst()
[all …]
|
| H A D | InstCombineSelect.cpp | 34 ICmpInst::Predicate Pred = ICI->getPredicate(); in MatchSelectPattern() local
45 switch (Pred) { in MatchSelectPattern()
60 switch (Pred) { in MatchSelectPattern()
79 if (Pred == ICmpInst::ICMP_SGT && (C1->isZero() || C1->isMinusOne())) { in MatchSelectPattern()
85 if (Pred == ICmpInst::ICMP_SLT && (C1->isZero() || C1->isOne())) { in MatchSelectPattern()
432 ICmpInst::Predicate Pred = IC->getPredicate(); in foldSelectICmpAndOr() local
433 if ((Pred == ICmpInst::ICMP_NE && OrOnFalseVal) || in foldSelectICmpAndOr()
434 (Pred == ICmpInst::ICMP_EQ && OrOnTrueVal)) in foldSelectICmpAndOr()
446 ICmpInst::Predicate Pred = ICI->getPredicate(); in visitSelectInstWithICmp() local
458 if ((Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_ULT) in visitSelectInstWithICmp()
[all …]
|
| /minix3/external/bsd/llvm/dist/llvm/utils/unittest/googletest/include/gtest/ |
| H A D | gtest_pred_impl.h | 85 template <typename Pred,
89 Pred pred, in AssertPred1Helper()
126 template <typename Pred,
132 Pred pred, in AssertPred2Helper()
174 template <typename Pred,
182 Pred pred, in AssertPred3Helper()
229 template <typename Pred,
239 Pred pred, in AssertPred4Helper()
291 template <typename Pred,
303 Pred pred, in AssertPred5Helper()
|
| /minix3/external/bsd/llvm/dist/llvm/lib/Transforms/Utils/ |
| H A D | FlattenCFG.cpp | 140 BasicBlock *Pred = *PI; in FlattenParallelAndOr() local
141 BranchInst *PBI = dyn_cast<BranchInst>(Pred->getTerminator()); in FlattenParallelAndOr()
147 BasicBlock *PP = Pred->getSinglePredecessor(); in FlattenParallelAndOr()
156 Pred->hasAddressTaken()) in FlattenParallelAndOr()
159 UnCondBlock = Pred; in FlattenParallelAndOr()
175 if (Pred->hasAddressTaken()) in FlattenParallelAndOr()
180 for (BasicBlock::iterator BI = Pred->begin(), BE = PBI; BI != BE;) { in FlattenParallelAndOr()
190 FirstCondBlock = Pred; in FlattenParallelAndOr()
209 LastCondBlock = Pred; in FlattenParallelAndOr()
215 LastCondBlock = Pred; in FlattenParallelAndOr()
|
| /minix3/external/bsd/llvm/dist/clang/lib/Analysis/ |
| H A D | ThreadSafetyTIL.cpp | 59 unsigned BasicBlock::addPredecessor(BasicBlock *Pred) { in addPredecessor() argument
62 Predecessors.push_back(Pred); in addPredecessor()
201 for (auto *Pred : Predecessors) in topologicalFinalSort() local
202 ID = Pred->topologicalFinalSort(Blocks, ID); in topologicalFinalSort()
215 for (auto *Pred : Predecessors) { in computeDominator() local
217 if (Pred->BlockID >= BlockID) continue; in computeDominator()
220 Candidate = Pred; in computeDominator()
224 auto *Alternate = Pred; in computeDominator()
|
| /minix3/external/bsd/llvm/dist/llvm/include/llvm/IR/ |
| H A D | PatternMatch.h | 702 CmpClass_match(PredicateTy &Pred, const LHS_t &LHS, const RHS_t &RHS) in CmpClass_match()
703 : Predicate(Pred), L(LHS), R(RHS) {} in CmpClass_match()
717 m_Cmp(CmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_Cmp() argument
718 return CmpClass_match<LHS, RHS, CmpInst, CmpInst::Predicate>(Pred, L, R); in m_Cmp()
723 m_ICmp(ICmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_ICmp() argument
724 return CmpClass_match<LHS, RHS, ICmpInst, ICmpInst::Predicate>(Pred, L, R); in m_ICmp()
729 m_FCmp(FCmpInst::Predicate &Pred, const LHS &L, const RHS &R) { in m_FCmp() argument
730 return CmpClass_match<LHS, RHS, FCmpInst, FCmpInst::Predicate>(Pred, L, R); in m_FCmp()
971 typename CmpInst_t::Predicate Pred = in match() local
974 if (!Pred_t::match(Pred)) in match()
[all …]
|