Missing warning when calling a function with moved pointer

[thradams]

#pragma safety enable

void* _Owner _Opt malloc(unsigned long size);
void free(void* _Owner _Opt ptr);

int main() {
   void * _Owner _Opt p = malloc(1);
   void *_Owner _Opt p2 = p;    //MOVED
   free(p2);   
   free(p); //MOVED
}

http://thradams.com/cake/playground.html?code=I3ByYWdtYSBzYWZldHkgZW5hYmxlDQoNCnZvaWQqIF9Pd25lciBfT3B0IG1hbGxvYyh1bnNpZ25lZCBsb25nIHNpemUpOw0Kdm9pZCBmcmVlKHZvaWQqIF9Pd25lciBfT3B0IHB0cik7DQoNCmludCBtYWluKCkgew0KICAgdm9pZCAqIF9Pd25lciBfT3B0IHAgPSBtYWxsb2MoMSk7DQogICB2b2lkICpfT3duZXIgX09wdCBwMiA9IHA7ICAgDQogICBmcmVlKHAyKTsgICANCiAgIHN0YXRpY19kZWJ1ZyhwKTsNCiAgIGZyZWUocCk7DQp9&to=-2&options=