[llvm] [LVI] Handle freeze instruction in BlockValue (PR #65399)

[Nikita Popov via llvm-commits]

https://github.com/nikic requested changes to this pull request.

This is incorrect. If the input value is "[0, 3] or poison" then freezing that does not result in a range of [0, 3] -- the range may be arbitrary. Looking through freeze is only possible for non-poison values (which is, usually, not an interesting case to handle, unless you're interested specifically in values that are known to be non-poison but are not known to be non-undef).

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