[Bug middle-end/104286] New: gimple-match should cause an ICE for comparisons which are not of "boolean" types

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

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

            Bug ID: 104286
           Summary: gimple-match should cause an ICE for comparisons which
                    are not of "boolean" types
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---

As shown by PR 104279 (and others), gimple-match should cause an ICE when a
match pattern tries to create a comparison which is not of "boolean" type.
(boolean type is either BOOLEAN_TYPE or an integeral type which is one bit
wide).

I am filing this now for GCC 13 as we are currently in stage 4.