[thirdparty/gcc.git] / gcc / testsuite / g++.dg / warn / Wnonnull3.C

// PR c++/79962
// { dg-options "-Wnonnull" }

template <class T>
__attribute__ ((__nonnull__ (T::i))) void f (typename T::U) { }

struct S1 { enum { i = 1 }; typedef void* U; };
struct S2 { static const int i = 1; typedef void* U; };

void
g ()
{
  f<S1>(0); // { dg-warning "argument 1 null where non-null expected" }
  f<S2>(0); // { dg-warning "argument 1 null where non-null expected" }
}
Commit	Line	Data
822a132c MP	1	// PR c++/79962
	2	// { dg-options "-Wnonnull" }
	3
	4	template <class T>
	5	__attribute__ ((__nonnull__ (T::i))) void f (typename T::U) { }
	6
	7	struct S1 { enum { i = 1 }; typedef void* U; };
	8	struct S2 { static const int i = 1; typedef void* U; };
	9
	10	void
	11	g ()
	12	{
75ff24e1 MS	13	f<S1>(0); // { dg-warning "argument 1 null where non-null expected" }
75ff24e1 MS	14	f<S2>(0); // { dg-warning "argument 1 null where non-null expected" }
822a132c	15	}