string.c revision 6e4244ee86a2d71af4eac791808f2dc50c7484e6
1bb2a6864f111e13f7905725963649c60c60bf18bAnna Zaks// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.cstring,experimental.unix.cstring,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 2bb2a6864f111e13f7905725963649c60c60bf18bAnna Zaks// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -analyzer-checker=core,unix.cstring,experimental.unix.cstring,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 3bb2a6864f111e13f7905725963649c60c60bf18bAnna Zaks// RUN: %clang_cc1 -analyze -DVARIANT -analyzer-checker=core,unix.cstring,experimental.unix.cstring,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 4bb2a6864f111e13f7905725963649c60c60bf18bAnna Zaks// RUN: %clang_cc1 -analyze -DUSE_BUILTINS -DVARIANT -analyzer-checker=experimental.security.taint,core,unix.cstring,experimental.unix.cstring,experimental.deadcode.UnreachableCode -analyzer-store=region -Wno-null-dereference -verify %s 519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Declarations 819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 1019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Some functions are so similar to each other that they follow the same code 1119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// path, such as memcpy and __memcpy_chk, or memcmp and bcmp. If VARIANT is 1219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// defined, make sure to use the variants instead to make sure they are still 1319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// checked by the analyzer. 1419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 1519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// Some functions are implemented as builtins. These should be #defined as 1619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// BUILTIN(f), which will prepend "__builtin_" if USE_BUILTINS is defined. 1719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 18fc8f0e14ad142ed811e90fbd9a30e419e301c717Chris Lattner// Functions that have variants and are also available as builtins should be 1919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// declared carefully! See memcpy() for an example. 2019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 2119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#ifdef USE_BUILTINS 2219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose# define BUILTIN(f) __builtin_ ## f 2319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#else /* USE_BUILTINS */ 2419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose# define BUILTIN(f) f 2519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#endif /* USE_BUILTINS */ 2619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 27e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define NULL 0 2819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosetypedef typeof(sizeof(int)) size_t; 29e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaksint scanf(const char *restrict format, ...); 3019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose// strlen() 3319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose//===----------------------------------------------------------------------=== 3419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose#define strlen BUILTIN(strlen) 3619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen(const char *s); 3719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 3819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant0() { 3919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen("123") != 3) 40a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant1() { 4419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose const char *a = "123"; 4519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 46a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 4719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 4819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 4919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosevoid strlen_constant2(char x) { 5019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose char a[] = "123"; 51a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(a) != 3) 52a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 5319c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose a[0] = x; 5419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose if (strlen(a) != 3) 5519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose (void)*(char*)0; // expected-warning{{null}} 5619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 5719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 5819c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_null() { 599e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen(0); // expected-warning{{Null pointer argument in call to string length function}} 6019c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6119c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6219c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_fn() { 639e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen((char*)&strlen_fn); // expected-warning{{Argument to string length function is the address of the function 'strlen_fn', which is not a null-terminated string}} 6419c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 6519c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose 6619c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rosesize_t strlen_nonloc() { 6719c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Roselabel: 689e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strlen((char*)&&label); // expected-warning{{Argument to string length function is the address of the label 'label', which is not a null-terminated string}} 6919c5dd120e42b1ba0642309a185c70f4a41aadbdJordy Rose} 70a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 71a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_subregion() { 72e224ba7e3e604113aa160c379293bcb6425e8f36Carl Norum struct two_strings { char a[2], b[2]; }; 73a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_two_strings(struct two_strings *); 74a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 75a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose struct two_strings z; 76a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 77a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 78a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(z.a); 79a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose z.b[0] = 5; 80a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(z.a); 81a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 82a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 83a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 84a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_two_strings(&z); 85a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 86a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(z.a); 87a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 88a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 89a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 90a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 91a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern void use_string(char *); 92a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_argument(char *x) { 93a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 94a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 95a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 96a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 97a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 98a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(x); 99a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 100a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 101a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 102a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 103a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 104a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 105a5261549754fab80e30e893d8fa706bfb31e430aJordy Roseextern char global_str[]; 106a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_global() { 107a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(global_str); 108a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(global_str); 109a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 110a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 111a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 112a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose // Call a function with unknown effects, which should invalidate globals. 113a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string(0); 114a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 115a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(global_str); 116a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 117a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 118a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 119a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 120a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_indirect(char *x) { 121a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t a = strlen(x); 122a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char *p = x; 123a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose char **p2 = &p; 124a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t b = strlen(x); 125a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && b != 0) 126a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 127a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 128a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose extern void use_string_ptr(char*const*); 129a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose use_string_ptr(p2); 130a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 131a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose size_t c = strlen(x); 132a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (a == 0 && c != 0) 133a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // expected-warning{{null}} 134a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 135a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose 1362cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaksvoid strlen_indirect2(char *x) { 1372cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks size_t a = strlen(x); 1382cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks char *p = x; 1392cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks char **p2 = &p; 1402cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks extern void use_string_ptr2(char**); 1412cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks use_string_ptr2(p2); 1422cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks 1432cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks size_t c = strlen(x); 1442cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks if (a == 0 && c != 0) 1452cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks (void)*(char*)0; // expected-warning{{null}} 1462cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks} 1472cbe791d3e9b26f30196c4852da75d9ad67b4ad9Anna Zaks 148a5261549754fab80e30e893d8fa706bfb31e430aJordy Rosevoid strlen_liveness(const char *x) { 149a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 150a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose return; 151a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose if (strlen(x) < 5) 152a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose (void)*(char*)0; // no-warning 153a5261549754fab80e30e893d8fa706bfb31e430aJordy Rose} 154e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 155e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 156be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek// strnlen() 157be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 158be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 159be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen(const char *s, size_t maxlen); 160be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 161be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant0() { 162be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123", 10) != 3) 1630fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 164be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 165be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 166be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant1() { 167be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123"; 168be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1690fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 170be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 171be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 172be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant2(char x) { 173be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123"; 174be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 1750fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 176be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 177be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 10) != 3) 178be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 179be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 180be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 181be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant4() { 182be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen("123456", 3) != 3) 1830fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 184be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 185be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 186be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant5() { 187be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek const char *a = "123456"; 188be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1890fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 190be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 191be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 192be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenekvoid strnlen_constant6(char x) { 193be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek char a[] = "123456"; 194be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 1950fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 196be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek a[0] = x; 197be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek if (strnlen(a, 3) != 3) 198be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 199be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 200be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 201be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_null() { 2029e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose return strnlen(0, 3); // expected-warning{{Null pointer argument in call to string length function}} 203be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 204be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 205be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_fn() { 2069e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 207be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 208be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 209be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneksize_t strnlen_nonloc() { 210be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremeneklabel: 2119e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 212be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 213be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 214793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_zero() { 215793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen("abc", 0) != 0) 2160fa6bf7f021880e625dab018a25877fb0164d038Jordy Rose (void)*(char*)0; // expected-warning{{never executed}} 217793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(NULL, 0) != 0) // no-warning 218793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // no-warning 219793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 220be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 221793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_compound_literal() { 222793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the string lengths of 223793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // compound literals. 224793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen((char[]) { 'a', 'b', 0 }, 1); 225793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 226be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 227793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosesize_t strnlen_unknown_limit(float f) { 228793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose // This used to crash because we don't model the integer values of floats. 229793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose return strnlen("abc", (int)f); 230793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose} 231be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 232793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_is_not_strlen(char *x) { 233793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (strnlen(x, 10) != strlen(x)) 234be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 235be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 236be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 237793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_limit(char *x) { 238793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 239793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 240be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 241793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 10) 242793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 243be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 244be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 245793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_limit(char *x) { 246793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen(x, 10); 247793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 10) 248be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 249793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 10) 250793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 251be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 252be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 253793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_at_actual(size_t limit) { 254793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 255793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 256be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{never executed}} 257793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len == 3) 258be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek (void)*(char*)0; // expected-warning{{null}} 259be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 260be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 261793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rosevoid strnlen_less_than_actual(size_t limit) { 262793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose size_t len = strnlen("abc", limit); 263793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len > 3) 264793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{never executed}} 265793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose if (len < 3) 266793bff3fb7ca2a31e81aa7f4f3f21f921459010bJordy Rose (void)*(char*)0; // expected-warning{{null}} 267be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek} 268be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek 269be4242ce039f0542ea0dd5f234aa0ee698f90c53Ted Kremenek//===----------------------------------------------------------------------=== 270e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// strcpy() 271e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 272e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 273e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 274e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 275e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __strcpy_chk BUILTIN(__strcpy_chk) 276e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__strcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 277e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 278e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy(a,b) __strcpy_chk(a,b,(size_t)-1) 279e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 280e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 281e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 282e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define strcpy BUILTIN(strcpy) 283e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *strcpy(char *restrict s1, const char *restrict s2); 284e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 285e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 286e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 287e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 288e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_dst(char *x) { 2899e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 290e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 291e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 292e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_null_src(char *x) { 2939e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 294e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 295e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 296e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_fn(char *x) { 2979e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 298e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 299e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 300ce8ef16b1c58a304b7b59fad9836ad32d6ed020cAnna Zaksvoid strcpy_fn_const(char *x) { 301ce8ef16b1c58a304b7b59fad9836ad32d6ed020cAnna Zaks strcpy(x, (const 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}} 302ce8ef16b1c58a304b7b59fad9836ad32d6ed020cAnna Zaks} 303ce8ef16b1c58a304b7b59fad9836ad32d6ed020cAnna Zaks 304e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_effects(char *x, char *y) { 305e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 306e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 307e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strcpy(x, y) != x) 308e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 309e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 310e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 311e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 312e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 313e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 314e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 315e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 316e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 317e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_overflow(char *y) { 318e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 319e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3209e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 321e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 322e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 323e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid strcpy_no_overflow(char *y) { 324e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 325e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 326e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose strcpy(x, y); // no-warning 327e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 328e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 329e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 330e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose// stpcpy() 331e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose//===----------------------------------------------------------------------=== 332e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 333e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#ifdef VARIANT 334e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 335e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define __stpcpy_chk BUILTIN(__stpcpy_chk) 336e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *__stpcpy_chk(char *restrict s1, const char *restrict s2, size_t destlen); 337e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 338e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy(a,b) __stpcpy_chk(a,b,(size_t)-1) 339e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 340e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#else /* VARIANT */ 341e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 342e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#define stpcpy BUILTIN(stpcpy) 343e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosechar *stpcpy(char *restrict s1, const char *restrict s2); 344e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 345e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose#endif /* VARIANT */ 346e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 347e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 348e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_effect(char *x, char *y) { 349e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char a = x[0]; 350e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 351e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (stpcpy(x, y) != &x[strlen(y)]) 352e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 353e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 354e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(x) != strlen(y)) 355e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // no-warning 356e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 357e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (a != x[0]) 358e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose (void)*(char*)0; // expected-warning{{null}} 359e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 360e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 361e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_overflow(char *y) { 362e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 363e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 4) 3649e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose stpcpy(x, y); // expected-warning{{String copy function overflows destination buffer}} 365e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 366e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose 367e64f311c11a8751867c2538807054f4817c1f5cbJordy Rosevoid stpcpy_no_overflow(char *y) { 368e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose char x[4]; 369e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose if (strlen(y) == 3) 370e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose stpcpy(x, y); // no-warning 371e64f311c11a8751867c2538807054f4817c1f5cbJordy Rose} 372067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 373067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 374067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strcat() 375067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 376067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 377067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 378067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 379067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strcat_chk BUILTIN(__strcat_chk) 380067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strcat_chk(char *restrict s1, const char *restrict s2, size_t destlen); 381067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 382067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat(a,b) __strcat_chk(a,b,(size_t)-1) 383067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 384067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 385067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 386067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strcat BUILTIN(strcat) 387067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strcat(char *restrict s1, const char *restrict s2); 388067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 389067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 390067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 391067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 392067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_dst(char *x) { 3939e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(NULL, x); // expected-warning{{Null pointer argument in call to string copy function}} 394067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 395067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 396067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_null_src(char *x) { 3979e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, NULL); // expected-warning{{Null pointer argument in call to string copy function}} 398067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 399067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 400067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_fn(char *x) { 4019e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 402067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 403067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 404067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_effects(char *y) { 405067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 406067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 407067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 408067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 409067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 410067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 411067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 412067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strcat(x, y) != x) 413067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 414067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 415067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if ((int)strlen(x) != (orig_len + strlen(y))) 416067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 417067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 418067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 419067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_0(char *y) { 420067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 421067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 4229e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 423067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 424067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 425067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_1(char *y) { 426067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 427067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 4289e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 429067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 430067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 431067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_overflow_2(char *y) { 432067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 433067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 4349e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcat(x, y); // expected-warning{{String copy function overflows destination buffer}} 435067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 436067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 437067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strcat_no_overflow(char *y) { 438067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 439067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 440067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strcat(x, y); // no-warning 441067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 442067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 443d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_dst_length(char *dst) { 444d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, "1234"); 445d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 446d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 447d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 448d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 449d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_symbolic_src_length(char *src) { 450d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 451d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); 452d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 453d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 454d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 455d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 456e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaksvoid strcat_symbolic_dst_length_taint(char *dst) { 457e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks scanf("%s", dst); // Taint data. 458e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks strcat(dst, "1234"); 459e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks if (strlen(dst) < 4) 460e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks (void)*(char*)0; // no-warning 461e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks} 462e3d250e488241cbfe71a592df4d07d03ad89434aAnna Zaks 463d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_unknown_src_length(char *src, int offset) { 464d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose char dst[8] = "1234"; 465d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, &src[offset]); 466d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) < 4) 467d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose (void)*(char*)0; // no-warning 468d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 469d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 470d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// There is no strcat_unknown_dst_length because if we can't get a symbolic 471d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose// length for the "before" strlen, we won't be able to set one for "after". 472d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 473d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rosevoid strcat_too_big(char *dst, char *src) { 474d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(dst) != (((size_t)0) - 2)) 475d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 476d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose if (strlen(src) != 2) 477d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose return; 478d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose strcat(dst, src); // expected-warning{{This expression will create a string whose length is too big to be represented as a size_t}} 479d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose} 480d5af0e17b00ab2ee6a8c1f352bb9eeb1cc5b2d07Jordy Rose 481067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 482067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 4835e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose// strncpy() 4845e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 4855e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4865e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#ifdef VARIANT 4875e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4885e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define __strncpy_chk BUILTIN(__strncpy_chk) 4895e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *__strncpy_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 4905e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4915e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy(a,b,n) __strncpy_chk(a,b,n,(size_t)-1) 4925e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4935e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#else /* VARIANT */ 4945e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4955e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#define strncpy BUILTIN(strncpy) 4965e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosechar *strncpy(char *restrict s1, const char *restrict s2, size_t n); 4975e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 4985e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose#endif /* VARIANT */ 4995e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5005e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5015e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_dst(char *x) { 5025e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(NULL, x, 5); // expected-warning{{Null pointer argument in call to string copy function}} 5035e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5045e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5055e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_null_src(char *x) { 5065e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, NULL, 5); // expected-warning{{Null pointer argument in call to string copy function}} 5075e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5085e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5095e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_fn(char *x) { 5105e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy 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}} 5115e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5125e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5135e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_effects(char *x, char *y) { 5145e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char a = x[0]; 5155e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5165e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strncpy(x, y, 5) != x) 5175e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // no-warning 5185e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5195e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) != strlen(y)) 5205e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5215e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5225e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (a != x[0]) 5235e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(char*)0; // expected-warning{{null}} 5245e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5255e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5265e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_overflow(char *y) { 5275e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5285e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5295e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5305e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5315e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5325e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow(char *y) { 5335e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5345e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5355e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 5); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5365e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5375e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5385e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_overflow2(char *y, int n) { 5395e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (n <= 4) 5405e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5415e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5425e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5435e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5445e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, n); // expected-warning{{Size argument is greater than the length of the destination buffer}} 5455e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5465e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5475e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_truncate(char *y) { 5485e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5495e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 4) 5505e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5515e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5525e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5535e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_no_truncate(char *y) { 5545e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5555e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) == 3) 5565e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 3); // no-warning 5575e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5585e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5595e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer(char *y) { 5605e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5615e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5625e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5635e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // strncpy does not null-terminate, so we have no idea what the strlen is 5645e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // after this. 5655e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 4) 5665e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // expected-warning{{null}} 5675e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5685e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5695e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rosevoid strncpy_exactly_matching_buffer2(char *y) { 5705e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(y) >= 4) 5715e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose return; 5725e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5735e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose char x[4]; 5745e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose strncpy(x, y, 4); // no-warning 5755e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5765e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose // This time, we know that y fits in x anyway. 5775e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose if (strlen(x) > 3) 5785e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose (void)*(int*)0; // no-warning 5795e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose} 5805e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose 5816e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rosevoid strncpy_zero(char *src) { 5826e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char dst[] = "123"; 5836e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose strncpy(dst, src, 0); // no-warning 5846e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose} 5856e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose 5866e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rosevoid strncpy_empty() { 5876e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char dst[] = "123"; 5886e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char src[] = ""; 5896e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose strncpy(dst, src, 4); // no-warning 5906e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose} 5916e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose 5925e5f15062bcf4b62fda9062b453178f8b9bd0c2dJordy Rose//===----------------------------------------------------------------------=== 593067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani// strncat() 594067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani//===----------------------------------------------------------------------=== 595067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 596067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#ifdef VARIANT 597067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 598067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define __strncat_chk BUILTIN(__strncat_chk) 599067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *__strncat_chk(char *restrict s1, const char *restrict s2, size_t n, size_t destlen); 600067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 601067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat(a,b,c) __strncat_chk(a,b,c, (size_t)-1) 602067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 603067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#else /* VARIANT */ 604067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 605067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#define strncat BUILTIN(strncat) 606067bbd0e11c71a33b51832532e836971be697699Lenny Maioranichar *strncat(char *restrict s1, const char *restrict s2, size_t n); 607067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 608067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani#endif /* VARIANT */ 609067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 610067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 611067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_dst(char *x) { 6129e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(NULL, x, 4); // expected-warning{{Null pointer argument in call to string copy function}} 613067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 614067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 615067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_null_src(char *x) { 6169e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncat(x, NULL, 4); // expected-warning{{Null pointer argument in call to string copy function}} 617067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 618067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 619067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_fn(char *x) { 6209e49d9fbdc861c25c2480233147dee07f5fa9660Jordy 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}} 621067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 622067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 623067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_effects(char *y) { 624067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[8] = "123"; 625067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani size_t orig_len = strlen(x); 626067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char a = x[0]; 627067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 628067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) != 4) 629067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani return; 630067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 631067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strncat(x, y, strlen(y)) != x) 632067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 633067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 634067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(x) != orig_len + strlen(y)) 635067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani (void)*(char*)0; // no-warning 636067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 637067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 638067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_0(char *y) { 639067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 640067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6418912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 642067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 643067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 644067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_1(char *y) { 645067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 646067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 3) 6478912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 648067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 649067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 650067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_2(char *y) { 651067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 652067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 6538912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, strlen(y)); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 654067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 655067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 656067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_overflow_3(char *y) { 657067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 658067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 6598912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(x, y, 2); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 660067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 661067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_1(char *y) { 662067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[5] = "12"; 663067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 2) 664067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, strlen(y)); // no-warning 665067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 666067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani 667067bbd0e11c71a33b51832532e836971be697699Lenny Maioranivoid strncat_no_overflow_2(char *y) { 668067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani char x[4] = "12"; 669067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani if (strlen(y) == 4) 670067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani strncat(x, y, 1); // no-warning 671067bbd0e11c71a33b51832532e836971be697699Lenny Maiorani} 672318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 6738912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_dst_length(char *dst) { 6748912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, "1234", 5); 6758912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6768912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6778912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6788912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6798912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_src_length(char *src) { 6808912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6818912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, 3); 6828912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6838912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6848912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6858912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6868912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, src, 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6878912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6888912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6898912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_src_length(char *src, int offset) { 6908912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[8] = "1234"; 6918912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, &src[offset], 3); 6928912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 6938912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 6948912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6958912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst2[8] = "1234"; 6968912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst2, &src[offset], 4); // expected-warning{{Size argument is greater than the free space in the destination buffer}} 6978912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 6988912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 6998912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// There is no strncat_unknown_dst_length because if we can't get a symbolic 7008912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose// length for the "before" strlen, we won't be able to set one for "after". 7018912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 7028912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_symbolic_limit(unsigned limit) { 7038912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 7048912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 7058912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, limit); // no-warning 7068912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 7078912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 7088912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 7098912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 7108912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 7118912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 7128912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_unknown_limit(float limit) { 7138912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char dst[6] = "1234"; 7148912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose char src[] = "567"; 7158912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose strncat(dst, src, (size_t)limit); // no-warning 7168912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) < 4) 7178912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // no-warning 7188912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) == 4) 7198912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose (void)*(char*)0; // expected-warning{{null}} 7208912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 7218912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 7228912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rosevoid strncat_too_big(char *dst, char *src) { 7238912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(dst) != (((size_t)0) - 2)) 7248912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 7258912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose if (strlen(src) != 2) 7268912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose return; 7278912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy 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}} 7288912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose} 7298912aaedb413b15f6dd1d8997d80e1d505f7d52fJordy Rose 7306e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rosevoid strncat_zero(char *src) { 7316e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char dst[] = "123"; 7326e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose strncat(dst, src, 0); // no-warning 7336e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose} 7346e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose 7356e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rosevoid strncat_empty() { 7366e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char dst[8] = "123"; 7376e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose char src[] = ""; 7386e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose strncat(dst, src, 4); // no-warning 7396e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose} 7406e4244ee86a2d71af4eac791808f2dc50c7484e6Jordy Rose 741318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 742318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani// strcmp() 743318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani//===----------------------------------------------------------------------=== 744318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 745318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani#define strcmp BUILTIN(strcmp) 746adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcmp(const char * s1, const char * s2); 747318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 748318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant0() { 749318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", "123") != 0) 750318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 751318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 752318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 753318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_0() { 754318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 755318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, "123") != 0) 756318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 757318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 758318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 759318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_constant_and_var_1() { 760318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 761318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp("123", x) != 0) 762318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 763318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 764318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 765318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_0() { 766318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 767318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 768318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 0) 769318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 770318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 771318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 772318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_1() { 773318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "234"; 774318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 775318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 776318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 777318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 778318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 779318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_2() { 780318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 781318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 782318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 783318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 784318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 785318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 786318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_0() { 787318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = NULL; 788318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 7899e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 790318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 791318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 792318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_null_1() { 793318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 794318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = NULL; 7959e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 796318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 797318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 798318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_0() { 799318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 800318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "234"; 801318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 802318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 803318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 804318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 805318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_1() { 806318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 807318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "23456"; 808318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 809318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 810318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 811318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 812318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_2() { 813318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "12345"; 814318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "123"; 815318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != 1) 816318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 817318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 818318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 819318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maioranivoid strcmp_diff_length_3() { 820318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *x = "123"; 821318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani char *y = "12345"; 822318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani if (strcmp(x, y) != -1) 823318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani (void)*(char*)0; // no-warning 824318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani} 825318dd92ad834857ea5bb91de288c1eb56cdbec1aLenny Maiorani 826adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_embedded_null () { 827adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp("\0z", "\0y") != 0) 828adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 829adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 830adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 831adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcmp_unknown_arg (char *unknown) { 832adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcmp(unknown, unknown) != 0) 833adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 834adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 835adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 836357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 837357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani// strncmp() 838357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani//===----------------------------------------------------------------------=== 839357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 840357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani#define strncmp BUILTIN(strncmp) 841adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncmp(const char *s1, const char *s2, size_t n); 842357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 843357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant0() { 844357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", "123", 3) != 0) 845357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 846357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 847357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 848357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_0() { 849357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 850357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, "123", 3) != 0) 851357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 852357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 853357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 854357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_constant_and_var_1() { 855357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 856357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp("123", x, 3) != 0) 857357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 858357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 859357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 860357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_0() { 861357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 862357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 863357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 864357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 865357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 866357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 867357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_1() { 868357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 869357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 870357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 871357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 872357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 873357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 874357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_2() { 875357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 876357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 877357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 878357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 879357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 880357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 881357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_0() { 882357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = NULL; 883357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 8849e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 885357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 886357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 887357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_null_1() { 888357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 889357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = NULL; 8909e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 891357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 892357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 893357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_0() { 894357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 895357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "234"; 896357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 897357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 898357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 899357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 900357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_1() { 901357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 902357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "23456"; 903357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 904357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 905357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 906357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 907357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_2() { 908357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "12345"; 909357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "123"; 910357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != 1) 911357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 912357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 913357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 914357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_3() { 915357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 916357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 917357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 5) != -1) 918357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 919357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 920357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 921357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_4() { 922357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "123"; 923357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 924357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 0) 925357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 926357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 927357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 928357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_5() { 929357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "012"; 930357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 931357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != -1) 932357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 933357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 934357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 935357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maioranivoid strncmp_diff_length_6() { 936357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *x = "234"; 937357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani char *y = "12345"; 938357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani if (strncmp(x, y, 3) != 1) 939357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani (void)*(char*)0; // no-warning 940357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani} 941357f6ee9f1f6f8e5027377cb3e5907c62c4fe3dfLenny Maiorani 942adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncmp_embedded_null () { 943adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncmp("ab\0zz", "ab\0yy", 4) != 0) 944adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 945adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 946adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 947bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 948bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani// strcasecmp() 949bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani//===----------------------------------------------------------------------=== 950bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 951bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani#define strcasecmp BUILTIN(strcasecmp) 952adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strcasecmp(const char *s1, const char *s2); 953bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 954bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant0() { 955bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("abc", "Abc") != 0) 956bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 957bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 958bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 959bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_0() { 960bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 961bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, "Abc") != 0) 962bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 963bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 964bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 965bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_constant_and_var_1() { 966bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 967bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp("Abc", x) != 0) 968bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 969bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 970bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 971bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_0() { 972bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 973bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Abc"; 974bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 0) 975bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 976bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 977bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 978bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_1() { 979bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "Bcd"; 980bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 981bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 982bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 983bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 984bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 985bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_2() { 986bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 987bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "Bcd"; 988bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 989bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 990bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 991bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 992bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_0() { 993bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = NULL; 994bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "123"; 9959e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 996bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 997bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 998bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_null_1() { 999bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "123"; 1000bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = NULL; 10019e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strcasecmp(x, y); // expected-warning{{Null pointer argument in call to string comparison function}} 1002bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 1003bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 1004bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_0() { 1005bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abcde"; 1006bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBd"; 1007bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 1008bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 1009bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 1010bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 1011bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_1() { 1012bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "abc"; 1013bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "aBdef"; 1014bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 1015bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 1016bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 1017bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 1018bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_2() { 1019bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBcDe"; 1020bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abc"; 1021bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != 1) 1022bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 1023bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 1024bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani 1025bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maioranivoid strcasecmp_diff_length_3() { 1026bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *x = "aBc"; 1027bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani char *y = "abcde"; 1028bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani if (strcasecmp(x, y) != -1) 1029bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani (void)*(char*)0; // no-warning 1030bd1d16a1792cd6ea5ede9869e18d781e3fc1a8c3Lenny Maiorani} 1031454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1032adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strcasecmp_embedded_null () { 1033adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strcasecmp("ab\0zz", "ab\0yy") != 0) 1034adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 1035adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 1036adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 1037454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 1038454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani// strncasecmp() 1039454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani//===----------------------------------------------------------------------=== 1040454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1041454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani#define strncasecmp BUILTIN(strncasecmp) 1042adc42d412d747391dbcee234610f00b0f087cf7bJordy Roseint strncasecmp(const char *s1, const char *s2, size_t n); 1043454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1044454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant0() { 1045454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("abc", "Abc", 3) != 0) 1046454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1047454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1048454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1049454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_0() { 1050454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1051454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, "Abc", 3) != 0) 1052454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1053454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1054454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1055454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_constant_and_var_1() { 1056454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1057454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp("Abc", x, 3) != 0) 1058454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1059454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1060454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1061454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_0() { 1062454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1063454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Abc"; 1064454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1065454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1066454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1067454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1068454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_1() { 1069454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "Bcd"; 1070454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1071454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1072454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1073454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1074454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1075454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_2() { 1076454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1077454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "Bcd"; 1078454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1079454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1080454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1081454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1082454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_0() { 1083454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = NULL; 1084454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "123"; 10859e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1086454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1087454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1088454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_null_1() { 1089454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "123"; 1090454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = NULL; 10919e49d9fbdc861c25c2480233147dee07f5fa9660Jordy Rose strncasecmp(x, y, 3); // expected-warning{{Null pointer argument in call to string comparison function}} 1092454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1093454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1094454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_0() { 1095454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1096454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1097454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1098454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1099454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1100454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1101454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_1() { 1102454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abc"; 1103454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBdef"; 1104454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1105454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1106454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1107454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1108454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_2() { 1109454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBcDe"; 1110454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1111454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != 1) 1112454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1113454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1114454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1115454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_3() { 1116454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBc"; 1117454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abcde"; 1118454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 5) != -1) 1119454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1120454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1121454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1122454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_4() { 1123454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1124454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBc"; 1125454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 0) 1126454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1127454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1128454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1129454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_5() { 1130454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "abcde"; 1131454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "aBd"; 1132454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != -1) 1133454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1134454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1135454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani 1136454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maioranivoid strncasecmp_diff_length_6() { 1137454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *x = "aBDe"; 1138454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani char *y = "abc"; 1139454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani if (strncasecmp(x, y, 3) != 1) 1140454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani (void)*(char*)0; // no-warning 1141454fd2d3a1b6d0ef225c5d3927c1ad3b97510d1aLenny Maiorani} 1142adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose 1143adc42d412d747391dbcee234610f00b0f087cf7bJordy Rosevoid strncasecmp_embedded_null () { 1144adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose if (strncasecmp("ab\0zz", "ab\0yy", 4) != 0) 1145adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose (void)*(char*)0; // no-warning 1146adc42d412d747391dbcee234610f00b0f087cf7bJordy Rose} 114714d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 114814d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose//===----------------------------------------------------------------------=== 114914d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// Miscellaneous extras. 115014d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose//===----------------------------------------------------------------------=== 115114d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 115214d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// See additive-folding.cpp for a description of this bug. 115314d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// This test is insurance in case we significantly change how SymExprs are 115414d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// evaluated. It isn't as good as additive-folding.cpp's version 115514d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// because it will only actually be a test on systems where 115614d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// sizeof(1 == 1) < sizeof(size_t). 115714d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose// We could add a triple if it becomes necessary. 115814d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rosevoid PR12206(const char *x) { 115914d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose // This test is only useful under these conditions. 116014d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose size_t comparisonSize = sizeof(1 == 1); 116114d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (sizeof(size_t) <= comparisonSize) return; 116214d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 116314d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose // Create a value that requires more bits to store than a comparison result. 116414d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose size_t value = 1UL; 116514d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose value <<= 8 * comparisonSize; 116614d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose value += 1; 116714d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 116814d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose // Constrain the length of x. 116914d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (strlen(x) != value) return; 117014d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 117114d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose // Test relational operators. 117214d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (strlen(x) < 2) { (void)*(char*)0; } // no-warning 117314d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (2 > strlen(x)) { (void)*(char*)0; } // no-warning 117414d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose 117514d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose // Test equality operators. 117614d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (strlen(x) == 1) { (void)*(char*)0; } // no-warning 117714d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose if (1 == strlen(x)) { (void)*(char*)0; } // no-warning 117814d20b1dff6370f76279fcfb0fd780e2e5eb57bbJordy Rose} 1179