Lines Matching defs:s2
1061 // int memcmp(const void *s1, const void *s2, size_t n);
1307 //char *strcat(char *restrict s1, const char *restrict s2);
1318 //char *strncat(char *restrict s1, const char *restrict s2, size_t n);
1655 //int strcmp(const char *s1, const char *s2);
1663 //int strncmp(const char *s1, const char *s2, size_t n);
1672 //int strcasecmp(const char *s1, const char *s2);
1681 //int strncasecmp(const char *s1, const char *s2, size_t n);
1699 const Expr *s2 = CE->getArg(1);
1700 s2, LCtx);
1701 state = checkNonNull(C, state, s2, s2Val);
1711 SVal s2Length = getCStringLength(C, state, s2, s2Val);
1747 const StringLiteral *s2StrLiteral = getCStringLiteral(C, state, s2, s2Val);
