[llvm] [clang] [ValueTracking] Add dominating condition support in computeKnownBits() (PR #73662)

[Nikita Popov via cfe-commits]

nikic wrote:

@eddyz87 Right, this is exactly the change I have been working on, see https://github.com/llvm/llvm-project/pull/75311. Unfortunately, it doesn't actually fix the BPF case, because that one involves a loop, and LVI is currently terrible at handling those. (Basically, even though the relevant condition is outside the loop, just querying something in the loop will form a cycle, which will be resolved to overdefined.)

https://github.com/llvm/llvm-project/pull/73662