Date: Wed, 19 Oct 2016 11:13:47 +0200
From: Peter Zijlstra <peterz@infradead.org>
To: Richard Biener <rguenther@suse.de>
Cc: "Luis R. Rodriguez" <mcgrof@kernel.org>,
        Vegard Nossum <vegard.nossum@oracle.com>, Jiri Slaby <jslaby@suse.cz>,
        linux-kernel@vger.kernel.org,
        Greg Kroah-Hartman <gregkh@linuxfoundation.org>,
        Linus Torvalds <torvalds@linux-foundation.org>, stable@vger.kernel.org,
        Ming Lei <ming.lei@canonical.com>,
        Steven Rostedt <srostedt@redhat.com>, "H. Peter Anvin" <hpa@zytor.com>,
        Josh Poimboeuf <jpoimboe@redhat.com>,
        Cesar Eduardo Barros <cesarb@cesarb.eti.br>,
        Michael Matz <matz@suse.de>, David Miller <davem@davemloft.net>,
        Guenter Roeck <linux@roeck-us.net>,
        Fengguang Wu <fengguang.wu@intel.com>, Borislav Petkov <bp@alien8.de>,
        Boris Ostrovsky <boris.ostrovsky@oracle.com>,
        Juergen Gross <jgross@suse.com>, Kees Cook <keescook@chromium.org>,
        Arnaldo Carvalho de Melo <acme@kernel.org>,
        Ingo Molnar <mingo@kernel.org>, Thomas Gleixner <tglx@linutronix.de>
Subject: Re: [PATCH 01/12] extarray: define helpers for arrays defined in
 linker scripts
Message-ID: <20161019091347.GE3102@twins.programming.kicks-ass.net>
References: <20161016151616.31451-1-vegard.nossum@oracle.com>
 <20161016151616.31451-2-vegard.nossum@oracle.com>
 <20161017083315.GA29322@worktop.vlan200.pylonone.local>
 <186f8242-3f8d-31cd-a8e8-9743bbc1c1fd@suse.cz>
 <20161017090930.GT3142@twins.programming.kicks-ass.net>
 <55e00c01-2da8-8d06-1d05-9ebf775736ec@oracle.com>
 <20161017114517.GQ3117@twins.programming.kicks-ass.net>
 <55b3cbe0-f8fc-6505-411d-5f050d3414cc@oracle.com>
 <20161018211803.GV8651@wotan.suse.de>
 <alpine.LSU.2.11.1610190949310.2258@t29.fhfr.qr>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <alpine.LSU.2.11.1610190949310.2258@t29.fhfr.qr>
User-Agent: Mutt/1.5.23.1 (2014-03-12)
Sender: linux-kernel-owner@vger.kernel.org
Content-Length: 1265
Lines: 34

On Wed, Oct 19, 2016 at 10:18:43AM +0200, Richard Biener wrote:

> The commit implements a long-standing failure to optimize trivial pointer
> comparisons that arise for example from libstdc++.  PR65686 contains
> a simple C example:
> 
> mytype f(struct S *e)
> {
>   mytype x;
>   if(&x != e->pu)
>     __builtin_memcpy(&x, e->pu, sizeof(unsigned));
>   return x;
> }
> 
> where GCC before the commit could not optimize the &x != e->pu test
> as trivial false.

Which is fine; x is stack based and could not possibly have been handed
as the argument to this same function.

This is also an entirely different class of optimizations than the whole
pointer arithmetic is only valid inside an object thing.

The kernel very much relies on unbounded pointer arithmetic, including
overflow. Sure, C language says its UB, but we know our memory layout,
and it would be very helpful if we could define it.

Can't we get a knob extending -fno-strict-aliasing to define pointer
arithmetic outside of objects and overflow? I mean, we already use that,
we also use -fno-strict-overflow and a whole bunch of others.

At the very least, it would be nice to get a -W flag for when this alias
analysis stuff kills something so we can at least know when GCC goes and
defeats us.