missing warning use after free.

[thradams]

#pragma safety enable
void* _Owner _Opt malloc(unsigned long size);
void free(void* _Owner _Opt ptr);
void f(bool condition)
{    
   void * _Owner _Opt p = malloc(1);
   if (condition)
   {
     void * _Owner _Opt p2 = p;
     free(p2);
   }
   free(p);  //should have a warning here!

}