[Bug analyzer/99212] [11 Regression] gcc.dg/analyzer/data-model-1.c line 971

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to David Malcolm from comment #2)
> x86_64-pc-linux-gnu has:

I messed up the copy and paste here; the x86_64 gimple actually reads:

  bits.b0 = 1;
  _1 = BIT_FIELD_REF <bits, 8, 0>;
  _2 = _1 & 1;
  _3 = _2 != 0;
  _4 = (int) _3;
  __analyzer_eval (_4);
  bits.b456 = 5;
  _5 = BIT_FIELD_REF <bits, 8, 0>;
  _6 = _5 & 112;
  _7 = _6 == 80;
  _8 = (int) _7;
  __analyzer_eval (_8);