build tracebacks incrementally while c++ unwinding

Add a tb_next to the BoxedTraceback object, which during normal unwinding is how we add lines to a traceback.
For getTraceback() we take advantage fo the fact that each BoxedTraceback can have multiple lines in it, and
only create one.  Also add BoxedTraceback::Here which is kinda like PyTraceback_Here, except that since we
don't have access to the ExcInfo inside it, we have to pass a pointer to the BoxedTraceback*.

three wrinkles in traceback generation while unwinding are:

   1) if the previous frame was an osr frame (so we should skip the current frame)
   2) if the traceback object was passed to raise3, or raise0 was used (treated as a re-raise by cpython)
   3) the interpreter map

1 and 2 are fixed by keeping a per-thread interpreter state variable, "unwind_why" ("why" is probably
a bad name to use in this context, but cpython's logic uses that word as well), to record if we're in
either of those cases.  Both cases have the same effect (skip the next traceback line, and reset state
to NORMAL.)

The interpreter map problem comes about because of the way c++ unwinding works.  since ASTInterpreter::execute
uses RAII for RegisterHelper, unwinding through the frame causes us to jump to a cleanup block and then resume
unwinding (with the IP still in ASTInterpreter::execute).  Since the IP is there, we assume the frame is valid
and we can look up $rbp in the interpreter map.  Given that we just cleaned up the RegisterHelper (and removed
the $rbp mapping), we crash.

The fix here is to keep the same RegisterHelper in ASTInterpreter::execute, but the ip checked for by the
unwinder (and the $rbp in the mapping) correspond to ASTInterpreter::executeInner.

Lastly, AST_Interpreter::invoke catches exceptions, so we won't make it to the top-most ASTInterpreter::execute,
and so won't add the final line.  We make use of BoxedTraceback::Here here as well to add the final line.

from_cpython/Include/pystate.h

@@ -110,6 +110,15 @@ typedef struct _ts {
 
 } PyThreadState;
 #endif
+// somewhat similar to CPython's WHY_* enum
+// UNWIND_WHY_NORMAL : == WHY_EXCEPTION.  we call it "NORMAL" since we often unwind due to things other than exceptions (getGlobals, getLocals, etc)
+// UNWIND_WHY_RERAISE: same as NORMAL, except we are supposed to skip the first frame.
+// UNWIND_WHY_OSR    : The previous frame was an osr replacement for the next one, so we should skip it
+enum {
+    UNWIND_WHY_NORMAL = 0,
+    UNWIND_WHY_RERAISE,
+    UNWIND_WHY_OSR
+};
 typedef struct _ts {
     int recursion_depth;
 
@@ -119,6 +128,9 @@ typedef struct _ts {
 
     PyObject *dict;  /* Stores per-thread state */
 
+    // one of the UNWIND_WHY_* above
+    int unwind_why;
+
     // Pyston note: additions in here need to be mirrored in ThreadStateInternal::accept
 } PyThreadState;
 

src/codegen/ast_interpreter.cpp

@@ -41,6 +41,7 @@
 #include "runtime/long.h"
 #include "runtime/objmodel.h"
 #include "runtime/set.h"
+#include "runtime/traceback.h"
 #include "runtime/types.h"
 
 #ifndef NDEBUG
@@ -55,29 +56,6 @@ namespace {
 
 static BoxedClass* astinterpreter_cls;
 
-class ASTInterpreter;
-
-// Map from stack frame pointers for frames corresponding to ASTInterpreter::execute() to the ASTInterpreter handling
-// them. Used to look up information about that frame. This is used for getting tracebacks, for CPython introspection
-// (sys._getframe & co), and for GC scanning.
-static std::unordered_map<void*, ASTInterpreter*> s_interpreterMap;
-static_assert(THREADING_USE_GIL, "have to make the interpreter map thread safe!");
-
-class RegisterHelper {
-private:
-    void* frame_addr;
-    ASTInterpreter* interpreter;
-
-public:
-    RegisterHelper(ASTInterpreter* interpreter, void* frame_addr);
-    ~RegisterHelper();
-
-    static void deregister(void* frame_addr) {
-        assert(s_interpreterMap.count(frame_addr));
-        s_interpreterMap.erase(frame_addr);
-    }
-};
-
 union Value {
     bool b;
     int64_t n;
@@ -93,6 +71,20 @@ union Value {
     }
 };
 
+class ASTInterpreter;
+
+class RegisterHelper {
+private:
+    void* frame_addr;
+    ASTInterpreter* interpreter;
+
+public:
+    RegisterHelper();
+    ~RegisterHelper();
+    void doRegister(void* frame_addr, ASTInterpreter* interpreter);
+    static void deregister(void* frame_addr);
+};
+
 class ASTInterpreter : public Box {
 public:
     typedef ContiguousMap<InternedString, Box*> SymMap;
@@ -102,11 +94,13 @@ public:
     void initArguments(int nargs, BoxedClosure* closure, BoxedGenerator* generator, Box* arg1, Box* arg2, Box* arg3,
                        Box** args);
 
+    static Value execute(ASTInterpreter& interpreter, CFGBlock* start_block = NULL, AST_stmt* start_at = NULL);
     // This must not be inlined, because we rely on being able to detect when we're inside of it (by checking whether
     // %rip is inside its instruction range) during a stack-trace in order to produce tracebacks inside interpreted
     // code.
     __attribute__((__no_inline__)) static Value
-        execute(ASTInterpreter& interpreter, CFGBlock* start_block = NULL, AST_stmt* start_at = NULL);
+        executeInner(ASTInterpreter& interpreter, CFGBlock* start_block, AST_stmt* start_at, RegisterHelper* reg);
+
 
 private:
     Box* createFunction(AST* node, AST_arguments* args, const std::vector<AST_stmt*>& body);
@@ -318,22 +312,40 @@ void ASTInterpreter::initArguments(int nargs, BoxedClosure* _closure, BoxedGener
     }
 }
 
-RegisterHelper::RegisterHelper(ASTInterpreter* interpreter, void* frame_addr)
-    : frame_addr(frame_addr), interpreter(interpreter) {
-    interpreter->frame_addr = frame_addr;
-    s_interpreterMap[frame_addr] = interpreter;
-}
+// Map from stack frame pointers for frames corresponding to ASTInterpreter::execute() to the ASTInterpreter handling
+// them. Used to look up information about that frame. This is used for getting tracebacks, for CPython introspection
+// (sys._getframe & co), and for GC scanning.
+static std::unordered_map<void*, ASTInterpreter*> s_interpreterMap;
+static_assert(THREADING_USE_GIL, "have to make the interpreter map thread safe!");
+
+RegisterHelper::RegisterHelper() : frame_addr(NULL), interpreter(NULL) { }
 
 RegisterHelper::~RegisterHelper() {
+    assert(interpreter);
+    assert(interpreter->frame_addr == frame_addr);
     interpreter->frame_addr = nullptr;
     deregister(frame_addr);
 }
 
-Value ASTInterpreter::execute(ASTInterpreter& interpreter, CFGBlock* start_block, AST_stmt* start_at) {
-    STAT_TIMER(t0, "us_timer_astinterpreter_execute");
+void RegisterHelper::doRegister(void* frame_addr, ASTInterpreter* interpreter) {
+    assert(!this->interpreter);
+    assert(!this->frame_addr);
+    this->frame_addr = frame_addr;
+    this->interpreter = interpreter;
+    interpreter->frame_addr = frame_addr;
+    s_interpreterMap[frame_addr] = interpreter;
+}
+    
+    void RegisterHelper::deregister(void* frame_addr) {
+        assert(frame_addr);
+        assert(s_interpreterMap.count(frame_addr));
+        s_interpreterMap.erase(frame_addr);
+    }
 
+Value ASTInterpreter::executeInner(ASTInterpreter& interpreter, CFGBlock* start_block, AST_stmt* start_at,
+                                   RegisterHelper* reg) {
     void* frame_addr = __builtin_frame_address(0);
-    RegisterHelper frame_registerer(&interpreter, frame_addr);
+    reg->doRegister(frame_addr, &interpreter);
 
     Value v;
 
@@ -373,6 +385,14 @@ Value ASTInterpreter::execute(ASTInterpreter& interpreter, CFGBlock* start_block
     return v;
 }
 
+Value ASTInterpreter::execute(ASTInterpreter& interpreter, CFGBlock* start_block, AST_stmt* start_at) {
+    STAT_TIMER(t0, "us_timer_astinterpreter_execute");
+
+    RegisterHelper frame_registerer;
+
+    return executeInner(interpreter, start_block, start_at, &frame_registerer);
+}
+
 Value ASTInterpreter::doBinOp(Box* left, Box* right, int op, BinExpType exp_type) {
     switch (exp_type) {
         case BinExpType::AugBinOp:
@@ -610,6 +630,21 @@ Value ASTInterpreter::visit_invoke(AST_Invoke* node) {
         v = visit_stmt(node->stmt);
         next_block = node->normal_dest;
     } catch (ExcInfo e) {
+
+        if (cur_thread_state.unwind_why == UNWIND_WHY_NORMAL) {
+            // when generating the traceback incrementally we only
+            // include an interpreter frame if we unwind through
+            // ASTInterpreter::execute_inner.  this will keep a toplevel
+            // invoke from showing up, since we catch the exception
+            // here.
+
+            auto source = getCF()->clfunc->source.get();
+            BoxedTraceback::Here(LineInfo(node->lineno, node->col_offset, source->fn, source->getName()),
+                                 reinterpret_cast<BoxedTraceback**>(&e.traceback));
+        }
+
+        cur_thread_state.unwind_why = UNWIND_WHY_NORMAL;
+
         next_block = node->exc_dest;
         last_exception = e;
     }
@@ -1269,7 +1304,7 @@ Value ASTInterpreter::visit_attribute(AST_Attribute* node) {
 }
 }
 
-const void* interpreter_instr_addr = (void*)&ASTInterpreter::execute;
+const void* interpreter_instr_addr = (void*)&ASTInterpreter::executeInner;
 
 Box* astInterpretFunction(CompiledFunction* cf, int nargs, Box* closure, Box* generator, Box* globals, Box* arg1,
                           Box* arg2, Box* arg3, Box** args) {

src/codegen/unwinding.h

@@ -36,6 +36,8 @@ CompiledFunction* getCFForAddress(uint64_t addr);
 
 BoxedTraceback* getTraceback();
 
+void maybeTracebackHere(void* unw_cursor, BoxedTraceback** tb);
+
 struct ExecutionPoint {
     CompiledFunction* cf;
     AST_stmt* current_stmt;

src/core/threading.cpp

@@ -38,7 +38,7 @@ namespace threading {
 
 extern "C" {
 __thread PyThreadState cur_thread_state
-    = { 0, NULL, NULL, NULL, NULL }; // not sure if we need to explicitly request zero-initialization
+    = { 0, NULL, NULL, NULL, NULL, UNWIND_WHY_NORMAL }; // not sure if we need to explicitly request zero-initialization
 }
 
 PthreadFastMutex threading_lock;

src/core/types.h

@@ -666,7 +666,7 @@ void raiseSyntaxErrorHelper(llvm::StringRef file, llvm::StringRef func, AST* nod
 
 struct LineInfo {
 public:
-    const int line, column;
+    int line, column;
     std::string file, func;
 
     LineInfo(int line, int column, llvm::StringRef file, llvm::StringRef func)

src/runtime/cxx_unwind.cpp

@@ -20,13 +20,15 @@
 
 #include "llvm/Support/LEB128.h" // for {U,S}LEB128 decoding
 
+#include "asm_writing/assembler.h"   // assembler
 #include "codegen/ast_interpreter.h" // interpreter_instr_addr
 #include "codegen/unwinding.h"       // getCFForAddress
 #include "core/ast.h"
-#include "core/stats.h"        // StatCounter
-#include "core/types.h"        // for ExcInfo
-#include "core/util.h"         // Timer
-#include "runtime/generator.h" // generatorEntry
+#include "core/stats.h"              // StatCounter
+#include "core/types.h"              // for ExcInfo
+#include "core/util.h"               // Timer
+#include "runtime/generator.h"       // generatorEntry
+#include "runtime/traceback.h"       // BoxedTraceback::addLine
 
 #define UNW_LOCAL_ONLY
 #include <libunwind.h>
@@ -101,15 +103,6 @@ thread_local ExcData exception_ferry;
 
 static_assert(offsetof(ExcData, exc) == 0, "wrong offset");
 
-// Timer that auto-logs.
-struct LogTimer {
-    StatCounter& counter;
-    Timer timer;
-
-    LogTimer(const char* desc, StatCounter& ctr, long min_usec = -1) : counter(ctr), timer(desc, min_usec) {}
-    ~LogTimer() { counter.log(timer.end()); }
-};
-
 static StatCounter us_unwind_loop("us_unwind_loop");
 static StatCounter us_unwind_resume_catch("us_unwind_resume_catch");
 static StatCounter us_unwind_cleanup("us_unwind_cleanup");
@@ -508,16 +501,8 @@ static inline int64_t determine_action(const lsda_info_t* info, const call_site_
     RELEASE_ASSERT(0, "action chain exhausted and no cleanup indicated");
 }
 
-static inline int step(unw_cursor_t* cp) {
-    LogTimer t("unw_step", us_unwind_step, 5);
-    return unw_step(cp);
-}
-
 // The stack-unwinding loop.
-// TODO: integrate incremental traceback generation into this function
-static inline void unwind_loop(const ExcData* exc_data) {
-    Timer t("unwind_loop", 50);
-
+static inline void unwind_loop(ExcData* exc_data) {
     // NB. https://monoinfinito.wordpress.com/series/exception-handling-in-c/ is a very useful resource
     // as are http://www.airs.com/blog/archives/460 and http://www.airs.com/blog/archives/464
     unw_cursor_t cursor;
@@ -530,11 +515,10 @@ static inline void unwind_loop(const ExcData* exc_data) {
     unw_getcontext(&uc);
     unw_init_local(&cursor, &uc);
 
-    while (step(&cursor) > 0) {
+    while (unw_step(&cursor) > 0) {
         unw_proc_info_t pip;
         {
             // NB. unw_get_proc_info is slow; a significant chunk of all time spent unwinding is spent here.
-            LogTimer t_procinfo("get_proc_info", us_unwind_get_proc_info, 10);
             check(unw_get_proc_info(&cursor, &pip));
         }
         assert((pip.lsda == 0) == (pip.handler == 0));
@@ -544,6 +528,8 @@ static inline void unwind_loop(const ExcData* exc_data) {
             print_frame(&cursor, &pip);
         }
 
+        maybeTracebackHere(&cursor, reinterpret_cast<BoxedTraceback**>(&exc_data->exc.traceback));
+
         // Skip frames without handlers
         if (pip.handler == 0) {
             continue;
@@ -560,8 +546,6 @@ static inline void unwind_loop(const ExcData* exc_data) {
 
         call_site_entry_t entry;
         {
-            LogTimer t_call_site("find_call_site_entry", us_unwind_find_call_site_entry, 10);
-
             // 2. Find our current IP in the call site table.
             unw_word_t ip;
             unw_get_reg(&cursor, UNW_REG_IP, &ip);
@@ -592,17 +576,15 @@ static inline void unwind_loop(const ExcData* exc_data) {
         }
 
         int64_t switch_value = determine_action(&info, &entry);
-        us_unwind_loop.log(t.end());
         resume(&cursor, entry.landing_pad, switch_value, exc_data);
     }
 
-    us_unwind_loop.log(t.end());
     // Hit end of stack! return & let unwindException determine what to do.
 }
 
 
 // The unwinder entry-point.
-static void unwind(const ExcData* exc) {
+static void unwind(ExcData* exc) {
     exc->check();
     unwind_loop(exc);
     // unwind_loop returned, couldn't find any handler. ruh-roh.
@@ -637,7 +619,7 @@ extern "C" void _Unwind_Resume(struct _Unwind_Exception* _exc) {
     if (VERBOSITY("cxx_unwind") >= 4)
         printf("***** _Unwind_Resume() *****\n");
     // we give `_exc' type `struct _Unwind_Exception*' because unwind.h demands it; it's not actually accurate
-    const pyston::ExcData* data = (const pyston::ExcData*)_exc;
+    pyston::ExcData* data = (pyston::ExcData*)_exc;
     pyston::unwind(data);
 }
 
@@ -708,7 +690,7 @@ extern "C" void __cxa_throw(void* exc_obj, std::type_info* tinfo, void (*dtor)(v
     if (VERBOSITY("cxx_unwind") >= 4)
         printf("***** __cxa_throw() *****\n");
 
-    const pyston::ExcData* exc_data = (const pyston::ExcData*)exc_obj;
+    pyston::ExcData* exc_data = (pyston::ExcData*)exc_obj;
     exc_data->check();
     pyston::unwind(exc_data);
 }

src/runtime/stacktrace.cpp

@@ -76,7 +76,7 @@ void raiseRaw(const ExcInfo& e) {
 }
 
 void raiseExc(Box* exc_obj) {
-    raiseRaw(ExcInfo(exc_obj->cls, exc_obj, getTraceback()));
+    raiseRaw(ExcInfo(exc_obj->cls, exc_obj, new BoxedTraceback()));
 }
 
 // Have a special helper function for syntax errors, since we want to include the location
@@ -84,10 +84,9 @@ void raiseExc(Box* exc_obj) {
 void raiseSyntaxError(const char* msg, int lineno, int col_offset, llvm::StringRef file, llvm::StringRef func) {
     Box* exc = runtimeCall(SyntaxError, ArgPassSpec(1), boxString(msg), NULL, NULL, NULL, NULL);
 
-    auto tb = getTraceback();
-    std::vector<const LineInfo*> entries = tb->lines;
-    entries.push_back(new LineInfo(lineno, col_offset, file, func));
-    raiseRaw(ExcInfo(exc->cls, exc, new BoxedTraceback(std::move(entries))));
+    auto tb = new BoxedTraceback();
+    tb->addLine(LineInfo(lineno, col_offset, file, func));
+    raiseRaw(ExcInfo(exc->cls, exc, tb));
 }
 
 void raiseSyntaxErrorHelper(llvm::StringRef file, llvm::StringRef func, AST* node_at, const char* msg, ...) {
@@ -205,6 +204,7 @@ extern "C" void raise0() {
     if (exc_info->type == None)
         raiseExcHelper(TypeError, "exceptions must be old-style classes or derived from BaseException, not NoneType");
 
+    cur_thread_state.unwind_why = UNWIND_WHY_RERAISE;
     raiseRaw(*exc_info);
 }
 
@@ -229,8 +229,12 @@ ExcInfo excInfoForRaise(Box* type, Box* value, Box* tb) {
     assert(type && value && tb); // use None for default behavior, not nullptr
     // TODO switch this to PyErr_Normalize
 
-    if (tb == None)
-        tb = getTraceback();
+    if (tb == None) {
+        tb = NULL;
+    } else if (tb != NULL && !PyTraceBack_Check(tb)) {
+        raiseExcHelper(TypeError, "raise: arg 3 must be a traceback or None");
+    }
+
 
     /* Next, repeatedly, replace a tuple exception with its first item */
     while (PyTuple_Check(type) && PyTuple_Size(type) > 0) {
@@ -242,6 +246,7 @@ ExcInfo excInfoForRaise(Box* type, Box* value, Box* tb) {
 
     if (PyExceptionClass_Check(type)) {
         PyErr_NormalizeException(&type, &value, &tb);
+
         if (!PyExceptionInstance_Check(value)) {
             raiseExcHelper(TypeError, "calling %s() should have returned an instance of "
                                       "BaseException, not '%s'",
@@ -268,11 +273,18 @@ ExcInfo excInfoForRaise(Box* type, Box* value, Box* tb) {
 
     assert(PyExceptionClass_Check(type));
 
+    if (tb == NULL) {
+        tb = new BoxedTraceback();
+    }
+
     return ExcInfo(type, value, tb);
 }
 
 extern "C" void raise3(Box* arg0, Box* arg1, Box* arg2) {
-    raiseRaw(excInfoForRaise(arg0, arg1, arg2));
+    bool reraise = arg2 != NULL && arg2 != None;
+    auto exc_info = excInfoForRaise(arg0, arg1, arg2);
+    cur_thread_state.unwind_why = reraise ? UNWIND_WHY_RERAISE : UNWIND_WHY_NORMAL;
+    raiseRaw(exc_info);
 }
 
 void raiseExcHelper(BoxedClass* cls, Box* arg) {

src/runtime/traceback.cpp

@@ -24,6 +24,7 @@
 #include "core/stats.h"
 #include "core/types.h"
 #include "gc/collector.h"
+#include "runtime/list.h"
 #include "runtime/objmodel.h"
 #include "runtime/types.h"
 #include "runtime/util.h"
@@ -40,6 +41,8 @@ void BoxedTraceback::gcHandler(GCVisitor* v, Box* b) {
 
     if (self->py_lines)
         v->visit(self->py_lines);
+    if (self->tb_next)
+        v->visit(self->tb_next);
 
     boxGCHandler(v, b);
 }
@@ -53,43 +56,49 @@ void printTraceback(Box* b) {
 
     fprintf(stderr, "Traceback (most recent call last):\n");
 
-    for (auto line : tb->lines) {
-        fprintf(stderr, "  File \"%s\", line %d, in %s:\n", line->file.c_str(), line->line, line->func.c_str());
-
-        if (line->line < 0)
-            continue;
-
-        FILE* f = fopen(line->file.c_str(), "r");
-        if (f) {
-            assert(line->line < 10000000 && "Refusing to try to seek that many lines forward");
-            for (int i = 1; i < line->line; i++) {
+    for (; tb && tb != None; tb = static_cast<BoxedTraceback*>(tb->tb_next)) {
+        for (auto line : tb->lines) {
+            fprintf(stderr, "  File \"%s\", line %d, in %s:\n", line.file.c_str(), line.line, line.func.c_str());
+
+            if (line.line < 0)
+                continue;
+
+            FILE* f = fopen(line.file.c_str(), "r");
+            if (f) {
+                assert(line.line < 10000000 && "Refusing to try to seek that many lines forward");
+                for (int i = 1; i < line.line; i++) {
+                    char* buf = NULL;
+                    size_t size;
+                    size_t r = getline(&buf, &size, f);
+                    if (r != -1)
+                        free(buf);
+                }
                 char* buf = NULL;
                 size_t size;
                 size_t r = getline(&buf, &size, f);
-                if (r != -1)
+                if (r != -1) {
+                    while (buf[r - 1] == '\n' or buf[r - 1] == '\r')
+                        r--;
+
+                    char* ptr = buf;
+                    while (*ptr == ' ' || *ptr == '\t') {
+                        ptr++;
+                        r--;
+                    }
+
+                    fprintf(stderr, "    %.*s\n", (int)r, ptr);
                     free(buf);
-            }
-            char* buf = NULL;
-            size_t size;
-            size_t r = getline(&buf, &size, f);
-            if (r != -1) {
-                while (buf[r - 1] == '\n' or buf[r - 1] == '\r')
-                    r--;
-
-                char* ptr = buf;
-                while (*ptr == ' ' || *ptr == '\t') {
-                    ptr++;
-                    r--;
                 }
-
-                fprintf(stderr, "    %.*s\n", (int)r, ptr);
-                free(buf);
+                fclose(f);
             }
-            fclose(f);
         }
     }
 }
 
+void BoxedTraceback::addLine(const LineInfo line) {
+    lines.insert(lines.begin(), line);
+}
+
 Box* BoxedTraceback::getLines(Box* b) {
     assert(b->cls == traceback_cls);
 
@@ -97,10 +106,12 @@ Box* BoxedTraceback::getLines(Box* b) {
 
     if (!tb->py_lines) {
         BoxedList* lines = new BoxedList();
-        lines->ensure(tb->lines.size());
-        for (auto line : tb->lines) {
-            auto l = BoxedTuple::create({ boxString(line->file), boxString(line->func), boxInt(line->line) });
-            listAppendInternal(lines, l);
+        for (BoxedTraceback* wtb = tb; wtb && wtb != None; wtb = static_cast<BoxedTraceback*>(wtb->tb_next)) {
+            lines->ensure(wtb->lines.size());
+            for (auto& line : wtb->lines) {
+                auto l = BoxedTuple::create({ boxString(line.file), boxString(line.func), boxInt(line.line) });
+                listAppendInternal(lines, l);
+            }
         }
         tb->py_lines = lines;
     }
@@ -108,6 +119,11 @@ Box* BoxedTraceback::getLines(Box* b) {
     return tb->py_lines;
 }
 
+void BoxedTraceback::Here(LineInfo lineInfo, BoxedTraceback** tb) {
+    *tb = new BoxedTraceback(*tb);
+    (*tb)->addLine(lineInfo);
+}
+
 void setupTraceback() {
     traceback_cls = BoxedHeapClass::create(type_cls, object_cls, BoxedTraceback::gcHandler, 0, 0,
                                            sizeof(BoxedTraceback), false, "traceback");

src/runtime/traceback.h

@@ -27,19 +27,25 @@ class GCVisitor;
 extern "C" BoxedClass* traceback_cls;
 class BoxedTraceback : public Box {
 public:
-    std::vector<const LineInfo*> lines;
+    typedef llvm::SmallVector<LineInfo, 1> LinesVector;
+    Box* tb_next;
+    LinesVector lines;
     Box* py_lines;
 
-    BoxedTraceback(std::vector<const LineInfo*> lines) : lines(std::move(lines)), py_lines(NULL) {}
-    BoxedTraceback() : py_lines(NULL) {}
+    BoxedTraceback(LinesVector&& lines) : tb_next(None), lines(std::move(lines)), py_lines(NULL) {}
+    BoxedTraceback(BoxedTraceback* tb_next) : tb_next(tb_next), py_lines(NULL) {}
+    BoxedTraceback() : tb_next(None), py_lines(NULL) {}
 
     DEFAULT_CLASS(traceback_cls);
 
-    void addLine(const LineInfo* line);
+    void addLine(const LineInfo line);
 
     static Box* getLines(Box* b);
 
     static void gcHandler(gc::GCVisitor* v, Box* b);
+
+    // somewhat equivalent to PyTraceBack_Here
+    static void Here(LineInfo lineInfo, BoxedTraceback** tb);
 };
 
 void printTraceback(Box* b);

test/tests/incremental_tb.py

+import traceback
+import sys
+def f():
+    a, b, c = sys.exc_info()
+    raise a, b, c
+
+et0, ev0, tb0 = None, None, None
+
+try:
+    1/0
+except:
+    pass
+
+for i in xrange(10):
+    try:
+        f()
+    except:
+        et0, ev0, tb0 = sys.exc_info()
+
+print "******** 0", ''.join(traceback.format_exception(et0, ev0, tb0))
+
+
+et1, ev1, tb1 = None, None, None
+et2, ev2, tb2 = None, None, None
+
+def f1():
+    raise
+
+def f2():
+    f1()
+
+def f21():
+    raise Exception()
+
+def f3():
+    try:
+        f21()
+    except:
+        global et1, tv1, tb1
+        et1, tv1, tb1 = sys.exc_info()
+        f2()
+
+
+try:
+    f3()
+except:
+    et2, tv2, tb2 = sys.exc_info()
+
+print "******** 1", ''.join(traceback.format_exception(et1, ev1, tb1))
+print "******** 2", ''.join(traceback.format_exception(et2, ev2, tb2))
+
+print et1 is et2
+print ev1 is ev2
+print tb1 is tb2

test/tests/traceback_limits.py

-# expected: fail
-# - we don't stop tracebacks at the catching except handler.  this is hard do the way it gets added to
-# (ie a bare "raise" statement will add more traceback entries to the traceback it raises)
-
 import sys
 import traceback