[all-commits] [llvm/llvm-project] 6f3276: [msan] Check mask and pointers shadow

[Vitaly Buka via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6f3276d57e265be0996e2f67e2e872401da8f511
      https://github.com/llvm/llvm-project/commit/6f3276d57e265be0996e2f67e2e872401da8f511
  Author: Vitaly Buka <vitalybuka at google.com>
  Date:   2022-09-19 (Mon, 19 Sep 2022)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/masked-store-load.ll

  Log Message:
  -----------
  [msan] Check mask and pointers shadow

Msan has default handler for unknown instructions which
previously applied to these as well. However depending on
mask, not all pointers or passthru part will be used. This
allows other passes to insert undef into sum arguments.
As result,  default strict instruction handler can produce false reports.

Reviewed By: kda, kstoimenov

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