https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95002
--- Comment #3 from Tobias Burnus <burnus at gcc dot gnu.org> --- As discussed with Joseph on IRC: * The 'array, 4*len' is one on purpose per C spec (sizeof for an expression with VLA type is defined to evaluate its argument.) * g++ might not do this, if so, it is a bug. * Convert should do the folding and leave the fold to gimple folding