[Bug tree-optimization/94911] Failure to optimize comparisons of VLA sizes

glisse at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Fri May 1 21:40:06 GMT 2020


--- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> ---
gcc computes sizeof(a) as 4ul*(size_t)n, and unsigned types don't provide nice
overflow guarantees, so that complicates things.

More information about the Gcc-bugs mailing list