1  /* Verify that strlen doesn't (inadvertently) use the size of an array
       2     of char pointers to put an upper bound on the length of the strings
       3     they point to.
       4     { dg-do compile }
       5     { dg-options "-O2 -Wall -fdump-tree-optimized" } */
       6  
       7  void eaa_test (void)
       8  {
       9    extern char eaa[4][4];
      10  
      11    char (*p)[4] = eaa;
      12  
      13    if (!*p)
      14      return;
      15  
      16    /* The longest string stored in EAA is 15 characters.  */
      17    if (__builtin_strlen (*p) > 14)
      18      {
      19        extern void eaa_ok (void);
      20        eaa_ok ();
      21      }
      22  
      23    if (__builtin_strlen (*p) > 15)
      24      {
      25        extern void eaa_fail (void);
      26        eaa_fail ();
      27      }
      28  }
      29  
      30  /* { dg-final { scan-tree-dump-times "eaa_ok" 1 "optimized" } }
      31     { dg-final { scan-tree-dump-not "eaa_fail" "optimized" } } */
      32  
      33  
      34  void epa_test (void)
      35  {
      36    extern char* epa[4];
      37    char **p = epa;
      38  
      39    if (*p && __builtin_strlen (*p) > 123)
      40      {
      41        extern void epa_ok (void);
      42        epa_ok ();
      43      }
      44  }
      45  
      46  /* { dg-final { scan-tree-dump-times "epa_ok" 1 "optimized" } } */
      47  
      48  
      49  static char* spa[4];
      50  
      51  void spa_test (void)
      52  {
      53    char **p = spa;
      54  
      55    if (*p && __builtin_strlen (*p) > 123)
      56      {
      57        extern void spa_ok ();
      58        spa_ok ();
      59      }
      60  }
      61  
      62  /* { dg-final { scan-tree-dump-times "spa_ok" 1 "optimized" } } */
      63  
      64  
      65  void sink (void*, ...);
      66  
      67  void init (void)
      68  {
      69    /* Make believe even the static array SA may be non-zero.  */
      70    sink (spa);
      71  }