[gcc.git] / gcc / testsuite / c-c++-common / ubsan / nonnull-2.c

/* { dg-do run } */
/* { dg-shouldfail "ubsan" } */
/* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */

int q, r;
void *a, *b, *c = (void *) &q, *d, *e, *f = (void *) &q, *g, *h;

__attribute__((returns_nonnull, nonnull (1, 3)))
void *
foo (void *p, void *q, void *r)
{
  a = p;
  b = r;
  return q;
}

int
bar (const void *a, const void *b)
{
  int c = *(const int *) a;
  int d = *(const int *) b;
  return c - d;
}

int
main ()
{
  asm volatile ("" : : : "memory");
  d = foo (c, b, c);
  e = foo (e, c, f);
  g = foo (c, f, g);
  __builtin_memset (d, '\0', q);
  return 0;
}

/* { dg-output "\.c:14:\[0-9]*:\[^\n\r]*null pointer returned from function declared to never return null" } */
Commit	Line	Data
126edc3f JJ	1	/* { dg-do run } */
126edc3f JJ	2	/* { dg-shouldfail "ubsan" } */
d95a2703	3	/* { dg-options "-fsanitize=undefined -fno-sanitize-recover=undefined" } */
126edc3f JJ	4
	5	int q, r;
	6	void a, b, c = (void ) &q, d, e, f = (void ) &q, g, h;
	7
	8	__attribute__((returns_nonnull, nonnull (1, 3)))
	9	void *
	10	foo (void p, void q, void *r)
	11	{
	12	a = p;
	13	b = r;
	14	return q;
	15	}
	16
	17	int
	18	bar (const void a, const void b)
	19	{
	20	int c = (const int ) a;
	21	int d = (const int ) b;
	22	return c - d;
	23	}
	24
	25	int
	26	main ()
	27	{
	28	asm volatile ("" : : : "memory");
	29	d = foo (c, b, c);
	30	e = foo (e, c, f);
	31	g = foo (c, f, g);
	32	__builtin_memset (d, '\0', q);
	33	return 0;
	34	}
	35
	36	/* { dg-output "\.c:14:\[0-9]:\[^\n\r]null pointer returned from function declared to never return null" } */