Re: [PATCH 0/6] RFC: adding support to GCC for detecting trust boundaries

On Thu, Dec 09, 2021 at 09:42:04AM -0700, Martin Sebor wrote:

On 12/6/21 12:40 PM, Segher Boessenkool wrote:

quoted

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