On Thu, Dec 09, 2021 at 09:42:04AM -0700, Martin Sebor wrote: > On 12/6/21 12:40 PM, Segher Boessenkool wrote: > >Named address spaces are completely target-specific. > > My understanding of these kernel/user address spaces that David > is adding for the benefit of the analyzer is that the correspond > to what TR 18037 calls nested namespaces. They're nested within > the generic namespace that's a union of the twp. With that, I'd > expect them to be fully handled early on and be transparent > afterwards. Is implementing this idea not feasible in the GCC > design?
As long as you can explain it, it can be implemented. What I am saying though is it is imnsho a very bad idea to try to implement this in terms of named address spaces (which is a GCC extension). Segher