https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108684
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|[13 Regression] ICE: |[12/13 Regression] ICE: |verify_ssa failed |verify_ssa failed Target Milestone|13.0 |12.3 Known to fail| |12.1.0 --- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- New testcase which shows this is indepdent of VRP, fails in GCC 12.x also: ``` static int t; int f (int a) { int t1; asm (" " : "=r" (t1) : : "eax", "memory"); t = t1; if (a) return 0; __builtin_unreachable(); } ```