| // 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 "null argument where non-null required" } | |
| f<S2>(0); // { dg-warning "null argument where non-null required" } | |
| } |