https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100313
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Cleaned up: template<auto A = nullptr> struct Prop { void notify() { if constexpr (A != nullptr) { } } }; struct S { inline void fn() { } }; int main() { Prop<&S::fn> prop; prop.notify(); } Requires only -fsanitize=null.