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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|false-positive              |

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I am not sure this is a false positive.

If we add:
```
  if (desc->length > 9)
    __builtin_unreachable();
```

The warning goes away. There is no way for GCC to know that p[i] would access
out of bounds.

So either this is reduced too much or there is some extra information outside
of the code here that can't be seen by myself or the compiler.

Reply via email to