reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1154 ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
1158 C.addTransition(assumeExprIsNonNull(E, C.getState(), C)); 1211 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); 1223 State = assumeExprIsNonNull(M.getOriginExpr(), State, C); 1231 State = assumeExprIsNonNull(M.getOriginExpr(), State, C);