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

   1 /* PR sanitizer/81281 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -fdump-tree-optimized" } */
   4 /* { dg-final { scan-tree-dump-not "p_\[0-9]*\\(D\\)" "optimized" } } */
   5
   6 long long
   7 f1 (int p, int a, int b)
   8 {
   9   int c = p + 1;
  10   int d = a + 2;
  11   int e = b + 3;
  12   long long f = p + a;
  13   long long g = p + b;
  14   return f - g;
  15 }
  16
  17 long long
  18 f2 (int p, int a, int b)
  19 {
  20   int c = a + 1;
  21   int d = p + 2;
  22   int e = b + 3;
  23   long long f = p + a;
  24   long long g = p + b;
  25   return f - g;
  26 }
  27
  28 long long
  29 f3 (int p, int a, int b)
  30 {
  31   int c = b + 1;
  32   int d = p + 2;
  33   int e = a + 3;
  34   long long f = p + a;
  35   long long g = p + b;
  36   return f - g;
  37 }
  38
  39 signed char
  40 f4 (int p, int a, int b)
  41 {
  42   int c = p + 1;
  43   int d = a + 2;
  44   int e = b + 3;
  45   signed char f = p + a;
  46   signed char g = p + b;
  47   return f - g;
  48 }
  49
  50 signed char
  51 f5 (int p, int a, int b)
  52 {
  53   int c = a + 1;
  54   int d = p + 2;
  55   int e = b + 3;
  56   signed char f = p + a;
  57   signed char g = p + b;
  58   return f - g;
  59 }
  60
  61 signed char
  62 f6 (int p, int a, int b)
  63 {
  64   int c = b + 1;
  65   int d = p + 2;
  66   int e = a + 3;
  67   signed char f = p + a;
  68   signed char g = p + b;
  69   return f - g;
  70 }
  71
  72 long long
  73 f7 (int p, int a)
  74 {
  75   int c = p + 1;
  76   int d = a + 2;
  77   long long f = p + a;
  78   long long g = p;
  79   return f - g;
  80 }
  81
  82 long long
  83 f8 (int p, int a)
  84 {
  85   int c = a + 1;
  86   int d = p + 2;
  87   long long f = p + a;
  88   long long g = p;
  89   return f - g;
  90 }
  91
  92 signed char
  93 f9 (int p, int a)
  94 {
  95   int c = p + 1;
  96   int d = a + 2;
  97   signed char f = p + a;
  98   signed char g = p;
  99   return f - g;
 100 }
 101
 102 signed char
 103 f10 (int p, int a)
 104 {
 105   int c = a + 1;
 106   int d = p + 2;
 107   signed char f = p + a;
 108   signed char g = p;
 109   return f - g;
 110 }
 111
 112 long long
 113 f11 (int p, int a)
 114 {
 115   int c = p + 1;
 116   int d = a + 2;
 117   long long f = p;
 118   long long g = p + a;
 119   return f - g;
 120 }
 121
 122 long long
 123 f12 (int p, int a)
 124 {
 125   int c = a + 1;
 126   int d = p + 2;
 127   long long f = p;
 128   long long g = p + a;
 129   return f - g;
 130 }
 131
 132 signed char
 133 f13 (int p, int a)
 134 {
 135   int c = p + 1;
 136   int d = a + 2;
 137   signed char f = p;
 138   signed char g = p + a;
 139   return f - g;
 140 }
 141
 142 signed char
 143 f14 (int p, int a)
 144 {
 145   int c = a + 1;
 146   int d = p + 2;
 147   signed char f = p;
 148   signed char g = p + a;
 149   return f - g;
 150 }