modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/strcmp-1.c (about)

     1  /* Copyright (C) 2002  Free Software Foundation.
     2  
     3     Test strcmp with various combinations of pointer alignments and lengths to
     4     make sure any optimizations in the library are correct.
     5  
     6     Written by Michael Meissner, March 9, 2002.  */
     7  
     8  #include <string.h>
     9  #include <stddef.h>
    10  
    11  #ifndef MAX_OFFSET
    12  #define MAX_OFFSET (sizeof (long long))
    13  #endif
    14  
    15  #ifndef MAX_TEST
    16  #define MAX_TEST (8 * sizeof (long long))
    17  #endif
    18  
    19  #ifndef MAX_EXTRA
    20  #define MAX_EXTRA (sizeof (long long))
    21  #endif
    22  
    23  #define MAX_LENGTH (MAX_OFFSET + MAX_TEST + MAX_EXTRA + 2)
    24  
    25  static union {
    26    unsigned char buf[MAX_LENGTH];
    27    long long align_int;
    28    long double align_fp;
    29  } u1, u2;
    30  
    31  void
    32  test (const unsigned char *s1, const unsigned char *s2, int expected)
    33  {
    34    int value = strcmp ((char *) s1, (char *) s2);
    35  
    36    if (expected < 0 && value >= 0)
    37      abort ();
    38    else if (expected == 0 && value != 0)
    39      abort ();
    40    else if (expected > 0 && value <= 0)
    41      abort ();
    42  }
    43  
    44  main ()
    45  {
    46    size_t off1, off2, len, i;
    47    unsigned char *buf1, *buf2;
    48    unsigned char *mod1, *mod2;
    49    unsigned char *p1, *p2;
    50  
    51    for (off1 = 0; off1 < MAX_OFFSET; off1++)
    52      for (off2 = 0; off2 < MAX_OFFSET; off2++)
    53        for (len = 0; len < MAX_TEST; len++)
    54  	{
    55  	  p1 = u1.buf;
    56  	  for (i = 0; i < off1; i++)
    57  	    *p1++ = '\0';
    58  
    59  	  buf1 = p1;
    60  	  for (i = 0; i < len; i++)
    61  	    *p1++ = 'a';
    62  
    63  	  mod1 = p1;
    64  	  for (i = 0; i < MAX_EXTRA+2; i++)
    65  	    *p1++ = 'x';
    66  
    67  	  p2 = u2.buf;
    68  	  for (i = 0; i < off2; i++)
    69  	    *p2++ = '\0';
    70  
    71  	  buf2 = p2;
    72  	  for (i = 0; i < len; i++)
    73  	    *p2++ = 'a';
    74  
    75  	  mod2 = p2;
    76  	  for (i = 0; i < MAX_EXTRA+2; i++)
    77  	    *p2++ = 'x';
    78  
    79  	  mod1[0] = '\0';
    80  	  mod2[0] = '\0';
    81  	  test (buf1, buf2, 0);
    82  
    83  	  mod1[0] = 'a';
    84  	  mod1[1] = '\0';
    85  	  mod2[0] = '\0';
    86  	  test (buf1, buf2, +1);
    87  
    88  	  mod1[0] = '\0';
    89  	  mod2[0] = 'a';
    90  	  mod2[1] = '\0';
    91  	  test (buf1, buf2, -1);
    92  
    93  	  mod1[0] = 'b';
    94  	  mod1[1] = '\0';
    95  	  mod2[0] = 'c';
    96  	  mod2[1] = '\0';
    97  	  test (buf1, buf2, -1);
    98  
    99  	  mod1[0] = 'c';
   100  	  mod1[1] = '\0';
   101  	  mod2[0] = 'b';
   102  	  mod2[1] = '\0';
   103  	  test (buf1, buf2, +1);
   104  
   105  	  mod1[0] = 'b';
   106  	  mod1[1] = '\0';
   107  	  mod2[0] = (unsigned char)'\251';
   108  	  mod2[1] = '\0';
   109  	  test (buf1, buf2, -1);
   110  
   111  	  mod1[0] = (unsigned char)'\251';
   112  	  mod1[1] = '\0';
   113  	  mod2[0] = 'b';
   114  	  mod2[1] = '\0';
   115  	  test (buf1, buf2, +1);
   116  
   117  	  mod1[0] = (unsigned char)'\251';
   118  	  mod1[1] = '\0';
   119  	  mod2[0] = (unsigned char)'\252';
   120  	  mod2[1] = '\0';
   121  	  test (buf1, buf2, -1);
   122  
   123  	  mod1[0] = (unsigned char)'\252';
   124  	  mod1[1] = '\0';
   125  	  mod2[0] = (unsigned char)'\251';
   126  	  mod2[1] = '\0';
   127  	  test (buf1, buf2, +1);
   128  	}
   129  
   130    exit (0);
   131  }