Make backtraces slightly more reliable.

[pintos-anon] / src / lib / debug.c

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 6d7c9e13bf064761b1496a232994040498b4c5d2..1dc1bf8fd69db3c5651654620dcf79200cbf6844 100644 (file)
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -17,7 +17,7 @@ debug_backtrace (void)
   
   printf ("Call stack:");
   for (frame = __builtin_frame_address (0);
-       frame != NULL && frame[0] != NULL;
+       (uintptr_t) frame >= 0x1000 && frame[0] != NULL;
        frame = frame[0]) 
     printf (" %p", frame[1]);
   printf (".\n");