[llvm] Assert range attribute is not empty nor full (PR #100601)

[Andreas Jonson via llvm-commits]

andjo403 wrote:

hmm so the ref shall be something like `The range should not represent the full set. That is, a!=b, Exception is the empty set where a and b is the min value.`

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