; RUN: opt -passes=aa-eval -print-all-alias-modref-info -disable-output < %s 2>&1 | FileCheck %s

target datalayout = "p:32:32"

; Make sure that using a LocationSize larget than the index space does not
; assert.

; CHECK: Just Mod:  Ptr: i32* %gep	<->  call void @llvm.memset.p0.i64(ptr %p, i8 0, i64 4294967296, i1 false)
define void @test(ptr %p, i32 %idx) {
  %gep = getelementptr i8, ptr %p, i32 %idx
  load i32, ptr %gep
  call void @llvm.memset.i64(ptr %p, i8 0, i64 u0x100000000, i1 false)
  ret void
}