1  /* PR tree-optimization/92157 - incorrect strcmp() == 0 result for unknown
       2     strings​
       3     { dg-do run }
       4     { dg-options "-O2 -Wall" } */
       5  
       6  #include "strlenopt.h"
       7  
       8  
       9  char a2[2], a3[3];
      10  
      11  
      12  static inline __attribute__ ((always_inline)) int
      13  verify_not_equal (const char *s, const char *t, int x)
      14  {
      15    int n = x < 0 ? strlen (s) : 0 < x ? strlen (t) : strlen (s) + strlen (t);
      16  
      17    if (strcmp (t, s) == 0)
      18      abort ();
      19  
      20    return n;
      21  }
      22  
      23  __attribute__ ((noipa)) int test_a2_s (const char *s)
      24  {
      25    return verify_not_equal (a2, s, 0);
      26  }
      27  
      28  __attribute__ ((noipa)) int test_a2_a3 (void)
      29  {
      30    return verify_not_equal (a2, a3, 0);
      31  }
      32  
      33  __attribute__ ((noipa)) int test_a3_a2 (void)
      34  {
      35    return verify_not_equal (a3, a2, 0);
      36  }
      37  
      38  __attribute__ ((noipa)) int test_s_a2 (const char *s)
      39  {
      40    return verify_not_equal (s, a2, 0);
      41  }
      42  
      43  
      44  __attribute__ ((noipa)) int test_a2_s_1 (const char *s)
      45  {
      46    return verify_not_equal (a2, s, -1);
      47  }
      48  
      49  __attribute__ ((noipa)) int test_a2_a3_1 (void)
      50  {
      51    return verify_not_equal (a2, a3, -1);
      52  }
      53  
      54  __attribute__ ((noipa)) int test_a3_a2_1 (void)
      55  {
      56    return verify_not_equal (a3, a2, -1);
      57  }
      58  
      59  __attribute__ ((noipa)) int test_s_a2_1 (const char *s)
      60  {
      61    return verify_not_equal (s, a2, -1);
      62  }
      63  
      64  
      65  __attribute__ ((noipa)) int test_a2_s_2 (const char *s)
      66  {
      67    return verify_not_equal (a2, s, +1);
      68  }
      69  
      70  __attribute__ ((noipa)) int test_a2_a3_2 (void)
      71  {
      72    return verify_not_equal (a2, a3, +1);
      73  }
      74  
      75  __attribute__ ((noipa)) int test_a3_a2_2 (void)
      76  {
      77    return verify_not_equal (a3, a2, +1);
      78  }
      79  
      80  __attribute__ ((noipa)) int test_s_a2_2 (const char *s)
      81  {
      82    return verify_not_equal (s, a2, +1);
      83  }
      84  
      85  int main (void)
      86  {
      87    a2[0] = '1';
      88    a3[0] = '1';
      89    a3[0] = '2';
      90  
      91    test_a2_s ("");
      92    test_a2_a3 ();
      93    test_a3_a2 ();
      94    test_s_a2 ("");
      95  
      96    test_a2_s_1 ("");
      97    test_a2_a3_1 ();
      98    test_a3_a2_1 ();
      99    test_s_a2_1 ("");
     100  
     101    test_a2_s_2 ("");
     102    test_a2_a3_2 ();
     103    test_a3_a2_2 ();
     104    test_s_a2_2 ("");
     105  }