[BasicAA] Add a few cases with overflows in index computations.
authorFlorian Hahn <flo@fhahn.com>
Fri, 26 Mar 2021 14:44:13 +0000 (14:44 +0000)
committerFlorian Hahn <flo@fhahn.com>
Fri, 26 Mar 2021 14:50:03 +0000 (14:50 +0000)
commitbcc8d80192f17ee398db3effa36f4ad20844f8e1
tree04498b94cf3cf69916c32a9a3c9bd9c19295df99
parent3f6e7d1550bccc8cd2db84188aa1f65776de6ce9
[BasicAA] Add a few cases with overflows in index computations.

This patch adds a few test cases where currently NoAlias is returned,
but the pointers can alias if the multiply overflows while computing
a GEP index value.
llvm/test/Analysis/BasicAA/gep-modulo.ll [new file with mode: 0644]