# HG changeset patch
# User Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
# Date 1384229439 -32400
# Node ID 76cd6ae48a1b65833af17febe72dcf038a10f213
# Parent  6d11ed2a5bedab14648eae71ac00023eee1da651
add comment for malloc-free

diff -r 6d11ed2a5bed -r 76cd6ae48a1b pointer_longjump.c
--- a/pointer_longjump.c	Tue Nov 12 13:06:35 2013 +0900
+++ b/pointer_longjump.c	Tue Nov 12 13:10:39 2013 +0900
@@ -25,6 +25,7 @@
   if (setjmp(__enviroment)){
     free(__enviroment);
     printf("main1 return\n");
+    // We haven't freed __ret_p's memory... Where is the best position of the free()?
     return *__ret_p;
   }
   __return = (void*)return1;