-funswitch-loops not effective?

[Richard Guenther]

On Tue, 18 Jan 2005 16:24:55 +0100, Giovanni Bajo <rasky@develer.com> wrote:
> Richard Guenther <richard.guenther@gmail.com> wrote:
> 
> > Of course, this doesn't say where there is the well-formed
> > leak of a pointer to the const member in the class in the first
> > place:
> >
> > class Foo {
> > public:
> >    Foo(bool b) : flag(b) {}
> >    bool get() const { return flag; }
> > private:
> >    const bool flag;
> > };
> >
> > Is there a well-formed way to write to Foo::flag?  Couldn't we
> > detect that there isn't one?
> 
> 
> I don't know of any. I do not agree with Andrew's objection to the missing
> optimization which prompted your original post either, so I suggest you to
> file one (or two?) bugreports about these issues.

I filed PR19507 about the C++ abstract flag issue (there's at least an obviously
valid tree optimization missing that further RTL optimizers catch).

Richard.