1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -Warray-bounds" } */
       3  
       4  int foo(unsigned int state, unsigned char * p, unsigned int p_len)
       5  {
       6      static char const pattern[] = "abcd";
       7      static unsigned const pattern_length = sizeof(pattern) - 1;
       8  
       9      if (p_len == 1) {
      10          return state;
      11      }
      12  
      13      if (state < pattern_length &&
      14          p_len == (pattern_length - state) &&
      15  	(!__builtin_constant_p(p_len) ?
      16           __builtin_memcmp(p, pattern + state, p_len) :
      17           ((unsigned char*)p)[6] == ((unsigned char*)pattern + state)[6] /* { dg-bogus "array bounds" } */
      18          )) {
      19  
      20          return 4;
      21      }
      22      return 1;
      23  }