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

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


On Mon, Feb 25, 2019 at 09:55:17AM -0800, Paul E. McKenney wrote:
> Again, if you know of any code in the Linux kernel that would have
> problems with aggressive optimizations based on pointer provenance,
> please let me know!

I've no clue what pointer provenance is to begin with.