1  /* PR tree-optimization/91315 - missing strlen lower bound of a string
       2     known to be at least N characters
       3     { dg-do compile }
       4     { dg-options "-O2 -Wall -fdump-tree-optimized" } */
       5  
       6  #include "strlenopt.h"
       7  
       8  #define CAT(x, y) x ## y
       9  #define CONCAT(x, y) CAT (x, y)
      10  #define FAILNAME(name) CONCAT (call_ ## name ##_on_line_, __LINE__)
      11  
      12  #define FAIL(name) do {				\
      13      extern void FAILNAME (name) (void);		\
      14      FAILNAME (name)();				\
      15    } while (0)
      16  
      17  /* Macro to emit a call to function named
      18       call_in_true_branch_not_eliminated_on_line_NNN()
      19     for each call that's expected to be eliminated.  The dg-final
      20     scan-tree-dump-time directive at the bottom of the test verifies
      21     that no such call appears in output.  */
      22  #define ASSERT_ELIM(expr)						\
      23    if (!!(expr)) FAIL (in_true_branch_not_eliminated); else (void)0
      24  
      25  char a[32];
      26  
      27  void lower_bound_assign_1 (void)
      28  {
      29    a[0] = '1';
      30    ASSERT_ELIM (strlen (a) < 1);
      31  }
      32  
      33  void lower_bound_assign_2 (void)
      34  {
      35    a[0] = '1';
      36    a[1] = '2';
      37    ASSERT_ELIM (strlen (a) < 2);
      38  }
      39  
      40  void lower_bound_assign_3 (void)
      41  {
      42    a[0] = '1';
      43    a[1] = '2';
      44    a[2] = '3';
      45    ASSERT_ELIM (strlen (a) < 3);
      46  }
      47  
      48  void lower_bound_memcpy (void)
      49  {
      50    memcpy (a, "123", 3);
      51    ASSERT_ELIM (strlen (a) < 3);
      52  }
      53  
      54  void lower_bound_memcpy_memcpy_2 (void)
      55  {
      56    memcpy (a, "123", 3);
      57    memcpy (a + 2, "345", 3);
      58    ASSERT_ELIM (strlen (a) < 5);
      59  }
      60  
      61  void lower_bound_memcpy_memcpy_3 (void)
      62  {
      63    memcpy (a, "123", 3);
      64    memcpy (a + 3, "456", 3);
      65    ASSERT_ELIM (strlen (a) < 6);
      66  }
      67  
      68  /* FIXME: Not optimized yet.
      69  void lower_bound_stpcpy_stpcpy_assign (void)
      70  {
      71    *stpcpy (strcpy (a, "123"), "4567") = '8';
      72    ASSERT_ELIM (strlen (a) < 8);
      73  }
      74  */
      75  
      76  void lower_bound_strcpy_strcat_assign (void)
      77  {
      78    strcpy (a, "123");
      79    strcat (a, "45");
      80    a[5] = '6';
      81    ASSERT_ELIM (strlen (a) < 6);
      82  }
      83  
      84  /* { dg-final { scan-tree-dump-times "call_in_true_branch_not_eliminated_" 0 "optimized" } } */