Searched refs:maxlenExpr (Results 1 – 1 of 1) sorted by relevance
1693 const Expr *maxlenExpr = Call.getArgExpr(1); in evalstrLengthCommon() local1694 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()1698 assumeZero(C, state, maxlenVal, maxlenExpr->getType()); in evalstrLengthCommon()1740 const Expr *maxlenExpr = Call.getArgExpr(1); in evalstrLengthCommon() local1741 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()