[all-commits] [llvm/llvm-project] d1c7f5: MemorySanitizer: If a field is marked noundef, che...

[Gui Andrade via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: d1c7f51a9e8d6ea623349337d28da1df8b5194e2
      https://github.com/llvm/llvm-project/commit/d1c7f51a9e8d6ea623349337d28da1df8b5194e2
  Author: Gui Andrade <guiand at google.com>
  Date:   2020-07-13 (Mon, 13 Jul 2020)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    A llvm/test/Instrumentation/MemorySanitizer/msan_eager.ll

  Log Message:
  -----------
  MemorySanitizer: If a field is marked noundef, check init at call site

Adds LLVM option to control eager checking under -msan-eager-checks.
This change depends on the noundef keyword to determining cases where it
it sound to check these shadows, and falls back to passing shadows
values by TLS.

Checking at call boundaries enforces undefined behavior rules with
passing uninitialized arguments by value.

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