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

Tee KOBAYASHI <xtkoba at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |xtkoba at gmail dot com

--- Comment #2 from Tee KOBAYASHI <xtkoba at gmail dot com> ---
A workaround would be to __builtin_unreachable(), as usual:

@@ -9,6 +9,7 @@
 char* b;

 int p() {
+  if (a > LEN) __builtin_unreachable();
   for (int i = 0; i < a; i++) {
     d.c[i] = b[i];
   }

Reply via email to