On Thu, May 14, 2020 at 03:35:58PM +0200, Marco Elver wrote: > 4. __no_kcsan functions should never be spuriously inlined into > instrumented functions, causing the accesses of the __no_kcsan > function to be instrumented. [Satisfied by Clang >= 7. All GCC > versions are broken.]
The current noinstr annotation implies noinline, for a similar issue, we need the function to be emitted in a specific section. So while yuck, this is not an immediate issue for us.

