[Bug analyzer/96666] [11 Regression] Analyzer creates too many regions for a particular program

[asolokha at gmx dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96666

--- Comment #2 from Arseny Solokha <asolokha at gmx dot com> ---
Created attachment 49078
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49078&action=edit
Testcase 3

Finally, a testcase which is valid C. Note that cc1plus is still necessary to
trigger the ICE.

int
printf (const char *, ...);

union x6 {
  int ub;
};

void
c6 (void)
{
  union x6 px;

  px.ub = 0;
  printf ("%d\n", px.ub);
}

% g++-11.0.0 -fanalyzer -c ttgyil32.c
g++-11.0.0: internal compiler error: Segmentation fault signal terminated
program cc1plus