Searched refs:s1Val (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CStringChecker.cpp | 1698 SVal s1Val = state->getSVal(s1, LCtx); in evalStrcmpCommon() local
1699 state = checkNonNull(C, state, s1, s1Val); in evalStrcmpCommon()
1711 SVal s1Length = getCStringLength(C, state, s1, s1Val); in evalStrcmpCommon()
1723 DefinedOrUnknownSVal LV = s1Val.castAs<DefinedOrUnknownSVal>(); in evalStrcmpCommon()
1751 const StringLiteral *s1StrLiteral = getCStringLiteral(C, state, s1, s1Val); in evalStrcmpCommon()
|