Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker.cpp

Lines Matching defs:Pred
56   ExplodedNode *MakeNode(const ProgramState *state, ExplodedNode *Pred,
59         return C->generateNode(state, Pred, tag, false, MarkAsSink);
63     ExplodedNode *N = ENB->generateNode(state, Pred);
2444                                 ExplodedNode *Pred, RetEffect RE, RefVal X,
2466                           GenericNodeBuilderRefCount Bd, ExplodedNode *Pred,
2473                              ExplodedNode *Pred = 0) const;
2622   ExplodedNode *Pred = C.getPredecessor();
2628     const LocationContext *LC = Pred->getLocationContext();
3115   ExplodedNode *Pred = C.generateNode(state);
3122   if (!Pred)
3129   llvm::tie(Pred, state) = handleAutoreleaseCounts(state, Bd, Pred,
3133   if (!Pred)
3143   const Decl *CD = &Pred->getCodeDecl();
3151     checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);
3157         checkReturnWithRetEffect(S, C, Pred, Summ->getRetEffect(), X,
3164                                                   ExplodedNode *Pred,
3194         ExplodedNode *N = C.generateNode(state, Pred, &ReturnOwnLeakTag);
3214       ExplodedNode *N = C.generateNode(state, Pred, &ReturnNotOwnedTag);
3335                                             ExplodedNode *Pred, ExprEngine &Eng,
3341     return std::make_pair(Pred, state);
3363     ExplodedNode *N = Bd.MakeNode(state, Pred);
3374   if (ExplodedNode *N = Bd.MakeNode(state, Pred, true)) {
3416                                  ExprEngine &Eng, ExplodedNode *Pred) const {
3418     return Pred;
3421   ExplodedNode *N = Builder.MakeNode(state, Pred);
3429       CFRefBug *BT = Pred ? getLeakWithinFunctionBug(LOpts, GCEnabled)
3447   ExplodedNode *Pred = Builder.getPredecessor();
3450     llvm::tie(Pred, state) = handleAutoreleaseCounts(state, Bd, Pred, Eng,
3462   processLeaks(state, Leaked, Bd, Eng, Pred);
3480   ExplodedNode *Pred = C.getPredecessor();
3493       llvm::tie(Pred, state) = handleAutoreleaseCounts(state, Bd, Pred, Eng,
3511     Pred = processLeaks(state, Leaked, Bd, Eng, Pred);
3515   if (!Pred)
3526   C.generateNode(state, Pred);