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