[llvm] 4e8a02e - [Attributor][FIX] Remove assumption that doesn't have to hold

[Florian Hahn via llvm-commits]

> On Jan 9, 2022, at 19:16, Johannes Doerfert via llvm-commits <llvm-commits at lists.llvm.org> wrote:
> 
> 
> Author: Johannes Doerfert
> Date: 2022-01-09T13:15:53-06:00
> New Revision: 4e8a02e7f49dd6aa7f2a6003a2556fda639713c9
> 
> URL: https://github.com/llvm/llvm-project/commit/4e8a02e7f49dd6aa7f2a6003a2556fda639713c9
> DIFF: https://github.com/llvm/llvm-project/commit/4e8a02e7f49dd6aa7f2a6003a2556fda639713c9.diff
> 
> LOG: [Attributor][FIX] Remove assumption that doesn't have to hold
> 
> There is no guarantee we strip all GEPOperators and the conservative
> handling doesn't even require us to.



Would it be possible to add a test where the assumption doesn’t hold?

Cheers,
Florian