| Issue |
184102
|
| Summary |
Operational semantics for allocator elision
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
nikic
|
https://github.com/llvm/llvm-project/pull/177592 specifies allocation elision in terms of allowed transformation.
The resulting semantics are angelic in nature, as they require knowing whether a free with the same alloc-family occurs in the future. Ideally, we would find a way to make these semantics operational.
The thing that makes this non-trivial is that the free call may be inlined, in which case allocation elision can no longer be applied.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
