string.c revision 8912aaedb413b15f6dd1d8997d80e1d505f7d52f
1467f7c8ba2b3c3b65065d05323696ded5d8a93a9Jordy Rose// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.experimental.CString,deadcode.experimental.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 2467f7c8ba2b3c3b65065d05323696ded5d8a93a9Jordy Rose// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -analyzer-checker=core,unix.experimental.CString,deadcode.experimental.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 3467f7c8ba2b3c3b65065d05323696ded5d8a93a9Jordy Rose// RUN: %clang_cc1 -analyze -DVARIANT -analyzer-checker=core,unix.experimental.CString,deadcode.experimental.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 4467f7c8ba2b3c3b65065d05323696ded5d8a93a9Jordy Rose// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -DVARIANT -analyzer-checker=core,unix.experimental.CString,deadcode.experimental.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; 2919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// strlen() 3219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#define strlen BUILTIN(strlen) 3519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen(const char *s); 3619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant0() { 3819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen("123") != 3) 39a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant1() { 4319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose const char *a = "123"; 4419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 45a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant2(char x) { 4919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose char a[] = "123"; 50a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(a) != 3) 51a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 5219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose a[0] = x; 5319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 5419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose (void)*(char*)0; // expected-warning{{null}} 5519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 5619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 5719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_null() { 589e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen(0); // expected-warning{{Null pointer argument in call to string length function}} 5919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_fn() { 629e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 6319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_nonloc() { 6619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Roselabel: 679e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 6819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 69a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 70a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_subregion() { 71e224ba7e3e604113aa160c379293bcb6425e8f36Carl Norum struct two_strings { char a[2], b[2]; }; 72a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_two_strings(struct two_strings *); 73a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 74a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose struct two_strings z; 75a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 76a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 77a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(z.a); 78a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose z.b[0] = 5; 79a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(z.a); 80a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 81a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 82a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 83a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 84a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 85a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(z.a); 86a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 87a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 88a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 89a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 90a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern void use_string(char *); 91a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_argument(char *x) { 92a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 93a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 94a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 95a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 96a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 97a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(x); 98a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 99a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 100a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 101a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 102a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 103a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 104a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern char global_str[]; 105a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_global() { 106a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(global_str); 107a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(global_str); 108a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 109a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 110a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 111a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose // Call a function with unknown effects, which should invalidate globals. 112a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(0); 113a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 114a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(global_str); 115a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 116a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 117a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 118a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 119a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_indirect(char *x) { 120a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 121a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char *p = x; 122a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char **p2 = &p; 123a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 124a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 125a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 126a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 127a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_string_ptr(char*const*); 128a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string_ptr(p2); 129a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 130a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 131a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 132a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 133a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 134a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 135a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_liveness(const char *x) { 136a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 137a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose return; 138a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 139a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 140a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 141e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 142e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 143be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek// strnlen() 144be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 145be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 146be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek#define strnlen BUILTIN(strnlen) 147be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen(const char *s, size_t maxlen); 148be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 149be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant0() { 150be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123", 10) != 3) 151be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 152be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 153be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 154be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant1() { 155be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123"; 156be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 157be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 158be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 159be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 160be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant2(char x) { 161be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123"; 162be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 163be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 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) 171be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 172be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 173be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 174be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant5() { 175be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123456"; 176be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 177be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 178be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 179be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 180be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant6(char x) { 181be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123456"; 182be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 183be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // no-warning 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) 204793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // no-warning 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 440d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_unknown_src_length(char *src, int offset) { 441d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 442d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, &src[offset]); 443d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 444d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 445d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 446d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 447d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// There is no strcat_unknown_dst_length because if we can't get a symbolic 448d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// length for the "before" strlen, we won't be able to set one for "after". 449d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 450d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_too_big(char *dst, char *src) { 451d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) != (((size_t)0) - 2)) 452d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 453d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(src) != 2) 454d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 455d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}} 456d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 457d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 458067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 459067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 4605e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose// strncpy() 4615e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 4625e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4635e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#ifdef VARIANT 4645e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4655e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define __strncpy_chk BUILTIN(__strncpy_chk) 4665e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *__strncpy_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 4675e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4685e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy(a,b,n) __strncpy_chk(a,b,n,(size_t)-1) 4695e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4705e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#else /* VARIANT */ 4715e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4725e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy BUILTIN(strncpy) 4735e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *strncpy(char *restrict s1, const char *restrict s2, size_t n); 4745e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4755e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#endif /* VARIANT */ 4765e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4775e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4785e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_dst(char *x) { 4795e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(NULL, x, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4805e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4815e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4825e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_src(char *x) { 4835e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, NULL, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4845e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4855e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4865e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_fn(char *x) { 4875e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy 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}} 4885e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4895e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4905e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_effects(char *x, char *y) { 4915e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char a = x[0]; 4925e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4935e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strncpy(x, y, 5) != x) 4945e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // no-warning 4955e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4965e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) != strlen(y)) 4975e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 4985e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4995e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (a != x[0]) 5005e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5015e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5025e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5035e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_overflow(char *y) { 5045e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5055e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5065e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5075e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5085e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5095e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow(char *y) { 5105e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5115e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5125e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5135e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5145e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5155e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow2(char *y, int n) { 5165e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (n <= 4) 5175e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5185e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5195e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5205e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5215e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5225e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5235e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5245e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_truncate(char *y) { 5255e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5265e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5275e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5285e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5295e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5305e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_truncate(char *y) { 5315e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5325e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5335e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5345e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5355e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5365e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer(char *y) { 5375e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5385e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5395e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5405e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // strncpy does not null-terminate, so we have no idea what the strlen is 5415e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // after this. 5425e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 4) 5435e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // expected-warning{{null}} 5445e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5455e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5465e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer2(char *y) { 5475e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) >= 4) 5485e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5495e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5505e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5515e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5525e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5535e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // This time, we know that y fits in x anyway. 5545e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 3) 5555e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // no-warning 5565e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5575e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5585e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 559067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strncat() 560067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 561067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 562067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 563067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 564067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strncat_chk BUILTIN(__strncat_chk) 565067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strncat_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 566067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 567067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat(a,b,c) __strncat_chk(a,b,c, (size_t)-1) 568067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 569067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 570067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 571067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat BUILTIN(strncat) 572067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strncat(char *restrict s1, const char *restrict s2, size_t n); 573067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 574067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 575067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 576067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 577067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_dst(char *x) { 5789e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(NULL, x, 4); // expected-warning{{Null pointer argument in call to string copy function}} 579067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 580067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 581067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_src(char *x) { 5829e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(x, NULL, 4); // expected-warning{{Null pointer argument in call to string copy function}} 583067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 584067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 585067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_fn(char *x) { 5869e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 587067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 588067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 589067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_effects(char *y) { 590067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 591067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 592067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 593067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 594067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 595067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 596067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 597067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strncat(x, y, strlen(y)) != x) 598067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 599067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 600067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(x) != orig_len + strlen(y)) 601067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 602067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 603067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 604067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_0(char *y) { 605067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 606067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6078912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 608067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 609067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 610067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_1(char *y) { 611067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 612067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 6138912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 614067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 615067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 616067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_2(char *y) { 617067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 618067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 6198912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 620067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 621067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 622067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_3(char *y) { 623067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 624067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6258912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 626067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 627067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_1(char *y) { 628067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 629067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 630067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, strlen(y)); // no-warning 631067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 632067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 633067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_2(char *y) { 634067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 635067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 636067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, 1); // no-warning 637067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 638318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 6398912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_dst_length(char *dst) { 6408912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, "1234", 5); 6418912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6428912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6438912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6448912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6458912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_src_length(char *src) { 6468912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6478912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, 3); 6488912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6498912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6508912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6518912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6528912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, src, 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6538912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6548912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6558912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_src_length(char *src, int offset) { 6568912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6578912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, &src[offset], 3); 6588912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6598912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6608912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6618912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6628912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, &src[offset], 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6638912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6648912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6658912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// There is no strncat_unknown_dst_length because if we can't get a symbolic 6668912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// length for the "before" strlen, we won't be able to set one for "after". 6678912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6688912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_limit(unsigned limit) { 6698912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6708912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6718912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, limit); // no-warning 6728912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6738912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6748912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6758912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6768912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6778912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6788912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_limit(float limit) { 6798912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6808912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6818912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, (size_t)limit); // no-warning 6828912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6838912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6848912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6858912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6868912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6878912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6888912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_too_big(char *dst, char *src) { 6898912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) != (((size_t)0) - 2)) 6908912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 6918912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(src) != 2) 6928912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 6938912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy 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}} 6948912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6958912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 696318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 697318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani// strcmp() 698318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 699318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 700318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani#define strcmp BUILTIN(strcmp) 701adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcmp(const char * s1, const char * s2); 702318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 703318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant0() { 704318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", "123") != 0) 705318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 706318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 707318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 708318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_0() { 709318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 710318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, "123") != 0) 711318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 712318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 713318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 714318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_1() { 715318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 716318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", x) != 0) 717318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 718318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 719318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 720318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_0() { 721318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 722318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 723318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 0) 724318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 725318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 726318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 727318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_1() { 728318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "234"; 729318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 730318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 731318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 732318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 733318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 734318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_2() { 735318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 736318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 737318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 738318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 739318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 740318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 741318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_0() { 742318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = NULL; 743318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 7449e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 745318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 746318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 747318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_1() { 748318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 749318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = NULL; 7509e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 751318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 752318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 753318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_0() { 754318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 755318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 756318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 757318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 758318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 759318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 760318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_1() { 761318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 762318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "23456"; 763318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 764318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 765318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 766318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 767318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_2() { 768318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 769318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 770318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 771318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 772318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 773318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 774318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_3() { 775318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 776318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "12345"; 777318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 778318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 779318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 780318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 781adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_embedded_null () { 782adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp("\0z", "\0y") != 0) 783adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 784adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 785adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 786adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_unknown_arg (char *unknown) { 787adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp(unknown, unknown) != 0) 788adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 789adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 790adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 791357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 792357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani// strncmp() 793357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 794357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 795357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani#define strncmp BUILTIN(strncmp) 796adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncmp(const char *s1, const char *s2, size_t n); 797357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 798357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant0() { 799357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", "123", 3) != 0) 800357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 801357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 802357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 803357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_0() { 804357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 805357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, "123", 3) != 0) 806357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 807357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 808357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 809357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_1() { 810357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 811357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", x, 3) != 0) 812357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 813357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 814357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 815357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_0() { 816357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 817357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 818357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 819357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 820357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 821357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 822357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_1() { 823357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 824357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 825357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 826357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 827357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 828357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 829357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_2() { 830357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 831357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 832357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 833357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 834357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 835357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 836357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_0() { 837357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = NULL; 838357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 8399e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 840357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 841357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 842357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_1() { 843357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 844357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = NULL; 8459e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 846357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 847357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 848357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_0() { 849357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 850357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 851357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 852357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 853357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 854357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 855357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_1() { 856357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 857357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "23456"; 858357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 859357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 860357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 861357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 862357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_2() { 863357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 864357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 865357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != 1) 866357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 867357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 868357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 869357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_3() { 870357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 871357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 872357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 873357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 874357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 875357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 876357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_4() { 877357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 878357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 879357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 880357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 881357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 882357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 883357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_5() { 884357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "012"; 885357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 886357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 887357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 888357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 889357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 890357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_6() { 891357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 892357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 893357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 894357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 895357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 896357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 897adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncmp_embedded_null () { 898adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncmp("ab\0zz", "ab\0yy", 4) != 0) 899adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 900adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 901adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 902bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 903bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani// strcasecmp() 904bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 905bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 906bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani#define strcasecmp BUILTIN(strcasecmp) 907adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcasecmp(const char *s1, const char *s2); 908bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 909bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant0() { 910bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("abc", "Abc") != 0) 911bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 912bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 913bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 914bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_0() { 915bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 916bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, "Abc") != 0) 917bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 918bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 919bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 920bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_1() { 921bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 922bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("Abc", x) != 0) 923bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 924bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 925bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 926bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_0() { 927bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 928bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Abc"; 929bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 0) 930bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 931bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 932bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 933bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_1() { 934bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "Bcd"; 935bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 936bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 937bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 938bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 939bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 940bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_2() { 941bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 942bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Bcd"; 943bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 944bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 945bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 946bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 947bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_0() { 948bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = NULL; 949bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "123"; 9509e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 951bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 952bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 953bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_1() { 954bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "123"; 955bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = NULL; 9569e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 957bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 958bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 959bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_0() { 960bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abcde"; 961bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBd"; 962bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 963bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 964bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 965bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 966bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_1() { 967bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 968bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBdef"; 969bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 970bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 971bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 972bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 973bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_2() { 974bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBcDe"; 975bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 976bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 977bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 978bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 979bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 980bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_3() { 981bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBc"; 982bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abcde"; 983bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 984bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 985bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 986454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 987adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcasecmp_embedded_null () { 988adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcasecmp("ab\0zz", "ab\0yy") != 0) 989adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 990adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 991adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 992454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 993454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani// strncasecmp() 994454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 995454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 996454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani#define strncasecmp BUILTIN(strncasecmp) 997adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncasecmp(const char *s1, const char *s2, size_t n); 998454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 999454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant0() { 1000454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("abc", "Abc", 3) != 0) 1001454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1002454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1003454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1004454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_0() { 1005454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1006454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, "Abc", 3) != 0) 1007454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1008454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1009454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1010454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_1() { 1011454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1012454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("Abc", x, 3) != 0) 1013454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1014454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1015454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1016454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_0() { 1017454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1018454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Abc"; 1019454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1020454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1021454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1022454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1023454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_1() { 1024454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "Bcd"; 1025454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1026454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1027454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1028454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1029454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1030454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_2() { 1031454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1032454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Bcd"; 1033454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1034454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1035454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1036454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1037454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_0() { 1038454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = NULL; 1039454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "123"; 10409e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1041454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1042454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1043454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_1() { 1044454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "123"; 1045454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = NULL; 10469e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1047454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1048454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1049454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_0() { 1050454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1051454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1052454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1053454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1054454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1055454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1056454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_1() { 1057454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1058454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBdef"; 1059454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1060454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1061454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1062454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1063454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_2() { 1064454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBcDe"; 1065454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1066454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != 1) 1067454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1068454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1069454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1070454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_3() { 1071454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBc"; 1072454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abcde"; 1073454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1074454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1075454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1076454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1077454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_4() { 1078454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1079454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBc"; 1080454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1081454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1082454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1083454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1084454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_5() { 1085454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1086454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1087454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1088454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1089454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1090454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1091454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_6() { 1092454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBDe"; 1093454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1094454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1095454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1096454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1097adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 1098adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncasecmp_embedded_null () { 1099adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncasecmp("ab\0zz", "ab\0yy", 4) != 0) 1100adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 1101adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 1102