Closed
Description
Adding the lifetimebound annotation to the ArrayRef
's array constructor can enable us to detect the following use-after-free issues:
ArrayRef<int> test() {
int array[10];
return array; // bug, return a stack local address
}
cc @Xazax-hun, @usx95