[all-commits] [llvm/llvm-project] 6a1bad: [ValueTracking] Add missing check when computing k...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6a1badfed2dcd438d94a35cc4ab3b38c7cc06208
      https://github.com/llvm/llvm-project/commit/6a1badfed2dcd438d94a35cc4ab3b38c7cc06208
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-12-07 (Thu, 07 Dec 2023)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp

  Log Message:
  -----------
  [ValueTracking] Add missing check when computing known bits from pointer icmp

I'm not sure whether it's possible to cause a miscompile due to
the missing check right now, as the affected values mechanism
effectively protects us against this. This becomes a problem for
an upcoming patch though.