Re: [RFC PATCH] tools/memory-model: Remove (dep ; rfi) from ppo

From: Peter Zijlstra
Date: Tue Feb 26 2019 - 08:49:22 EST


On Tue, Feb 26, 2019 at 12:38:13PM +0100, Borislav Petkov wrote:
> On Tue, Feb 26, 2019 at 12:30:08PM +0100, Peter Zijlstra wrote:
> > When I used the argc variant, gcc-8 'works', but with s/argc/1/ it is
> > still broken.
>
> As requested on IRC:

What I asked was if you could get your GCC developer friends to have a
look at this :-)