Searched refs:resultVal (Results 1 – 1 of 1) sorted by relevance
2357 SVal resultVal = svalBuilder.conjureSymbolVal(nullptr, Call.getOriginExpr(), in evalStrcmpCommon() local2398 resultVal = svalBuilder.makeIntVal(compareRes, Call.getResultType()); in evalStrcmpCommon()2406 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, in evalStrcmpCommon()2414 state = state->BindExpr(Call.getOriginExpr(), LCtx, resultVal); in evalStrcmpCommon()