[Bug middle-end/65556] New: [5 Regression] ICE: verify_gimple failed (type precision mismatch in switch statement)

[doko at gcc dot gnu.org]

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

            Bug ID: 65556
           Summary: [5 Regression] ICE: verify_gimple failed (type
                    precision mismatch in switch statement)
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org

Created attachment 35137
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35137&action=edit
preprocessed source

seen building the pcf2bdf package in Debian unstable, using r221551

$ g++ -c -g -O2 -Wno-write-strings pcf2bdf.ii 
pcf2bdf.cc: In function 'int main(int, char**)':
pcf2bdf.cc:559:5: error: type precision mismatch in switch statement
 int main(int argc, char *argv[])
     ^
switch (D.5231) <default: <D.4565>, case 0: <D.4566>, case 1: <D.4571>>
pcf2bdf.cc:559:5: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.