Searched defs:Pred (Results 1 - 25 of 113) sorted by path

12345

/external/chromium_org/third_party/mesa/src/src/gallium/drivers/r300/compiler/
H A Dradeon_program.h61 unsigned int Pred:2; member in struct:rc_dst_register
/external/clang/include/clang/AST/
H A DStmtOpenMP.h97 FilterPredicate Pred; member in class:clang::OMPExecutableDirective::filtered_clause_iterator
99 while (Current != End && !Pred(*Current))
106 filtered_clause_iterator(ArrayRef<OMPClause *> Arr, FilterPredicate Pred) argument
107 : Current(Arr.begin()), End(Arr.end()), Pred(Pred) {
/external/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h51 void handlePredecessor(const CFGBlock *Pred) {} argument
54 void handlePredecessorBackEdge(const CFGBlock *Pred) {} argument
336 void handlePredecessor(const CFGBlock *Pred);
337 void handlePredecessorBackEdge(const CFGBlock *Pred);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h73 ExplodedNode *Pred; member in class:clang::ento::CheckerContext
93 Pred(pred),
98 assert(Pred->getState() &&
117 ExplodedNode *getPredecessor() { return Pred; }
118 const ProgramStateRef &getState() const { return Pred->getState(); }
139 return Pred->getLocationContext();
143 return Pred->getStackFrame();
174 return Pred->getLocationContext()->getAnalysisDeclContext();
217 /// @param Pred The transition will be generated from the specified Pred nod
220 addTransition(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
[all...]
H A 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);
136 /// Use Pred parameter as the predecessor state.
137 void dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc,
245 ExplodedNode *Pred,
265 generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
276 generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) argument
321 NodeBuilderWithSinks(ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L) argument
325 generateNode(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
332 generateSink(ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag = nullptr) argument
380 generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
390 generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag = nullptr, ProgramPoint::Kind K = ProgramPoint::PostStmtKind) argument
454 ExplodedNode *Pred; member in class:clang::ento::IndirectGotoNodeBuilder
500 ExplodedNode *Pred; member in class:clang::ento::SwitchNodeBuilder
[all...]
/external/clang/lib/Analysis/
H A DThreadSafetyCommon.cpp668 void SExprBuilder::handlePredecessor(const CFGBlock *Pred) { argument
671 CurrentBB->addPredecessor(BlockMap[Pred->getBlockID()]);
672 BlockInfo *PredInfo = &BBInfo[Pred->getBlockID()];
684 void SExprBuilder::handlePredecessorBackEdge(const CFGBlock *Pred) { argument
H A DThreadSafetyTIL.cpp51 unsigned BasicBlock::addPredecessor(BasicBlock *Pred) { argument
54 Predecessors.push_back(Pred);
H A DUninitializedValues.cpp536 const CFGBlock *Pred = *I; local
537 if (!Pred)
540 Value AtPredExit = vals.getValue(Pred, B, vd);
555 unsigned &SV = SuccsVisited[Pred->getBlockID()];
559 for (CFGBlock::const_succ_iterator SI = Pred->succ_begin(),
560 SE = Pred->succ_end();
566 if (++SV == Pred->succ_size())
569 Queue.push_back(Pred);
/external/clang/lib/CodeGen/
H A DCGCleanup.cpp435 llvm::BasicBlock *Pred = Entry->getSinglePredecessor(); local
436 if (!Pred) return Entry;
438 llvm::BranchInst *Br = dyn_cast<llvm::BranchInst>(Pred->getTerminator());
453 Entry->replaceAllUsesWith(Pred);
456 Pred->getInstList().splice(Pred->end(), Entry->getInstList());
462 CGF.Builder.SetInsertPoint(Pred);
464 return Pred;
/external/clang/lib/StaticAnalyzer/Checkers/
H A DRetainCountChecker.cpp2588 ExplodedNode *Pred, RetEffect RE, RefVal X,
2611 handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred,
2618 ExplodedNode *Pred = nullptr) const;
2765 const ExplodedNode *Pred = C.getPredecessor(); local
2766 const LocationContext *LCtx = Pred->getLocationContext();
2767 ProgramStateRef State = Pred->getState();
3344 ExplodedNode *Pred = C.addTransition(state); local
3351 if (!Pred)
3356 state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X);
3369 const Decl *CD = &Pred
3386 checkReturnWithRetEffect(const ReturnStmt *S, CheckerContext &C, ExplodedNode *Pred, RetEffect RE, RefVal X, SymbolRef Sym, ProgramStateRef state) const argument
3579 handleAutoreleaseCounts(ProgramStateRef state, ExplodedNode *Pred, const ProgramPointTag *Tag, CheckerContext &Ctx, SymbolRef Sym, RefVal V) const argument
3689 ExplodedNode *Pred = Ctx.getPredecessor(); local
3736 ExplodedNode *Pred = C.getPredecessor(); local
[all...]
H A DTestAfterDivZeroChecker.cpp74 const ExplodedNode *Pred,
98 const ExplodedNode *Pred,
97 VisitNode(const ExplodedNode *Succ, const ExplodedNode *Pred, BugReporterContext &BRC, BugReport &BR) argument
/external/clang/lib/StaticAnalyzer/Core/
H A DBugReporterVisitors.cpp451 const ExplodedNode *Pred,
464 if (isInitializationOfVar(Pred, VR)) {
465 StoreSite = Pred;
472 if (Optional<PostInitializer> PIP = Pred->getLocationAs<PostInitializer>()) {
475 StoreSite = Pred;
481 // (1) Succ has this binding and Pred does not, i.e. this is
489 if (Pred->getState()->getSVal(R) == V) {
812 const ExplodedNode *Pred,
827 if (!Pred->getState()->isNull(V).isConstrainedTrue()) {
450 VisitNode(const ExplodedNode *Succ, const ExplodedNode *Pred, BugReporterContext &BRC, BugReport &BR) argument
811 VisitNode(const ExplodedNode *Succ, const ExplodedNode *Pred, BugReporterContext &BRC, BugReport &BR) argument
H A DCheckerManager.cpp153 NodeBuilder &Bldr, ExplodedNode *Pred) {
158 Pred->getLocationContext(), checkFn.Checker);
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
195 NodeBuilder &Bldr, ExplodedNode *Pred) {
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
199 checkFn(*Msg.cloneWithState<ObjCMethodCall>(Pred->getState()), C);
238 NodeBuilder &Bldr, ExplodedNode *Pred) {
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
242 checkFn(*Call.cloneWithState(Pred->getState()), C);
282 NodeBuilder &Bldr, ExplodedNode *Pred) {
152 runChecker(CheckerManager::CheckStmtFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
194 runChecker(CheckerManager::CheckObjCMessageFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
237 runChecker(CheckerManager::CheckCallFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
281 runChecker(CheckerManager::CheckLocationFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
326 runChecker(CheckerManager::CheckBindFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
356 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
390 runChecker(CheckerManager::CheckBranchConditionFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
401 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
435 runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
531 ExplodedNode *Pred = *NI; local
[all...]
H A DCoreEngine.cpp228 void CoreEngine::dispatchWorkItem(ExplodedNode* Pred, ProgramPoint Loc, argument
233 HandleBlockEdge(Loc.castAs<BlockEdge>(), Pred);
237 HandleBlockEntrance(Loc.castAs<BlockEntrance>(), Pred);
246 SubEng.processCallEnter(CEnter, Pred);
251 SubEng.processCallExit(Pred);
255 assert(Pred->hasSinglePred() &&
257 ExplodedNode *PNode = Pred->getFirstPred();
258 dispatchWorkItem(Pred, PNode->getLocation(), WU);
266 HandlePostStmt(WU.getBlock(), WU.getIndex(), Pred);
283 void CoreEngine::HandleBlockEdge(const BlockEdge &L, ExplodedNode *Pred) { argument
322 HandleBlockEntrance(const BlockEntrance &L, ExplodedNode *Pred) argument
342 HandleBlockExit(const CFGBlock * B, ExplodedNode *Pred) argument
351 HandleStaticInit(cast<DeclStmt>(Term), B, Pred); local
378 Pred->State, Pred); local
450 Pred->State, Pred); local
453 HandleBranch(const Stmt *Cond, const Stmt *Term, const CFGBlock * B, ExplodedNode *Pred) argument
465 HandleStaticInit(const DeclStmt *DS, const CFGBlock *B, ExplodedNode *Pred) argument
477 HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, ExplodedNode *Pred) argument
492 generateNode(const ProgramPoint &Loc, ProgramStateRef State, ExplodedNode *Pred) argument
[all...]
H A DExprEngine.cpp278 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, argument
280 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
286 ProcessStmt(const_cast<Stmt*>(E.castAs<CFGStmt>().getStmt()), Pred); local
289 ProcessInitializer(E.castAs<CFGInitializer>().getInitializer(), Pred);
293 Pred);
300 ProcessImplicitDtor(E.castAs<CFGImplicitDtor>(), Pred);
307 const ExplodedNode *Pred,
315 if (Pred->getLocation().getAs<BlockEntrance>())
332 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out, argument
348 ProgramStateRef CleanedState = Pred
305 shouldRemoveDeadBindings(AnalysisManager &AMgr, const CFGStmt S, const ExplodedNode *Pred, const LocationContext *LC) argument
414 ProcessStmt(const CFGStmt S, ExplodedNode *Pred) argument
445 ProcessInitializer(const CFGInitializer Init, ExplodedNode *Pred) argument
529 ProcessImplicitDtor(const CFGImplicitDtor D, ExplodedNode *Pred) argument
556 ProcessNewAllocator(const CXXNewExpr *NE, ExplodedNode *Pred) argument
575 ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
594 ProcessDeleteDtor(const CFGDeleteDtor Dtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
623 ProcessBaseDtor(const CFGBaseDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
642 ProcessMemberDtor(const CFGMemberDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
659 ProcessTemporaryDtor(const CFGTemporaryDtor D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
671 Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &DstTop) argument
759 VisitObjCAtSynchronizedStmt(cast<ObjCAtSynchronizedStmt>(S), Pred, Dst); local
895 VisitLvalArraySubscriptExpr(cast<ArraySubscriptExpr>(S), Pred, Dst); local
901 VisitGCCAsmStmt(cast<GCCAsmStmt>(S), Pred, Dst); local
907 VisitMSAsmStmt(cast<MSAsmStmt>(S), Pred, Dst); local
913 VisitBlockExpr(cast<BlockExpr>(S), Pred, Dst); local
939 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Tmp); local
943 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local
976 VisitCallExpr(cast<CallExpr>(S), Pred, Dst); local
983 VisitCXXCatchStmt(cast<CXXCatchStmt>(S), Pred, Dst); local
991 VisitCXXConstructExpr(cast<CXXConstructExpr>(S), Pred, Dst); local
999 VisitCXXNewExpr(cast<CXXNewExpr>(S), Pred, PostVisit); local
1031 VisitBinaryOperator(cast<BinaryOperator>(S), Pred, Dst); local
1037 VisitCompoundLiteralExpr(cast<CompoundLiteralExpr>(S), Pred, Dst); local
1053 VisitCXXThisExpr(cast<CXXThisExpr>(S), Pred, Dst); local
1067 VisitDeclStmt(cast<DeclStmt>(S), Pred, Dst); local
1108 VisitInitListExpr(cast<InitListExpr>(S), Pred, Dst); local
1114 VisitMemberExpr(cast<MemberExpr>(S), Pred, Dst); local
1120 VisitLvalObjCIvarRefExpr(cast<ObjCIvarRefExpr>(S), Pred, Dst); local
1126 VisitObjCForCollectionStmt(cast<ObjCForCollectionStmt>(S), Pred, Dst); local
1132 VisitObjCMessage(cast<ObjCMessageExpr>(S), Pred, Dst); local
1145 VisitReturnStmt(cast<ReturnStmt>(S), Pred, Dst); local
1151 VisitOffsetOfExpr(cast<OffsetOfExpr>(S), Pred, Dst); local
1158 Pred, Dst); local
1280 processCFGBlockEntrance(const BlockEdge &L, NodeBuilderWithSinks &nodeBuilder, ExplodedNode *Pred) argument
1426 processBranch(const Stmt *Condition, const Stmt *Term, NodeBuilderContext& BldCtx, ExplodedNode *Pred, ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1527 processStaticInitializer(const DeclStmt *DS, NodeBuilderContext &BuilderCtx, ExplodedNode *Pred, clang::ento::ExplodedNodeSet &Dst, const CFGBlock *DstT, const CFGBlock *DstF) argument
1597 processEndOfFunction(NodeBuilderContext& BC, ExplodedNode *Pred) argument
1727 VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1782 VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
1809 VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2000 evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred, SVal location, SVal Val, bool atDeclInit, const ProgramPoint *PP) argument
2062 evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *LocationE, ExplodedNode *Pred, ProgramStateRef state, SVal location, SVal Val, const ProgramPointTag *tag) argument
2085 evalLoad(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument
2124 evalLoadCommon(ExplodedNodeSet &Dst, const Expr *NodeEx, const Expr *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, QualType LoadTy) argument
2161 evalLocation(ExplodedNodeSet &Dst, const Stmt *NodeEx, const Stmt *BoundEx, ExplodedNode *Pred, ProgramStateRef state, SVal location, const ProgramPointTag *tag, bool isLoad) argument
2214 ExplodedNode *Pred = *I; local
2250 VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
2273 VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineC.cpp23 ExplodedNode *Pred,
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this);
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, argument
194 Pred->getLocationContext(),
197 ProgramStateRef State = Pred->getState();
218 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
219 Bldr.generateNode(BE, Pred,
220 State->BindExpr(BE, Pred->getLocationContext(), V),
228 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
231 getCheckerManager().runCheckersForPreStmt(dstPreStmt, Pred, Cast
22 VisitBinaryOperator(const BinaryOperator* B, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
227 VisitCast(const CastExpr *CastE, const Expr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
410 VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
443 VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
516 VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
585 VisitInitListExpr(const InitListExpr *IE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
634 VisitGuardedExpr(const Expr *Ex, const Expr *L, const Expr *R, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
697 VisitOffsetOfExpr(const OffsetOfExpr *OOE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
716 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
758 VisitUnaryOperator(const UnaryOperator* U, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
890 VisitIncrementDecrementOperator(const UnaryOperator* U, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineCXX.cpp26 ExplodedNode *Pred,
28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
30 ProgramStateRef state = Pred->getState();
31 const LocationContext *LCtx = Pred->getLocationContext();
34 Bldr.generateNode(ME, Pred, state);
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, argument
56 const LocationContext *LCtx = Pred->getLocationContext();
59 Bldr.takeNodes(Pred);
66 V = Pred->getState()->getSVal(*L);
71 evalBind(Dst, CallExpr, Pred, ThisVa
25 CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
106 getRegionForConstructedObject( const CXXConstructExpr *CE, ExplodedNode *Pred, ExprEngine &Eng, unsigned int CurrStmtIdx) argument
177 VisitCXXConstructExpr(const CXXConstructExpr *CE, ExplodedNode *Pred, ExplodedNodeSet &destNodes) argument
299 VisitCXXDestructor(QualType ObjectType, const MemRegion *Dest, const Stmt *S, bool IsBaseDtor, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
344 VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
370 VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
475 VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
482 VisitCXXCatchStmt(const CXXCatchStmt *CS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
501 VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineCallAndReturn.cpp40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { argument
58 ProgramStateRef state = Pred->getState();
63 Node->addPredecessor(Pred, G);
160 ExplodedNode *Pred,
165 std::tie(LastSt, Blk) = getLastStmt(Pred);
167 Dst.Add(Pred);
177 const LocationContext *LCtx = Pred->getLocationContext();
178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
417 NodeBuilder &Bldr, ExplodedNode *Pred,
421 const LocationContext *CurLC = Pred
159 removeDeadOnEndOfFunction(NodeBuilderContext& BC, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
416 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
482 VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, ExplodedNodeSet &dst) argument
510 evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, const CallEvent &Call) argument
574 conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
590 mayInlineCallKind(const CallEvent &Call, const ExplodedNode *Pred, AnalyzerOptions &Opts) argument
800 shouldInlineCall(const CallEvent &Call, const Decl *D, const ExplodedNode *Pred) argument
900 defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, const CallEvent &CallTemplate) argument
951 BifurcateCall(const MemRegion *BifurReg, const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred) argument
991 VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
[all...]
H A DExprEngineObjC.cpp23 ExplodedNode *Pred,
25 ProgramStateRef state = Pred->getState();
26 const LocationContext *LCtx = Pred->getLocationContext();
31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
40 ExplodedNode *Pred,
42 getCheckerManager().runCheckersForPreStmt(Dst, Pred, S, *this);
46 ExplodedNode *Pred,
75 ProgramStateRef state = Pred->getState();
81 elementV = state->getLValue(elemD, Pred
22 VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
39 VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
45 VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
135 VisitObjCMessage(const ObjCMessageExpr *ME, ExplodedNode *Pred, ExplodedNodeSet &Dst) argument
156 ExplodedNode *Pred = *DI; local
[all...]
/external/libcxx/test/algorithms/alg.modifying.operations/alg.copy/
H A Dcopy_if.pass.cpp13 // Predicate<auto, InIter::value_type> Pred>
14 // requires CopyConstructible<Pred>
16 // copy_if(InIter first, InIter last, OutIter result, Pred pred);
23 struct Pred struct
38 OutIter r = std::copy_if(InIter(ia), InIter(ia+N), OutIter(ib), Pred());
/external/libcxx/test/thread/thread.condition/thread.condition.condvar/
H A Dwait_for_pred.pass.cpp26 class Pred class
30 explicit Pred(int& i) : i_(i) {} function in class:Pred
52 bool r = cv.wait_for(lk, milliseconds(250), Pred(test2));
H A Dwait_pred.pass.cpp29 class Pred class
33 explicit Pred(int& i) : i_(i) {} function in class:Pred
44 cv.wait(lk, Pred(test2));
H A Dwait_until_pred.pass.cpp43 class Pred class
47 explicit Pred(int& i) : i_(i) {} function in class:Pred
68 bool r = cv.wait_until(lk, t, Pred(test2));
/external/libcxx/test/thread/thread.condition/thread.condition.condvarany/
H A Dwait_for_pred.pass.cpp25 class Pred class
29 explicit Pred(int& i) : i_(i) {} function in class:Pred
55 bool r = cv.wait_for(lk, milliseconds(250), Pred(test2));
H A Dwait_pred.pass.cpp33 class Pred class
37 explicit Pred(int& i) : i_(i) {} function in class:Pred
48 cv.wait(lk, Pred(test2));

Completed in 2315 milliseconds

12345