Home | History | Annotate | Download | only in Checkers

Lines Matching refs:getOriginExpr

1015   const Expr *MsgExpr = M.getOriginExpr();
1115       State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1127         State = assumeExprIsNonNull(M.getOriginExpr(), State, C);
1135         State = assumeExprIsNonNull(M.getOriginExpr(), State, C);