string.c revision e3d250e488241cbfe71a592df4d07d03ad89434a
1033a07e5fca459ed184369cfee7c90d82367a93aTed Kremenek// RUN: %clang_cc1 -analyze -analyzer-checker=core,experimental.unix.CString,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 2033a07e5fca459ed184369cfee7c90d82367a93aTed Kremenek// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -analyzer-checker=core,experimental.unix.CString,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 3033a07e5fca459ed184369cfee7c90d82367a93aTed Kremenek// RUN: %clang_cc1 -analyze -DVARIANT -analyzer-checker=core,experimental.unix.CString,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 4e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -DVARIANT -analyzer-checker=experimental.security.taint,core,experimental.unix.CString,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Declarations 819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 1019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Some functions are so similar to each other that they follow the same code 1119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// path, such as memcpy and __memcpy_chk, or memcmp and bcmp. If VARIANT is 1219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// defined, make sure to use the variants instead to make sure they are still 1319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// checked by the analyzer. 1419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 1519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Some functions are implemented as builtins. These should be #defined as 1619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// BUILTIN(f), which will prepend "__builtin_" if USE_BUILTINS is defined. 1719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 18fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner// Functions that have variants and are also available as builtins should be 1919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// declared carefully! See memcpy() for an example. 2019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 2119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#ifdef USE_BUILTINS 2219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose# define BUILTIN(f) __builtin_ ## f 2319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#else /* USE_BUILTINS */ 2419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose# define BUILTIN(f) f 2519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#endif /* USE_BUILTINS */ 2619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 27e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define NULL 0 2819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosetypedef typeof(sizeof(int)) size_t; 29e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaksint scanf(const char *restrict format, ...); 3019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// strlen() 3319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#define strlen BUILTIN(strlen) 3619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen(const char *s); 3719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant0() { 3919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen("123") != 3) 40a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant1() { 4419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose const char *a = "123"; 4519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 46a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant2(char x) { 5019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose char a[] = "123"; 51a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(a) != 3) 52a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 5319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose a[0] = x; 5419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 5519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose (void)*(char*)0; // expected-warning{{null}} 5619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 5719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 5819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_null() { 599e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen(0); // expected-warning{{Null pointer argument in call to string length function}} 6019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_fn() { 639e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}} 6419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_nonloc() { 6719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Roselabel: 689e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen((char*)&&label); // expected-warning{{Argument to string length function is the address of the label 'label', which is not a null-terminated string}} 6919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 70a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 71a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_subregion() { 72e224ba7e3e604113aa160c379293bcb6425e8f36Carl Norum struct two_strings { char a[2], b[2]; }; 73a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_two_strings(struct two_strings *); 74a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 75a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose struct two_strings z; 76a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 77a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 78a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(z.a); 79a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose z.b[0] = 5; 80a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(z.a); 81a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 82a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 83a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 84a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 85a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 86a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(z.a); 87a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 88a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 89a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 90a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 91a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern void use_string(char *); 92a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_argument(char *x) { 93a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 94a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 95a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 96a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 97a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 98a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(x); 99a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 100a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 101a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 102a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 103a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 104a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 105a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern char global_str[]; 106a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_global() { 107a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(global_str); 108a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(global_str); 109a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 110a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 111a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 112a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose // Call a function with unknown effects, which should invalidate globals. 113a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(0); 114a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 115a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(global_str); 116a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 117a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 118a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 119a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 120a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_indirect(char *x) { 121a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 122a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char *p = x; 123a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char **p2 = &p; 124a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 125a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 126a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 127a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 128a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_string_ptr(char*const*); 129a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string_ptr(p2); 130a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 131a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 132a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 133a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 134a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 135a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 136a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_liveness(const char *x) { 137a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 138a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose return; 139a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 140a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 141a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 142e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 143e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 144be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek// strnlen() 145be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 146be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 147be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen(const char *s, size_t maxlen); 148be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 149be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant0() { 150be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123", 10) != 3) 1510fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 152be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 153be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 154be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant1() { 155be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123"; 156be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1570fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 158be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 159be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 160be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant2(char x) { 161be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123"; 162be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1630fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 164be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 165be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 166be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 167be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 168be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 169be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant4() { 170be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123456", 3) != 3) 1710fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 172be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 173be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 174be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant5() { 175be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123456"; 176be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1770fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 178be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 179be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 180be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant6(char x) { 181be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123456"; 182be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1830fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 184be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 185be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 186be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 187be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 188be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 189be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_null() { 1909e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strnlen(0, 3); // expected-warning{{Null pointer argument in call to string length function}} 191be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 192be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 193be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_fn() { 1949e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strnlen((char*)&strlen_fn, 3); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}} 195be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 196be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 197be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_nonloc() { 198be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneklabel: 1999e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strnlen((char*)&&label, 3); // expected-warning{{Argument to string length function is the address of the label 'label', which is not a null-terminated string}} 200be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 201be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 202793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_zero() { 203793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen("abc", 0) != 0) 2040fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 205793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(NULL, 0) != 0) // no-warning 206793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // no-warning 207793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 208be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 209793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_compound_literal() { 210793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the string lengths of 211793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // compound literals. 212793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen((char[]) { 'a', 'b', 0 }, 1); 213793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 214be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 215793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_unknown_limit(float f) { 216793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the integer values of floats. 217793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen("abc", (int)f); 218793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 219be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 220793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_is_not_strlen(char *x) { 221793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(x, 10) != strlen(x)) 222be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 223be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 224be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 225793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_limit(char *x) { 226793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 227793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 228be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 229793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 10) 230793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 231be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 232be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 233793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_limit(char *x) { 234793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 235793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 236be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 237793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 10) 238793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 239be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 240be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 241793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_actual(size_t limit) { 242793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 243793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 244be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 245793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 3) 246be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 247be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 248be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 249793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_actual(size_t limit) { 250793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 251793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 252793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 253793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 3) 254793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 255be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 256be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 257be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 258e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// strcpy() 259e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 260e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 261e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 262e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 263e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __strcpy_chk BUILTIN(__strcpy_chk) 264e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__strcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 265e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 266e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy(a,b) __strcpy_chk(a,b,(size_t)-1) 267e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 268e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 269e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 270e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy BUILTIN(strcpy) 271e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *strcpy(char *restrict s1, const char *restrict s2); 272e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 273e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 274e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 275e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 276e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_dst(char *x) { 2779e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 278e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 279e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 280e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_src(char *x) { 2819e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 282e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 283e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 284e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_fn(char *x) { 2859e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, (char*)&strcpy_fn); // expected-warning{{Argument to string copy function is the address of the function 'strcpy_fn', which is not a null-terminated string}} 286e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 287e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 288e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_effects(char *x, char *y) { 289e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 290e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 291e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strcpy(x, y) != x) 292e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 293e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 294e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 295e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 296e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 297e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 298e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 299e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 300e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 301e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_overflow(char *y) { 302e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 303e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3049e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 305e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 306e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 307e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_no_overflow(char *y) { 308e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 309e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 310e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose strcpy(x, y); // no-warning 311e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 312e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 313e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 314e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// stpcpy() 315e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 316e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 317e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 318e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 319e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __stpcpy_chk BUILTIN(__stpcpy_chk) 320e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__stpcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 321e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 322e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy(a,b) __stpcpy_chk(a,b,(size_t)-1) 323e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 324e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 325e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 326e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy BUILTIN(stpcpy) 327e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *stpcpy(char *restrict s1, const char *restrict s2); 328e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 329e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 330e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 331e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 332e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_effect(char *x, char *y) { 333e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 334e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 335e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (stpcpy(x, y) != &x[strlen(y)]) 336e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 337e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 338e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 339e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 340e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 341e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 342e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 343e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 344e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 345e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_overflow(char *y) { 346e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 347e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3489e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose stpcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 349e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 350e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 351e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_no_overflow(char *y) { 352e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 353e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 354e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose stpcpy(x, y); // no-warning 355e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 356067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 357067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 358067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strcat() 359067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 360067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 361067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 362067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 363067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strcat_chk BUILTIN(__strcat_chk) 364067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strcat_chk(char *restrict s1, const char *restrict s2, size_t destlen); 365067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 366067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat(a,b) __strcat_chk(a,b,(size_t)-1) 367067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 368067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 369067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 370067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat BUILTIN(strcat) 371067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strcat(char *restrict s1, const char *restrict s2); 372067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 373067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 374067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 375067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 376067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_dst(char *x) { 3779e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 378067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 379067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 380067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_src(char *x) { 3819e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 382067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 383067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 384067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_fn(char *x) { 3859e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, (char*)&strcat_fn); // expected-warning{{Argument to string copy function is the address of the function 'strcat_fn', which is not a null-terminated string}} 386067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 387067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 388067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_effects(char *y) { 389067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 390067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 391067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 392067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 393067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 394067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 395067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 396067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strcat(x, y) != x) 397067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 398067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 399067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if ((int)strlen(x) != (orig_len + strlen(y))) 400067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 401067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 402067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 403067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_0(char *y) { 404067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 405067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 4069e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 407067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 408067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 409067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_1(char *y) { 410067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 411067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 4129e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 413067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 414067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 415067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_2(char *y) { 416067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 417067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 4189e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 419067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 420067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 421067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_no_overflow(char *y) { 422067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 423067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 424067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strcat(x, y); // no-warning 425067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 426067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 427d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_dst_length(char *dst) { 428d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, "1234"); 429d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 430d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 431d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 432d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 433d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_src_length(char *src) { 434d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 435d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); 436d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 437d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 438d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 439d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 440e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaksvoid strcat_symbolic_dst_length_taint(char *dst) { 441e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks scanf("%s", dst); // Taint data. 442e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks strcat(dst, "1234"); 443e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks if (strlen(dst) < 4) 444e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks (void)*(char*)0; // no-warning 445e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks} 446e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks 447d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_unknown_src_length(char *src, int offset) { 448d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 449d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, &src[offset]); 450d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 451d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 452d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 453d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 454d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// There is no strcat_unknown_dst_length because if we can't get a symbolic 455d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// length for the "before" strlen, we won't be able to set one for "after". 456d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 457d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_too_big(char *dst, char *src) { 458d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) != (((size_t)0) - 2)) 459d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 460d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(src) != 2) 461d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 462d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}} 463d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 464d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 465067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 466067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 4675e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose// strncpy() 4685e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 4695e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4705e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#ifdef VARIANT 4715e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4725e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define __strncpy_chk BUILTIN(__strncpy_chk) 4735e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *__strncpy_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 4745e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4755e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy(a,b,n) __strncpy_chk(a,b,n,(size_t)-1) 4765e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4775e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#else /* VARIANT */ 4785e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4795e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy BUILTIN(strncpy) 4805e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *strncpy(char *restrict s1, const char *restrict s2, size_t n); 4815e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4825e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#endif /* VARIANT */ 4835e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4845e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4855e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_dst(char *x) { 4865e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(NULL, x, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4875e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4885e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4895e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_src(char *x) { 4905e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, NULL, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4915e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4925e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4935e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_fn(char *x) { 4945e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, (char*)&strcpy_fn, 5); // expected-warning{{Argument to string copy function is the address of the function 'strcpy_fn', which is not a null-terminated string}} 4955e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4965e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4975e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_effects(char *x, char *y) { 4985e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char a = x[0]; 4995e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5005e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strncpy(x, y, 5) != x) 5015e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // no-warning 5025e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5035e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) != strlen(y)) 5045e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5055e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5065e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (a != x[0]) 5075e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5085e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5095e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5105e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_overflow(char *y) { 5115e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5125e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5135e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5145e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5155e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5165e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow(char *y) { 5175e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5185e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5195e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5205e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5215e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5225e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow2(char *y, int n) { 5235e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (n <= 4) 5245e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5255e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5265e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5275e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5285e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5295e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5305e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5315e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_truncate(char *y) { 5325e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5335e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5345e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5355e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5365e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5375e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_truncate(char *y) { 5385e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5395e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5405e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5415e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5425e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5435e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer(char *y) { 5445e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5455e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5465e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5475e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // strncpy does not null-terminate, so we have no idea what the strlen is 5485e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // after this. 5495e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 4) 5505e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // expected-warning{{null}} 5515e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5525e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5535e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer2(char *y) { 5545e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) >= 4) 5555e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5565e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5575e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5585e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5595e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5605e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // This time, we know that y fits in x anyway. 5615e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 3) 5625e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // no-warning 5635e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5645e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5655e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 566067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strncat() 567067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 568067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 569067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 570067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 571067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strncat_chk BUILTIN(__strncat_chk) 572067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strncat_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 573067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 574067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat(a,b,c) __strncat_chk(a,b,c, (size_t)-1) 575067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 576067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 577067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 578067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat BUILTIN(strncat) 579067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strncat(char *restrict s1, const char *restrict s2, size_t n); 580067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 581067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 582067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 583067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 584067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_dst(char *x) { 5859e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(NULL, x, 4); // expected-warning{{Null pointer argument in call to string copy function}} 586067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 587067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 588067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_src(char *x) { 5899e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(x, NULL, 4); // expected-warning{{Null pointer argument in call to string copy function}} 590067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 591067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 592067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_fn(char *x) { 5939e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(x, (char*)&strncat_fn, 4); // expected-warning{{Argument to string copy function is the address of the function 'strncat_fn', which is not a null-terminated string}} 594067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 595067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 596067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_effects(char *y) { 597067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 598067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 599067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 600067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 601067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 602067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 603067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 604067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strncat(x, y, strlen(y)) != x) 605067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 606067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 607067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(x) != orig_len + strlen(y)) 608067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 609067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 610067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 611067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_0(char *y) { 612067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 613067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6148912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 615067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 616067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 617067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_1(char *y) { 618067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 619067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 6208912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 621067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 622067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 623067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_2(char *y) { 624067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 625067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 6268912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 627067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 628067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 629067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_3(char *y) { 630067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 631067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6328912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 633067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 634067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_1(char *y) { 635067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 636067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 637067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, strlen(y)); // no-warning 638067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 639067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 640067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_2(char *y) { 641067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 642067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 643067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, 1); // no-warning 644067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 645318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 6468912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_dst_length(char *dst) { 6478912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, "1234", 5); 6488912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6498912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6508912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6518912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6528912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_src_length(char *src) { 6538912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6548912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, 3); 6558912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6568912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6578912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6588912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6598912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, src, 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6608912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6618912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6628912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_src_length(char *src, int offset) { 6638912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6648912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, &src[offset], 3); 6658912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6668912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6678912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6688912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6698912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, &src[offset], 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6708912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6718912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6728912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// There is no strncat_unknown_dst_length because if we can't get a symbolic 6738912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// length for the "before" strlen, we won't be able to set one for "after". 6748912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6758912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_limit(unsigned limit) { 6768912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6778912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6788912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, limit); // no-warning 6798912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6808912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6818912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6828912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6838912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6848912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6858912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_limit(float limit) { 6868912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6878912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6888912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, (size_t)limit); // no-warning 6898912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6908912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6918912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6928912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6938912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6948912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6958912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_too_big(char *dst, char *src) { 6968912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) != (((size_t)0) - 2)) 6978912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 6988912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(src) != 2) 6998912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 7008912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, 2); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}} 7018912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 7028912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 703318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 704318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani// strcmp() 705318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 706318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 707318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani#define strcmp BUILTIN(strcmp) 708adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcmp(const char * s1, const char * s2); 709318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 710318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant0() { 711318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", "123") != 0) 712318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 713318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 714318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 715318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_0() { 716318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 717318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, "123") != 0) 718318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 719318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 720318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 721318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_1() { 722318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 723318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", x) != 0) 724318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 725318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 726318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 727318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_0() { 728318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 729318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 730318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 0) 731318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 732318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 733318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 734318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_1() { 735318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "234"; 736318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 737318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 738318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 739318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 740318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 741318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_2() { 742318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 743318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 744318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 745318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 746318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 747318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 748318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_0() { 749318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = NULL; 750318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 7519e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 752318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 753318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 754318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_1() { 755318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 756318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = NULL; 7579e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 758318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 759318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 760318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_0() { 761318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 762318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 763318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 764318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 765318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 766318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 767318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_1() { 768318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 769318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "23456"; 770318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 771318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 772318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 773318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 774318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_2() { 775318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 776318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 777318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 778318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 779318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 780318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 781318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_3() { 782318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 783318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "12345"; 784318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 785318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 786318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 787318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 788adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_embedded_null () { 789adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp("\0z", "\0y") != 0) 790adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 791adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 792adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 793adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_unknown_arg (char *unknown) { 794adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp(unknown, unknown) != 0) 795adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 796adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 797adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 798357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 799357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani// strncmp() 800357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 801357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 802357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani#define strncmp BUILTIN(strncmp) 803adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncmp(const char *s1, const char *s2, size_t n); 804357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 805357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant0() { 806357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", "123", 3) != 0) 807357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 808357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 809357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 810357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_0() { 811357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 812357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, "123", 3) != 0) 813357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 814357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 815357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 816357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_1() { 817357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 818357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", x, 3) != 0) 819357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 820357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 821357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 822357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_0() { 823357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 824357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 825357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 826357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 827357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 828357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 829357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_1() { 830357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 831357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 832357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 833357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 834357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 835357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 836357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_2() { 837357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 838357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 839357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 840357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 841357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 842357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 843357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_0() { 844357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = NULL; 845357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 8469e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 847357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 848357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 849357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_1() { 850357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 851357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = NULL; 8529e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 853357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 854357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 855357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_0() { 856357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 857357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 858357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 859357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 860357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 861357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 862357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_1() { 863357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 864357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "23456"; 865357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 866357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 867357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 868357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 869357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_2() { 870357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 871357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 872357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != 1) 873357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 874357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 875357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 876357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_3() { 877357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 878357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 879357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 880357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 881357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 882357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 883357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_4() { 884357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 885357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 886357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 887357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 888357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 889357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 890357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_5() { 891357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "012"; 892357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 893357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 894357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 895357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 896357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 897357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_6() { 898357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 899357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 900357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 901357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 902357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 903357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 904adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncmp_embedded_null () { 905adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncmp("ab\0zz", "ab\0yy", 4) != 0) 906adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 907adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 908adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 909bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 910bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani// strcasecmp() 911bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 912bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 913bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani#define strcasecmp BUILTIN(strcasecmp) 914adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcasecmp(const char *s1, const char *s2); 915bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 916bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant0() { 917bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("abc", "Abc") != 0) 918bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 919bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 920bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 921bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_0() { 922bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 923bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, "Abc") != 0) 924bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 925bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 926bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 927bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_1() { 928bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 929bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("Abc", x) != 0) 930bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 931bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 932bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 933bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_0() { 934bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 935bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Abc"; 936bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 0) 937bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 938bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 939bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 940bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_1() { 941bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "Bcd"; 942bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 943bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 944bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 945bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 946bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 947bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_2() { 948bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 949bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Bcd"; 950bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 951bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 952bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 953bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 954bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_0() { 955bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = NULL; 956bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "123"; 9579e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 958bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 959bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 960bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_1() { 961bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "123"; 962bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = NULL; 9639e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 964bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 965bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 966bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_0() { 967bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abcde"; 968bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBd"; 969bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 970bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 971bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 972bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 973bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_1() { 974bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 975bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBdef"; 976bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 977bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 978bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 979bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 980bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_2() { 981bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBcDe"; 982bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 983bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 984bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 985bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 986bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 987bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_3() { 988bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBc"; 989bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abcde"; 990bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 991bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 992bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 993454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 994adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcasecmp_embedded_null () { 995adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcasecmp("ab\0zz", "ab\0yy") != 0) 996adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 997adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 998adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 999454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 1000454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani// strncasecmp() 1001454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 1002454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1003454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani#define strncasecmp BUILTIN(strncasecmp) 1004adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncasecmp(const char *s1, const char *s2, size_t n); 1005454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1006454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant0() { 1007454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("abc", "Abc", 3) != 0) 1008454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1009454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1010454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1011454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_0() { 1012454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1013454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, "Abc", 3) != 0) 1014454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1015454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1016454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1017454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_1() { 1018454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1019454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("Abc", x, 3) != 0) 1020454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1021454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1022454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1023454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_0() { 1024454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1025454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Abc"; 1026454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1027454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1028454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1029454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1030454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_1() { 1031454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "Bcd"; 1032454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1033454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1034454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1035454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1036454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1037454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_2() { 1038454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1039454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Bcd"; 1040454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1041454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1042454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1043454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1044454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_0() { 1045454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = NULL; 1046454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "123"; 10479e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1048454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1049454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1050454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_1() { 1051454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "123"; 1052454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = NULL; 10539e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1054454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1055454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1056454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_0() { 1057454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1058454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1059454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1060454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1061454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1062454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1063454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_1() { 1064454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1065454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBdef"; 1066454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1067454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1068454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1069454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1070454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_2() { 1071454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBcDe"; 1072454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1073454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != 1) 1074454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1075454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1076454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1077454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_3() { 1078454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBc"; 1079454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abcde"; 1080454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1081454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1082454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1083454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1084454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_4() { 1085454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1086454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBc"; 1087454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1088454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1089454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1090454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1091454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_5() { 1092454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1093454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1094454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1095454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1096454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1097454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1098454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_6() { 1099454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBDe"; 1100454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1101454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1102454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1103454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1104adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 1105adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncasecmp_embedded_null () { 1106adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncasecmp("ab\0zz", "ab\0yy", 4) != 0) 1107adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 1108adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 1109