gcc/testsuite/gcc.dg/sync-fetch.c

/* PR c/69405 - [6 Regression] ICE in c_tree_printer on an invalid
   __atomic_fetch_add */
/* Test to verify that the diagnostic doesn't cause an ICE when any
   of the arguments to __atomic_fetch_OP is undeclared.  */
/* { dg-do compile } */

void test_add_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_add (&a, &b, 0);   /* { dg-error ".b. undeclared" } */
}

void test_sub_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_sub (&a, &b, 0);      /* { dg-error ".b. undeclared" } */
}

void test_or_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_or (&a, &b, 0);      /* { dg-error ".b. undeclared" } */
}

void test_and_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_and (&a, &b, 0);      /* { dg-error ".b. undeclared" } */
}

void test_xor_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_xor (&a, &b, 0);      /* { dg-error ".b. undeclared" } */
}

void test_nand_undeclared_first_arg (void)
{
  int a = 0;
  __atomic_fetch_nand (&a, &b, 0);      /* { dg-error ".b. undeclared" } */
}


void test_add_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_add (&a, &b, 0);   /* { dg-error ".a. undeclared" } */
}

void test_sub_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_sub (&a, &b, 0);      /* { dg-error ".a. undeclared" } */
}

void test_or_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_or (&a, &b, 0);      /* { dg-error ".a. undeclared" } */
}

void test_and_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_and (&a, &b, 0);      /* { dg-error ".a. undeclared" } */
}

void test_xor_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_xor (&a, &b, 0);      /* { dg-error ".a. undeclared" } */
}

void test_nand_undeclared_second_arg (void)
{
  int b = 0;
  __atomic_fetch_nand (&a, &b, 0);      /* { dg-error ".a. undeclared" } */
}


void test_add_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_add (&a, &b, m);   /* { dg-error ".m. undeclared" } */
}

void test_sub_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_sub (&a, &b, m);      /* { dg-error ".m. undeclared" } */
}

void test_or_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_or (&a, &b, m);      /* { dg-error ".m. undeclared" } */
}

void test_and_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_and (&a, &b, m);      /* { dg-error ".m. undeclared" } */
}

void test_xor_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_xor (&a, &b, m);      /* { dg-error ".m. undeclared" } */
}

void test_nand_undeclared_third_arg (void)
{
  int a = 0, b = 0;
  __atomic_fetch_nand (&a, &b, m);      /* { dg-error ".m. undeclared" } */
}