www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Local pointer escape under current DIP1000 implementation

reply Yuxuan Shui <yshuiv7 gmail.com> writes:
Code:

 safe auto id(scope int *p) {
	int*[] a;
	a ~= p;
	return a;
}
 safe int *bar() {
	int i;
	return id(&i)[0]; //pointer to local escaped
}

Compiles with -dip1000
May 05 2017
parent Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
On 5/5/17 12:51 PM, Yuxuan Shui wrote:

 Code:
 
  safe auto id(scope int *p) {
      int*[] a;
      a ~= p;
      return a;
 }
  safe int *bar() {
      int i;
      return id(&i)[0]; //pointer to local escaped
 }
 
 Compiles with -dip1000


Cool, thanks. Will discuss with Walter right now. Looks like an 
oversight - the append is not supposed to go through. -- Andrei
May 05 2017