[ConstraintElim] Fix signed integer overflow for inbounds GEP.
authorFlorian Hahn <flo@fhahn.com>
Sun, 16 Oct 2022 22:24:06 +0000 (23:24 +0100)
committerFlorian Hahn <flo@fhahn.com>
Sun, 16 Oct 2022 22:25:28 +0000 (23:25 +0100)
commit462ab9810dd1774970e44264c35e8aec35e7460a
tree499c715a1f4637bc14a71fc73a7880749ac9e21b
parent7f2d9c21b49c8515769fba113631df0f492d6279
[ConstraintElim] Fix signed integer overflow for inbounds GEP.

For inbounds GEPs, signed overflow yields poison, so it is fine for the
coefficients to wrap as well. This fixes an UBSan failure.
llvm/lib/Transforms/Scalar/ConstraintElimination.cpp