gcc/testsuite/c-c++-common/analyzer/strstr-1.c

   1 /* See e.g. https://en.cppreference.com/w/c/string/byte/strstr  */
   2
   3 /* { dg-additional-options "-fpermissive" { target c++ } } */
   4
   5 #include "../../gcc.dg/analyzer/analyzer-decls.h"
   6
   7 extern char *strstr (const char* str, const char* substr);
   8
   9 char *
  10 test_passthrough (const char* str, const char* substr)
  11 {
  12   return strstr (str, substr);
  13 }
  14
  15 char *
  16 test_NULL_str (const char *substr)
  17 {
  18   return strstr (NULL, substr); /* { dg-warning "use of NULL where non-null expected" } */
  19 }
  20
  21 char *
  22 test_unterminated_str (const char *substr)
  23 {
  24   char str[3] = "abc"; /* { dg-warning "initializer-string for '\[^\n\]*' is too long" "" { target c++ } } */
  25   return strstr (str, substr); /* { dg-warning "stack-based buffer over-read" } */
  26   /* { dg-message "while looking for null terminator for argument 1" "note" { target *-*-* } .-1 } */
  27 }
  28
  29 char *
  30 test_uninitialized_str (const char *substr)
  31 {
  32   char str[16];
  33   return strstr (str, substr); /* { dg-warning "use of uninitialized value 'str\\\[0\\\]'" } */
  34 }
  35
  36 char *
  37 test_NULL_substr (const char *str)
  38 {
  39   return strstr (str, NULL); /* { dg-warning "use of NULL where non-null expected" } */
  40 }
  41
  42 char *
  43 test_unterminated_substr (const char *str)
  44 {
  45   char substr[3] = "abc"; /* { dg-warning "initializer-string for '\[^\n\]*' is too long" "" { target c++ } } */
  46   return strstr (str, substr); /* { dg-warning "stack-based buffer over-read" } */
  47   /* { dg-message "while looking for null terminator for argument 2" "note" { target *-*-* } .-1 } */
  48 }
  49
  50 char *test_uninitialized_substr (const char *str)
  51 {
  52   char substr[16];
  53   return strstr (str, substr); /* { dg-warning "use of uninitialized value 'substr\\\[0\\\]'" } */
  54 }