Preventing Double-Free Errors

Explain how the compiler enforces memory safety to avoid invalid pointer access.