gcc/testsuite/c-c++-common/analyzer/pr109439.c

   1 int would_like_only_oob (int i)
   2 {
   3     int arr[] = {1,2,3,4,5,6,7};
   4     arr[10] = 9; /* { dg-warning "stack-based buffer overflow" } */
   5     arr[11] = 15; /* { dg-warning "stack-based buffer overflow" } */
   6     int y1 = arr[9]; /* { dg-warning "stack-based buffer over-read" } */
   7             /* { dg-bogus "use of uninitialized value" "" { target *-*-* } .-1 } */
   8
   9     arr[18] = 15; /* { dg-warning "stack-based buffer overflow" } */
  10
  11     return y1;
  12 }