reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1907 ProgramStateRef state = C.getState(); 1908 const LocationContext *LCtx = C.getLocationContext(); 1913 state = checkNonNull(C, state, s1, s1Val, 1); 1920 state = checkNonNull(C, state, s2, s2Val, 2); 1925 SVal s1Length = getCStringLength(C, state, s1, s1Val); 1930 SVal s2Length = getCStringLength(C, state, s2, s2Val); 1941 SValBuilder &svalBuilder = C.getSValBuilder(); 1951 C.addTransition(StSameBuf); 1965 const StringLiteral *s1StrLiteral = getCStringLiteral(C, state, s1, s1Val); 1966 const StringLiteral *s2StrLiteral = getCStringLiteral(C, state, s2, s2Val); 1969 C.blockCount()); 2028 C.addTransition(state);