gcc/testsuite/gcc.dg/builtin-dynamic-object-size-20.c

   1 /* PR 109334
   2  * { dg-do run }
   3  * { dg-options "-O1" } */
   4
   5
   6 [[gnu::noinline,gnu::noipa]]
   7 int f(int n, int buf[n])
   8     [[gnu::access(read_only, 2, 1)]]
   9 {
  10     return __builtin_dynamic_object_size(buf, 0);
  11 }
  12
  13 [[gnu::noinline,gnu::noipa]]
  14 int g(int n, int buf[])
  15     [[gnu::access(read_only, 2, 1)]]
  16 {
  17     return __builtin_dynamic_object_size(buf, 0);
  18 }
  19
  20 [[gnu::noinline,gnu::noipa]]
  21 int h(int n, int buf[n])
  22 {
  23     return __builtin_dynamic_object_size(buf, 0);
  24 }
  25
  26 int dummy(int x) { return x + 1; }
  27
  28 [[gnu::noinline,gnu::noipa]]
  29 int i(int n, int buf[dummy(n)])
  30 {
  31     return __builtin_dynamic_object_size(buf, 0);
  32 }
  33
  34 int main()
  35 {
  36     int n = 10;
  37     int buf[n];
  38     if (n * sizeof(int) != f(n, buf))
  39         __builtin_abort();
  40     if (n * sizeof(int) != g(n, buf))
  41         __builtin_abort();
  42     if (n * sizeof(int) != h(n, buf))
  43         __builtin_abort();
  44
  45     (void)i(n, buf);
  46
  47     return 0;
  48 }
  49