[llvm] [llvm] Bail out when meeting pointer with negative offset instead of … (PR #120424)

[Florian Hahn via llvm-commits]

================
@@ -106,4 +107,23 @@ define i64 @select_gep_offsets(i1 %cond) {
   ret i64 %res
 }
 
+define i64 @select_gep_oob_offsets(i1 %cond) {
----------------
fhahn wrote:

Is this actually guaranteed to be OOB? If not,p lease update the test and ideally add a brief comment explaining what this is testing

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