gcc/testsuite/gcc.dg/pr10392-1.c

   1 /* PR optimization/10392
   2  * Reporter: marcus@mc.pp.se
   3  * Summary: [3.3/3.4 regression] [SH] optimizer generates faulty array indexing
   4  * Description:
   5  * The address calculation of an index operation on an array on the stack
   6  * can _under some conditions_ get messed up completely
   7  *
   8  * Testcase tweaked by dank@kegel.com
   9  * Problem only happens with -O2 -m4, so it should only happen on sh4,
  10  * but what the heck, let's test other architectures, too.
  11  * Not marked as xfail since it's a regression.
  12 */
  13 /* { dg-do run } */
  14 /* { dg-options "-O2" } */
  15 /* { dg-options "-O2 -m4" { target sh4-*-* } } */
  16 extern void abort (void);
  17 const char *dont_optimize_function_away;
  18
  19 const char *use(const char *str)
  20 {
  21         dont_optimize_function_away = str;
  22         if (str[0] != 'v')
  23                 abort();
  24         if (str[1] < '1' || str[1] > '6')
  25                 abort();
  26         if (str[2])
  27                 abort();
  28         return str[2] ? "notused" : "v6";
  29 }
  30
  31 const char *func(char *a, char *b)
  32 {
  33         char buf[128];
  34         unsigned char i;
  35         const char *result;
  36
  37         char *item[] = {
  38                 "v1",
  39                 "v2",
  40         };
  41
  42         buf[0] = 'v';
  43         buf[1] = '3';
  44         buf[2] = 0;
  45
  46         for (i = 0; i < 2; i++) {
  47                 /* bug is: following line passes wild pointer to use() on sh4 -O2 */
  48                 result = use(item[i]);
  49
  50                 use(buf);
  51                 use(a);
  52                 use(b);
  53                 result = use(result);
  54         }
  55         return result;
  56 }
  57
  58 int main()
  59 {
  60         func("v4", "v5");
  61         return 0;
  62 }
  63