@live int* test1() { import core.stdc.stdlib : free, malloc; import core.stdc.stdio; scope p = cast(int*) malloc(int.sizeof); free(p); printf("%d\n",*p); // `p`有未定义状态,不能读它. return p; //同上,返回的`p`未定义. }