[all-commits] [llvm/llvm-project] 6fc3b4: [msan] Model is_int_min_poison to avoid false nega...

[Thurston Dang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6fc3b40b2cfc33550dd489072c01ffab16535840
      https://github.com/llvm/llvm-project/commit/6fc3b40b2cfc33550dd489072c01ffab16535840
  Author: Thurston Dang <thurston at google.com>
  Date:   2025-07-10 (Thu, 10 Jul 2025)

  Changed paths:
    M llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
    M llvm/test/Instrumentation/MemorySanitizer/X86/avx512-intrinsics-upgrade.ll
    M llvm/test/Instrumentation/MemorySanitizer/X86/avx512bw-intrinsics-upgrade.ll
    M llvm/test/Instrumentation/MemorySanitizer/abs-vector.ll

  Log Message:
  -----------
  [msan] Model is_int_min_poison to avoid false negative in abs (#148069)

Note: since this patch reduces false negatives, buggy code that formerly
passed with MSan may start failing.

The current MSan handler for abs, like Hercules' in New York, ignores
is_int_min_poison. This patch fixes the issue by poisoning the shadow
corresponding to each int_min input value if is_int_min_poison.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications