reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1188 ProgramStateRef State = C.getState(); 1191 ASTContext &Ctx = C.getASTContext(); 1208 if (!C.inTopFrame() && M.getDecl() && 1211 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); 1223 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); 1231 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); 1235 C.addTransition(State);