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.

Reply via email to