Weiwen He 2ec08b3194
[LSV] Added check for mismatched GEP strides in getConstantOffsetComplexAddrs (#186671)
When two GEPs A & B with variable indices have source element types of
different sizes (e.g. i8 vs i32), their offsets cannot be constants.
Currently the `getConstantOffsetComplexAddrs` does not check this and
simply use the stride of GEP A assuming they are equal, resulting in
miscompile.

Add a check that the source element types are the same, otherwise bail
out.

Fixes #186327
2026-03-19 17:10:30 +01:00
..