Home | History | Annotate | Download | only in Checkers

Lines Matching refs:StrVal

1911     SVal StrVal = state->getSVal(Init, C.getLocationContext());
1912     assert(StrVal.isValid() && "Initializer string is unknown or undefined");
1914         getCStringLength(C, state, Init, StrVal).castAs<DefinedOrUnknownSVal>();