[Bug c/107246] New: gcc trunk crash in verify_gimple_in_cfg

[Bug c/107246] New: gcc trunk crash in verify_gimple_in_cfg

[shaohua.li at inf dot ethz.ch]

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

            Bug ID: 107246
           Summary: gcc trunk crash in verify_gimple_in_cfg
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: shaohua.li at inf dot ethz.ch
  Target Milestone: ---

% gcc-tk -v
Using built-in specs.
COLLECT_GCC=gcc-tk
COLLECT_LTO_WRAPPER=/zdata/shaoli/compilers/ccbuilder-compilers/gcc-7c059880fca175589efc8e06ef458020a005658d/libexec/gcc/x86_64-pc-linux-gnu/13.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../configure --disable-multilib --disable-bootstrap
--enable-languages=c,c++
--prefix=/zdata/shaoli/compilers/ccbuilder-compilers/gcc-7c059880fca175589efc8e06ef458020a005658d
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20221013 (experimental) (GCC)
%
% gcc-tk -w -O0 a.c
%
% gcc-tk -w -O3 a.c
a.c: In function ‘e’:
a.c:8:1: error: invalid position or size operand to ‘bit_field_ref’
    8 | e() {
      | ^
_ifc__16 = BIT_FIELD_REF <_ifc__15, 12, 0xffffffffffffffffffffffffffffffc0>;
during GIMPLE pass: ifcvt
a.c:8:1: internal compiler error: verify_gimple failed
0x205825e internal_error(char const*, ...)
        ???:0
0x10890f1 verify_gimple_in_cfg(function*, bool)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
%
% cat a.c
struct {
  long a;
  signed : 9;
  signed : 30;
  unsigned b : 12
} c;
d;
e() {
  for (; d;)
    f(c.b);
}
%

Compiler explorer: https://godbolt.org/z/8aGhfE5PM

[Bug c/107246] gcc trunk crash in verify_gimple_in_cfg

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org
         Resolution|---                         |DUPLICATE
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Dup.

*** This bug has been marked as a duplicate of bug 107229 ***