gcc/testsuite/g++.dg/analyzer/pr94816.C

/* { dg-additional-options "-O" } */

struct jr;

struct ch {
  int jr::*rx;
};

ch
ad ()
{
  return ch ();
}