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 4033a07e5fca459ed184369cfee7c90d82367a93aTed Kremenek// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -DVARIANT -analyzer-checker=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; 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 Kremeneksize_t strnlen(const char *s, size_t maxlen); 147be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 148be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant0() { 149be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123", 10) != 3) 1500fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 151be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 152be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 153be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant1() { 154be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123"; 155be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1560fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 157be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 158be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 159be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant2(char x) { 160be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123"; 161be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1620fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 163be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 164be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 165be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 166be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 167be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 168be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant4() { 169be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123456", 3) != 3) 1700fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 171be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 172be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 173be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant5() { 174be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123456"; 175be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1760fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 177be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 178be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 179be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant6(char x) { 180be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123456"; 181be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1820fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 183be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 184be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 185be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 186be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 187be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 188be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_null() { 1899e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strnlen(0, 3); // expected-warning{{Null pointer argument in call to string length function}} 190be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 191be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 192be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_fn() { 1939e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 194be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 195be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 196be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_nonloc() { 197be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneklabel: 1989e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 199be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 200be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 201793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_zero() { 202793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen("abc", 0) != 0) 2030fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 204793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(NULL, 0) != 0) // no-warning 205793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // no-warning 206793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 207be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 208793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_compound_literal() { 209793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the string lengths of 210793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // compound literals. 211793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen((char[]) { 'a', 'b', 0 }, 1); 212793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 213be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 214793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_unknown_limit(float f) { 215793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the integer values of floats. 216793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen("abc", (int)f); 217793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 218be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 219793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_is_not_strlen(char *x) { 220793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(x, 10) != strlen(x)) 221be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 222be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 223be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 224793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_limit(char *x) { 225793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 226793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 227be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 228793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 10) 229793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 230be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 231be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 232793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_limit(char *x) { 233793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 234793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 235be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 236793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 10) 237793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 238be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 239be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 240793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_actual(size_t limit) { 241793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 242793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 243be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 244793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 3) 245be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 246be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 247be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 248793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_actual(size_t limit) { 249793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 250793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 251793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 252793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 3) 253793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 254be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 255be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 256be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 257e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// strcpy() 258e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 259e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 260e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 261e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 262e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __strcpy_chk BUILTIN(__strcpy_chk) 263e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__strcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 264e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 265e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy(a,b) __strcpy_chk(a,b,(size_t)-1) 266e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 267e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 268e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 269e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy BUILTIN(strcpy) 270e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *strcpy(char *restrict s1, const char *restrict s2); 271e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 272e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 273e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 274e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 275e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_dst(char *x) { 2769e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 277e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 278e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 279e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_src(char *x) { 2809e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 281e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 282e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 283e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_fn(char *x) { 2849e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 285e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 286e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 287e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_effects(char *x, char *y) { 288e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 289e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 290e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strcpy(x, y) != x) 291e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 292e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 293e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 294e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 295e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 296e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 297e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 298e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 299e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 300e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_overflow(char *y) { 301e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 302e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3039e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 304e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 305e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 306e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_no_overflow(char *y) { 307e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 308e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 309e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose strcpy(x, y); // no-warning 310e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 311e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 312e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 313e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// stpcpy() 314e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 315e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 316e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 317e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 318e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __stpcpy_chk BUILTIN(__stpcpy_chk) 319e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__stpcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 320e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 321e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy(a,b) __stpcpy_chk(a,b,(size_t)-1) 322e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 323e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 324e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 325e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy BUILTIN(stpcpy) 326e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *stpcpy(char *restrict s1, const char *restrict s2); 327e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 328e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 329e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 330e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 331e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_effect(char *x, char *y) { 332e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 333e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 334e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (stpcpy(x, y) != &x[strlen(y)]) 335e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 336e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 337e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 338e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 339e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 340e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 341e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 342e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 343e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 344e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_overflow(char *y) { 345e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 346e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3479e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose stpcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 348e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 349e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 350e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_no_overflow(char *y) { 351e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 352e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 353e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose stpcpy(x, y); // no-warning 354e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 355067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 356067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 357067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strcat() 358067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 359067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 360067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 361067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 362067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strcat_chk BUILTIN(__strcat_chk) 363067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strcat_chk(char *restrict s1, const char *restrict s2, size_t destlen); 364067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 365067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat(a,b) __strcat_chk(a,b,(size_t)-1) 366067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 367067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 368067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 369067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat BUILTIN(strcat) 370067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strcat(char *restrict s1, const char *restrict s2); 371067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 372067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 373067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 374067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 375067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_dst(char *x) { 3769e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 377067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 378067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 379067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_src(char *x) { 3809e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 381067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 382067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 383067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_fn(char *x) { 3849e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 385067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 386067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 387067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_effects(char *y) { 388067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 389067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 390067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 391067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 392067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 393067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 394067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 395067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strcat(x, y) != x) 396067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 397067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 398067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if ((int)strlen(x) != (orig_len + strlen(y))) 399067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 400067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 401067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 402067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_0(char *y) { 403067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 404067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 4059e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 406067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 407067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 408067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_1(char *y) { 409067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 410067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 4119e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 412067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 413067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 414067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_2(char *y) { 415067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 416067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 4179e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 418067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 419067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 420067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_no_overflow(char *y) { 421067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 422067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 423067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strcat(x, y); // no-warning 424067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 425067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 426d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_dst_length(char *dst) { 427d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, "1234"); 428d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 429d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 430d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 431d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 432d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_src_length(char *src) { 433d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 434d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); 435d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 436d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 437d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 438d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 439d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_unknown_src_length(char *src, int offset) { 440d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 441d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, &src[offset]); 442d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 443d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 444d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 445d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 446d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// There is no strcat_unknown_dst_length because if we can't get a symbolic 447d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// length for the "before" strlen, we won't be able to set one for "after". 448d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 449d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_too_big(char *dst, char *src) { 450d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) != (((size_t)0) - 2)) 451d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 452d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(src) != 2) 453d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 454d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}} 455d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 456d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 457067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 458067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 4595e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose// strncpy() 4605e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 4615e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4625e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#ifdef VARIANT 4635e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4645e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define __strncpy_chk BUILTIN(__strncpy_chk) 4655e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *__strncpy_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 4665e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4675e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy(a,b,n) __strncpy_chk(a,b,n,(size_t)-1) 4685e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4695e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#else /* VARIANT */ 4705e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4715e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy BUILTIN(strncpy) 4725e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *strncpy(char *restrict s1, const char *restrict s2, size_t n); 4735e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4745e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#endif /* VARIANT */ 4755e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4765e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4775e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_dst(char *x) { 4785e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(NULL, x, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4795e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4805e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4815e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_src(char *x) { 4825e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, NULL, 5); // expected-warning{{Null pointer argument in call to string copy function}} 4835e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4845e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4855e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_fn(char *x) { 4865e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy 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}} 4875e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 4885e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4895e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_effects(char *x, char *y) { 4905e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char a = x[0]; 4915e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4925e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strncpy(x, y, 5) != x) 4935e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // no-warning 4945e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4955e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) != strlen(y)) 4965e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 4975e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4985e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (a != x[0]) 4995e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5005e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5015e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5025e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_overflow(char *y) { 5035e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5045e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5055e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5065e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5075e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5085e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow(char *y) { 5095e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5105e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5115e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5125e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5135e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5145e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow2(char *y, int n) { 5155e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (n <= 4) 5165e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5175e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5185e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5195e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5205e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5215e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5225e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5235e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_truncate(char *y) { 5245e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5255e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5265e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5275e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5285e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5295e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_truncate(char *y) { 5305e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5315e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5325e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5335e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5345e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5355e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer(char *y) { 5365e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5375e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5385e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5395e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // strncpy does not null-terminate, so we have no idea what the strlen is 5405e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // after this. 5415e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 4) 5425e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // expected-warning{{null}} 5435e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5445e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5455e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer2(char *y) { 5465e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) >= 4) 5475e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5485e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5495e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5505e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5515e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5525e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // This time, we know that y fits in x anyway. 5535e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 3) 5545e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // no-warning 5555e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5565e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5575e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 558067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strncat() 559067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 560067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 561067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 562067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 563067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strncat_chk BUILTIN(__strncat_chk) 564067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strncat_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 565067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 566067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat(a,b,c) __strncat_chk(a,b,c, (size_t)-1) 567067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 568067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 569067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 570067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat BUILTIN(strncat) 571067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strncat(char *restrict s1, const char *restrict s2, size_t n); 572067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 573067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 574067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 575067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 576067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_dst(char *x) { 5779e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(NULL, x, 4); // expected-warning{{Null pointer argument in call to string copy function}} 578067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 579067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 580067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_src(char *x) { 5819e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(x, NULL, 4); // expected-warning{{Null pointer argument in call to string copy function}} 582067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 583067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 584067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_fn(char *x) { 5859e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 586067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 587067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 588067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_effects(char *y) { 589067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 590067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 591067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 592067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 593067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 594067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 595067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 596067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strncat(x, y, strlen(y)) != x) 597067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 598067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 599067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(x) != orig_len + strlen(y)) 600067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 601067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 602067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 603067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_0(char *y) { 604067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 605067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6068912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 607067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 608067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 609067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_1(char *y) { 610067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 611067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 6128912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 613067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 614067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 615067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_2(char *y) { 616067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 617067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 6188912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 619067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 620067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 621067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_3(char *y) { 622067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 623067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6248912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 625067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 626067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_1(char *y) { 627067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 628067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 629067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, strlen(y)); // no-warning 630067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 631067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 632067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_2(char *y) { 633067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 634067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 635067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, 1); // no-warning 636067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 637318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 6388912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_dst_length(char *dst) { 6398912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, "1234", 5); 6408912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6418912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6428912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6438912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6448912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_src_length(char *src) { 6458912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6468912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, 3); 6478912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6488912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6498912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6508912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6518912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, src, 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6528912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6538912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6548912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_src_length(char *src, int offset) { 6558912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6568912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, &src[offset], 3); 6578912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6588912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6598912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6608912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6618912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, &src[offset], 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6628912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6638912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6648912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// There is no strncat_unknown_dst_length because if we can't get a symbolic 6658912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// length for the "before" strlen, we won't be able to set one for "after". 6668912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6678912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_limit(unsigned limit) { 6688912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6698912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6708912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, limit); // no-warning 6718912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6728912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6738912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6748912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6758912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6768912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6778912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_limit(float limit) { 6788912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 6798912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 6808912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, (size_t)limit); // no-warning 6818912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6828912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6838912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 6848912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 6858912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6868912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6878912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_too_big(char *dst, char *src) { 6888912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) != (((size_t)0) - 2)) 6898912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 6908912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(src) != 2) 6918912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 6928912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy 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}} 6938912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6948912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 695318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 696318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani// strcmp() 697318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 698318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 699318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani#define strcmp BUILTIN(strcmp) 700adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcmp(const char * s1, const char * s2); 701318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 702318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant0() { 703318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", "123") != 0) 704318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 705318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 706318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 707318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_0() { 708318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 709318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, "123") != 0) 710318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 711318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 712318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 713318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_1() { 714318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 715318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", x) != 0) 716318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 717318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 718318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 719318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_0() { 720318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 721318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 722318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 0) 723318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 724318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 725318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 726318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_1() { 727318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "234"; 728318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 729318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 730318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 731318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 732318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 733318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_2() { 734318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 735318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 736318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 737318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 738318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 739318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 740318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_0() { 741318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = NULL; 742318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 7439e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 744318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 745318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 746318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_1() { 747318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 748318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = NULL; 7499e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 750318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 751318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 752318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_0() { 753318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 754318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 755318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 756318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 757318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 758318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 759318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_1() { 760318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 761318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "23456"; 762318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 763318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 764318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 765318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 766318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_2() { 767318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 768318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 769318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 770318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 771318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 772318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 773318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_3() { 774318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 775318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "12345"; 776318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 777318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 778318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 779318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 780adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_embedded_null () { 781adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp("\0z", "\0y") != 0) 782adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 783adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 784adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 785adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_unknown_arg (char *unknown) { 786adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp(unknown, unknown) != 0) 787adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 788adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 789adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 790357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 791357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani// strncmp() 792357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 793357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 794357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani#define strncmp BUILTIN(strncmp) 795adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncmp(const char *s1, const char *s2, size_t n); 796357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 797357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant0() { 798357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", "123", 3) != 0) 799357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 800357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 801357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 802357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_0() { 803357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 804357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, "123", 3) != 0) 805357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 806357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 807357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 808357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_1() { 809357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 810357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", x, 3) != 0) 811357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 812357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 813357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 814357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_0() { 815357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 816357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 817357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 818357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 819357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 820357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 821357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_1() { 822357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 823357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 824357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 825357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 826357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 827357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 828357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_2() { 829357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 830357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 831357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 832357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 833357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 834357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 835357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_0() { 836357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = NULL; 837357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 8389e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 839357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 840357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 841357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_1() { 842357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 843357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = NULL; 8449e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 845357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 846357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 847357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_0() { 848357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 849357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 850357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 851357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 852357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 853357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 854357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_1() { 855357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 856357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "23456"; 857357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 858357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 859357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 860357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 861357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_2() { 862357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 863357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 864357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != 1) 865357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 866357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 867357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 868357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_3() { 869357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 870357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 871357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 872357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 873357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 874357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 875357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_4() { 876357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 877357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 878357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 879357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 880357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 881357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 882357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_5() { 883357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "012"; 884357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 885357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 886357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 887357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 888357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 889357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_6() { 890357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 891357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 892357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 893357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 894357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 895357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 896adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncmp_embedded_null () { 897adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncmp("ab\0zz", "ab\0yy", 4) != 0) 898adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 899adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 900adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 901bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 902bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani// strcasecmp() 903bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 904bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 905bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani#define strcasecmp BUILTIN(strcasecmp) 906adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcasecmp(const char *s1, const char *s2); 907bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 908bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant0() { 909bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("abc", "Abc") != 0) 910bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 911bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 912bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 913bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_0() { 914bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 915bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, "Abc") != 0) 916bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 917bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 918bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 919bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_1() { 920bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 921bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("Abc", x) != 0) 922bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 923bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 924bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 925bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_0() { 926bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 927bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Abc"; 928bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 0) 929bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 930bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 931bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 932bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_1() { 933bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "Bcd"; 934bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 935bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 936bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 937bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 938bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 939bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_2() { 940bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 941bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Bcd"; 942bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 943bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 944bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 945bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 946bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_0() { 947bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = NULL; 948bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "123"; 9499e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 950bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 951bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 952bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_1() { 953bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "123"; 954bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = NULL; 9559e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 956bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 957bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 958bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_0() { 959bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abcde"; 960bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBd"; 961bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 962bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 963bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 964bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 965bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_1() { 966bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 967bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBdef"; 968bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 969bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 970bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 971bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 972bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_2() { 973bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBcDe"; 974bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 975bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 976bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 977bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 978bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 979bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_3() { 980bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBc"; 981bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abcde"; 982bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 983bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 984bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 985454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 986adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcasecmp_embedded_null () { 987adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcasecmp("ab\0zz", "ab\0yy") != 0) 988adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 989adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 990adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 991454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 992454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani// strncasecmp() 993454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 994454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 995454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani#define strncasecmp BUILTIN(strncasecmp) 996adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncasecmp(const char *s1, const char *s2, size_t n); 997454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 998454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant0() { 999454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("abc", "Abc", 3) != 0) 1000454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1001454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1002454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1003454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_0() { 1004454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1005454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, "Abc", 3) != 0) 1006454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1007454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1008454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1009454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_1() { 1010454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1011454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("Abc", x, 3) != 0) 1012454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1013454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1014454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1015454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_0() { 1016454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1017454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Abc"; 1018454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1019454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1020454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1021454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1022454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_1() { 1023454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "Bcd"; 1024454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1025454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1026454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1027454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1028454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1029454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_2() { 1030454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1031454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Bcd"; 1032454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1033454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1034454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1035454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1036454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_0() { 1037454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = NULL; 1038454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "123"; 10399e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1040454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1041454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1042454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_1() { 1043454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "123"; 1044454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = NULL; 10459e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1046454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1047454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1048454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_0() { 1049454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1050454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1051454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1052454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1053454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1054454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1055454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_1() { 1056454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1057454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBdef"; 1058454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1059454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1060454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1061454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1062454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_2() { 1063454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBcDe"; 1064454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1065454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != 1) 1066454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1067454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1068454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1069454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_3() { 1070454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBc"; 1071454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abcde"; 1072454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1073454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1074454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1075454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1076454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_4() { 1077454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1078454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBc"; 1079454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1080454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1081454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1082454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1083454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_5() { 1084454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1085454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1086454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1087454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1088454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1089454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1090454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_6() { 1091454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBDe"; 1092454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1093454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1094454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1095454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1096adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 1097adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncasecmp_embedded_null () { 1098adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncasecmp("ab\0zz", "ab\0yy", 4) != 0) 1099adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 1100adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 1101