New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

missing warning use after free. #206

Open

thradams opened this issue Oct 22, 2024 · 0 comments

Owner

thradams commented Oct 22, 2024

#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!

}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment