On 11/5/19 11:40 AM, Jan Hubicka wrote:
+       print "  if (ptr->" name")";
+       print "    free (const_cast <char *>(ptr->" name"));";

If I'm correct, you can call free even for a NULL pointer.

Martin

Reply via email to