[BasicAA] Make test more robust (NFC)
When taking into account the fact that GEP indices are truncated to 32-bits in this test, the "path dependence" goes away, so inferring MustAlias for all pointers would be correct. As this goes against the spirit of the test, change it to extend from i16 instead.
Loading
Please sign in to comment