Add an "allocator" attribute to mark functions as allocators #23322
Conversation
|
r? @pcwalton (rust_highfive has picked a reviewer for you, use r? to override) |
|
I'm not keen that this teaches trans about jemalloc directly. Is there nowhere in liballoc where this can be annotated? |
When this attribute is applied to a function, its return value gets the noalias attribute, which is how you tell LLVM that the function returns a "new" pointer that doesn't alias anything accessible to the caller, i.e. it acts like a memory allocator. Plain malloc doesn't need this attribute because LLVM already knows about malloc and adds the attribute itself.
dotdash
changed the title
|
Updated the code to use a feature gated |
|
It's all experimental anyway, so it could be something like |
|
Yeah, since this is unstable and gated I feel good about it. @bors r+ rollup |
When this attribute is applied to a function, its return value gets the noalias attribute, which is how you tell LLVM that the function returns a \"new\" pointer that doesn't alias anything accessible to the caller, i.e. it acts like a memory allocator. Plain malloc doesn't need this attribute because LLVM already knows about malloc and adds the attribute itself.
6 participants
When this attribute is applied to a function, its return value gets the
noalias attribute, which is how you tell LLVM that the function returns
a "new" pointer that doesn't alias anything accessible to the caller,
i.e. it acts like a memory allocator.
Plain malloc doesn't need this attribute because LLVM already knows
about malloc and adds the attribute itself.