[all-commits] [llvm/llvm-project] f7f015: 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: f7f01599ece64c04e70fbdb025a33d686fef7d6e
      https://github.com/llvm/llvm-project/commit/f7f01599ece64c04e70fbdb025a33d686fef7d6e
  Author: Dmitry Vyukov <dvyukov at google.com>
  Date:   2023-01-21 (Sat, 21 Jan 2023)

  Changed paths:
    M compiler-rt/test/CMakeLists.txt
    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