reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
34 ProgramStateRef state = C.getState(); 39 const LocationContext *LCtx = C.getLocationContext(); 56 C.generateSink(C.getState(), C.getPredecessor()); 56 C.generateSink(C.getState(), C.getPredecessor()); 56 C.generateSink(C.getState(), C.getPredecessor()); 60 C.addTransition(state); 74 C.addTransition(state->BindExpr(CE, LCtx, Arg)); 81 MemRegionManager& RM = C.getStoreManager().getRegionManager(); 83 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); 83 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext()); 92 SValBuilder& svalBuilder = C.getSValBuilder(); 99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); 108 SValBuilder &SVB = C.getSValBuilder(); 111 if (CE->EvaluateAsInt(EVResult, C.getASTContext(), Expr::SE_NoSideEffects)) { 127 C.addTransition(state->BindExpr(CE, LCtx, V));