On Thursday, 12 February 2026 00:14:49 Pacific Standard Time Robin Savonen
Söderholm via Std-Proposals wrote:
> I like this tag-idea, as it could be used for real time safety and probably
> other guarantees as well.

The Linux kernel uses __user to track which pointers are from userspace and
need sanitisation before being dereferenced. Unfortunately it expands to empty
in most compilation modes. See
https://codebrowser.dev/linux/linux/include/linux/compiler_types.h.html#45

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel Data Center - Platform & Sys. Eng.