[llvm] [ValueTracking] Fix "getOperand() out of range!" assertion crash (PR #87482)

[Vedant Paranjape via llvm-commits]

vedantparanjape-amd wrote:

> Not sure this is really the right fix. If a function has a noundef attribute on the return value, then it cannot have a void return. This looks more like a context problem, in that we're dealing with two different functions during inlining.

I suspected this, but the LangRef for noundef isn't really clear on this aspect: https://llvm.org/docs/LangRef.html. It's not mentioned anywhere that noundef attribute on the return value means it can't have a void return.

> 
> Maybe it's an acceptable workaround, but I'm not convinced it really addresses all issues that can arise from this.



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