/* Test C23 Checked Integer Arithmetic macros in <stdckdint.h>.  */
/* { dg-do compile } */
/* { dg-options "-std=c23" } */

#include <stdckdint.h>

int
main ()
{
  char a;
  bool b;
  enum E { E1, E2 } c = E1;
  int d;
  int *e;
  float f;
  double g;
  long double h;
  const int v = 42;
  volatile const short w = 5;
  ckd_add (&a, 1, 1);
  ckd_sub (&a, 1, 1);
  ckd_mul (&a, 1, 1);
  ckd_add (&b, 1, 1);		/* { dg-error "has pointer to boolean type" } */
  ckd_sub (&b, 1, 1);		/* { dg-error "has pointer to boolean type" } */
  ckd_mul (&b, 1, 1);		/* { dg-error "has pointer to boolean type" } */
  ckd_add (&c, 1, 1);		/* { dg-error "has pointer to enumerated type" } */
  ckd_sub (&c, 1, 1);		/* { dg-error "has pointer to enumerated type" } */
  ckd_mul (&c, 1, 1);		/* { dg-error "has pointer to enumerated type" } */
  ckd_add (&d, (char) 1, 1);
  ckd_sub (&d, (char) 1, 1);
  ckd_mul (&d, (char) 1, 1);
  ckd_add (&d, false, 1);
  ckd_sub (&d, false, 1);
  ckd_mul (&d, false, 1);
  ckd_add (&d, true, 1);
  ckd_sub (&d, true, 1);
  ckd_mul (&d, true, 1);
  ckd_add (&d, c, 1);
  ckd_sub (&d, c, 1);
  ckd_mul (&d, c, 1);
  ckd_add (&d, 1, (char) 1);
  ckd_sub (&d, 1, (char) 1);
  ckd_mul (&d, 1, (char) 1);
  ckd_add (&d, 1, false);
  ckd_sub (&d, 1, false);
  ckd_mul (&d, 1, false);
  ckd_add (&d, 1, true);
  ckd_sub (&d, 1, true);
  ckd_mul (&d, 1, true);
  ckd_add (&d, 1, c);
  ckd_sub (&d, 1, c);
  ckd_mul (&d, 1, c);
  ckd_add (&e, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_sub (&e, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_mul (&e, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_add (&f, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_sub (&f, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_mul (&f, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_add (&g, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_sub (&g, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_mul (&g, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_add (&h, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_sub (&h, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_mul (&h, 1, 1);		/* { dg-error "does not have pointer to integral type" } */
  ckd_add (&d, 1.0f, 1);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1.0f, 1);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1.0f, 1);	/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1.0, 1);		/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1.0, 1);		/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1.0, 1);		/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1.0L, 1);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1.0L, 1);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1.0L, 1);	/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1, 1.0f);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1, 1.0f);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1, 1.0f);	/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1, 1.0);		/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1, 1.0);		/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1, 1.0);		/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1, 1.0L);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1, 1.0L);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1, 1.0L);	/* { dg-error "does not have integral type" } */
  ckd_add (&d, (int *) 0, 1);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, (int *) 0, 1);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, (int *) 0, 1);	/* { dg-error "does not have integral type" } */
  ckd_add (&d, 1, (int *) 0);	/* { dg-error "does not have integral type" } */
  ckd_sub (&d, 1, (int *) 0);	/* { dg-error "does not have integral type" } */
  ckd_mul (&d, 1, (int *) 0);	/* { dg-error "does not have integral type" } */
  ckd_add (&v, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
  ckd_sub (&v, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
  ckd_mul (&v, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
  ckd_add (&w, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
  ckd_sub (&w, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
  ckd_mul (&w, 1, 1);		/* { dg-error "has pointer to 'const' type" } */
}