This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH][RFC] Adjust the middle-end memory model

On Wed, 20 May 2009, Mark Mitchell wrote:

> Richard Guenther wrote:
> 
> > int i;
> > float f;
> > void foo()
> > {
> >   int *p = (int *)malloc(sizeof(int));
> >   *p = 1;
> >   i = *p;
> >   float *q = (float *)p;
> >   *q = 2.0;
> >   f = *q;
> > }
> 
> Yes, I think that's a valid program too.  I'm OK with giving up this
> optimization; clearly we need to be correct first and foremost.

Yes, that's the primary motivation of this patch.  Can I take this
as an approval for the C++ frontend changes?

Thanks,
Richard.
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]