https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90906
Martin Sebor changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90906
Martin Sebor changed:
What|Removed |Added
Keywords||patch
--- Comment #3 from Martin Sebor
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90906
--- Comment #2 from Eric Gallager ---
(In reply to Martin Sebor from comment #0)
> GCC doesn't diagnose returning a freed pointer as in the function below:
>
> void* f (void *p)
> {
> __builtin_free (p);
> // ...
> return p;
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90906
Eric Gallager changed:
What|Removed |Added
Keywords||diagnostic
