[Bug tree-optimization/127116] [17 Regression] ICE: verify_gimple failed during GIMPLE pass: slp (type mismatch in binary expression) with unlimited cost model since r17-3202-g1dec3355162851

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

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
The difference is (after some extra dumping):

-t.c:22:1: note:   using boolean precision 8 for patt_8 = (<signed-boolean:8>)
_5;
+t.c:22:1: note:   using boolean precision 16 for patt_8 = (<signed-boolean:8>)
_5;
...
-t.c:20:9: note:   vectype: vector(4) <signed-boolean:8>
+t.c:20:9: note:   vectype: vector(4) <signed-boolean:16>

ah, and it's a cut&pasto.