reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1912 SVal s1Val = state->getSVal(s1, LCtx); 1913 state = checkNonNull(C, state, s1, s1Val, 1); 1913 state = checkNonNull(C, state, s1, s1Val, 1); 1914 if (!state) 1919 SVal s2Val = state->getSVal(s2, LCtx); 1920 state = checkNonNull(C, state, s2, s2Val, 2); 1920 state = checkNonNull(C, state, s2, s2Val, 2); 1921 if (!state) 1925 SVal s1Length = getCStringLength(C, state, s1, s1Val); 1930 SVal s2Length = getCStringLength(C, state, s2, s2Val); 1942 DefinedOrUnknownSVal SameBuf = svalBuilder.evalEQ(state, LV, RV); 1944 std::tie(StSameBuf, StNotSameBuf) = state->assume(SameBuf); 1959 state = StNotSameBuf; 1965 const StringLiteral *s1StrLiteral = getCStringLiteral(C, state, s1, s1Val); 1966 const StringLiteral *s2StrLiteral = getCStringLiteral(C, state, s2, s2Val); 1978 SVal lenVal = state->getSVal(lenExpr, LCtx); 1981 if (const llvm::APSInt *len = svalBuilder.getKnownValue(state, lenVal)) { 2017 svalBuilder.evalBinOp(state, op, resultVal, zeroVal, 2020 state = state->assume(compareWithZeroVal, true); 2020 state = state->assume(compareWithZeroVal, true); 2025 state = state->BindExpr(CE, LCtx, resultVal); 2025 state = state->BindExpr(CE, LCtx, resultVal); 2028 C.addTransition(state);