https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119792
--- Comment #18 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > So WITH_SIZE_EXPR isn't applicable here? OK, that's a thing > only introduced by gimplification at the moment, IIRC. So in case > the VIEW_CONVERT_EXPR is "just" to make the gimplifier emit the > appropriate WITH_SIZE_EXPR I wonder whether we should change > GENERIC to make that the prefered communication vehicle? No, WITH_SIZE_EXPR is not directly applicable here because the size of the RHS is not given by the RHS but by the LHS instead (WITH_SIZE_EXPR works when the size of an expression only depends on itself), hence the need for the VIEW_CONVERT_EXPR: once it is lost, there is no way to compute the size of the RHS.
