Searched refs:lenExpr (Results 1 – 2 of 2) sorted by relevance
225 final int lenExpr = endExpr - startExpr; in search() local226 final InstructionHandle[] match = getMatch(startExpr, lenExpr); in search()
1458 const Expr *lenExpr = CE->getArg(2); in evalStrcpyCommon() local1459 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcpyCommon()1462 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType()); in evalStrcpyCommon()1550 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1849 const Expr *lenExpr = CE->getArg(2); in evalStrcmpCommon() local1850 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()