add test

JuliaLang · Jan 2, 2025 · 1f95279 · 1f95279
1 parent 21b26ed
commit 1f95279
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/codegen.cpp b/src/codegen.cpp
@@ -1170,6 +1170,7 @@ static const auto jl_alloc_genericmemory_unchecked_func = new JuliaFunction<Type
     },
     [](LLVMContext &C) {
         auto FnAttrs = AttrBuilder(C);
+        FnAttrs.addAllocKindAttr(AllocFnKind::Alloc);
         FnAttrs.addMemoryAttr(MemoryEffects::argMemOnly(ModRefInfo::Ref) | MemoryEffects::inaccessibleMemOnly(ModRefInfo::ModRef));
         FnAttrs.addAttribute(Attribute::WillReturn);
         FnAttrs.addAttribute(Attribute::NoUnwind);

diff --git a/test/boundscheck_exec.jl b/test/boundscheck_exec.jl
@@ -337,6 +337,13 @@ if bc_opt == bc_default
     end
     @test confuse_alias_analysis() == 3
     @test (@allocated confuse_alias_analysis()) == 0
+    function no_alias_prove(n)
+        m1 = Memory{Int}(undef,n)
+        m2 = Memory{Int}(undef,n)
+        m1 === m2
+    end
+    no_alias_prove(1)
+    @test (@allocated no_alias_prove(5)) == 0
 end
 end