[sanitizer] Delete an unused function.