This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] assert gimplifier assumption to prevent silent wrong code
On Thu, Jun 26, 2008 at 4:56 PM, Olivier Hainque <hainque@adacore.com> wrote:
>
> Richard Guenther wrote:
>> This is ok if you move the assert inside the gimplify_modify_expr_to_memset
>> function.
>
> Sure. There's a bit of uncertainty on what to expect possibly ahead
> of the CONSTRUCTOR tree: at least a WITH_SIZE_EXPR since this is what
> we'd have from the current unique call context, anything else you'd
> like to see checked ?
WITH_SIZE_EXPR shouldn't be checked - after all we could decide to
gimplify to memset also for constant-sized assignments. I think the
empty CONSTRUCTOR is enough.
Richard.