[all-commits] [llvm/llvm-project] 9d4f1a: sanmd: refine selection of functions for UAR checking

[Dmitry Vyukov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9d4f1a9eff27716069dc6a2d991baa228c197b85
      https://github.com/llvm/llvm-project/commit/9d4f1a9eff27716069dc6a2d991baa228c197b85
  Author: Dmitry Vyukov <dvyukov at google.com>
  Date:   2023-01-20 (Fri, 20 Jan 2023)

  Changed paths:
    M compiler-rt/test/metadata/CMakeLists.txt
    M compiler-rt/test/metadata/uar.cpp
    M llvm/lib/Transforms/Instrumentation/SanitizerBinaryMetadata.cpp

  Log Message:
  -----------
  sanmd: refine selection of functions for UAR checking

There are no intrinsic functions that leak arguments.
If the called function does not return, the current function
does not return as well, so no possibility of use-after-return.
Sanitizer function also don't leak or don't return.
It's safe to both pass pointers to local variables to them
and to tail-call them.

Reviewed By: melver

Differential Revision: https://reviews.llvm.org/D142190