]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #22839 - lifthrasiir:better-backtrace, r=alexcrichton
authorbors <bors@rust-lang.org>
Sat, 28 Feb 2015 08:30:19 +0000 (08:30 +0000)
committerbors <bors@rust-lang.org>
Sat, 28 Feb 2015 08:30:19 +0000 (08:30 +0000)
Fixes #20978 for supported platforms (i.e. non-Android POSIX).

This uses `backtrace_pcinfo` to inspect the DWARF debug info and list the file and line pairs for given stack frame. Such pair is not unique due to the presence of inlined functions and the updated routine correctly handles this case. The code is modelled after libbacktrace's `backtrace_full` routine.

There is one known issue with this approach. Macros, when invoked, take over the current frame and shadows the file and line pair which has invoked a macro. In particular, this makes many panicking
macros a bit harder to inspect. This really is a debuginfo problem, and the backtrace routine should print them correctly with a correct debuginfo.

Some example trace:

```
thread '<main>' panicked at 'explicit panic', /home/arachneng/Works/git/rust/src/test/run-pass/backtrace-debuginfo.rs:74
stack backtrace:
   1:         0xd964702f - sys::backtrace::write::h32d93fffb64131b2yxC
   2:         0xd9670202 - panicking::on_panic::h3a4fcb37b873aefeooM
   3:         0xd95b396a - rt::unwind::begin_unwind_inner::h576b3df5f626902dJ2L
   4:         0xd9eb88df - rt::unwind::begin_unwind::h16852273847167740350
   5:         0xd9eb8afb - aux::callback::h15056955655605709172
                        at /home/arachneng/Works/git/rust/<std macros>:3
                        at src/test/run-pass/backtrace-debuginfo-aux.rs:15
   6:         0xd9eb8caa - outer::h2cf96412459fceb6ema
                        at src/test/run-pass/backtrace-debuginfo.rs:73
                        at src/test/run-pass/backtrace-debuginfo.rs:88
   7:         0xd9ebab24 - main::h3f701287441442edasa
                        at src/test/run-pass/backtrace-debuginfo.rs:134
   8:         0xd96daba8 - rust_try_inner
   9:         0xd96dab95 - rust_try
  10:         0xd9671af4 - rt::lang_start::h7da0de9529b4c394liM
  11:         0xd8f3aec4 - __libc_start_main
  12:         0xd9eb8148 - <unknown>
  13:         0xffffffff - <unknown>
```

1  2 
src/libstd/sys/unix/backtrace.rs

index 6267792ba745e5ffa82bcca807c959d8ed4dd2a5,09630f8f584fe7c93c91bbae0fe267ae65faa7ae..3695b615f62b8fe17237684d631f6f9b733bf700
@@@ -84,9 -84,8 +84,9 @@@
  /// all unix platforms we support right now, so it at least gets the job done.
  
  use prelude::v1::*;
 +use os::unix::prelude::*;
  
 -use ffi::CStr;
 +use ffi::{CStr, AsOsStr};
  use old_io::IoResult;
  use libc;
  use mem;
@@@ -128,7 -127,7 +128,7 @@@ pub fn write(w: &mut Writer) -> IoResul
  
      // skipping the first one as it is write itself
      let iter = (1..cnt).map(|i| {
-         print(w, i as int, buf[i])
+         print(w, i as int, buf[i], buf[i])
      });
      result::fold(iter, (), |_, _| ())
  }
@@@ -172,7 -171,16 +172,16 @@@ pub fn write(w: &mut Writer) -> IoResul
      extern fn trace_fn(ctx: *mut uw::_Unwind_Context,
                         arg: *mut libc::c_void) -> uw::_Unwind_Reason_Code {
          let cx: &mut Context = unsafe { mem::transmute(arg) };
-         let ip = unsafe { uw::_Unwind_GetIP(ctx) as *mut libc::c_void };
+         let mut ip_before_insn = 0;
+         let mut ip = unsafe {
+             uw::_Unwind_GetIPInfo(ctx, &mut ip_before_insn) as *mut libc::c_void
+         };
+         if ip_before_insn == 0 {
+             // this is a non-signaling frame, so `ip` refers to the address
+             // after the calling instruction. account for that.
+             ip = (ip as usize - 1) as *mut _;
+         }
          // dladdr() on osx gets whiny when we use FindEnclosingFunction, and
          // it appears to work fine without it, so we only use
          // FindEnclosingFunction on non-osx platforms. In doing so, we get a
          // instructions after it. This means that the return instruction
          // pointer points *outside* of the calling function, and by
          // unwinding it we go back to the original function.
-         let ip = if cfg!(target_os = "macos") || cfg!(target_os = "ios") {
+         let symaddr = if cfg!(target_os = "macos") || cfg!(target_os = "ios") {
              ip
          } else {
              unsafe { uw::_Unwind_FindEnclosingFunction(ip) }
          // Once we hit an error, stop trying to print more frames
          if cx.last_error.is_some() { return uw::_URC_FAILURE }
  
-         match print(cx.writer, cx.idx, ip) {
+         match print(cx.writer, cx.idx, ip, symaddr) {
              Ok(()) => {}
              Err(e) => { cx.last_error = Some(e); }
          }
  }
  
  #[cfg(any(target_os = "macos", target_os = "ios"))]
- fn print(w: &mut Writer, idx: int, addr: *mut libc::c_void) -> IoResult<()> {
+ fn print(w: &mut Writer, idx: int, addr: *mut libc::c_void,
+          _symaddr: *mut libc::c_void) -> IoResult<()> {
      use intrinsics;
      #[repr(C)]
      struct Dl_info {
  }
  
  #[cfg(not(any(target_os = "macos", target_os = "ios")))]
- fn print(w: &mut Writer, idx: int, addr: *mut libc::c_void) -> IoResult<()> {
+ fn print(w: &mut Writer, idx: int, addr: *mut libc::c_void,
+          symaddr: *mut libc::c_void) -> IoResult<()> {
      use env;
      use ptr;
  
                        symname: *const libc::c_char,
                        symval: libc::uintptr_t,
                        symsize: libc::uintptr_t);
+     type backtrace_full_callback =
+         extern "C" fn(data: *mut libc::c_void,
+                       pc: libc::uintptr_t,
+                       filename: *const libc::c_char,
+                       lineno: libc::c_int,
+                       function: *const libc::c_char) -> libc::c_int;
      type backtrace_error_callback =
          extern "C" fn(data: *mut libc::c_void,
                        msg: *const libc::c_char,
                               cb: backtrace_syminfo_callback,
                               error: backtrace_error_callback,
                               data: *mut libc::c_void) -> libc::c_int;
+         fn backtrace_pcinfo(state: *mut backtrace_state,
+                             addr: libc::uintptr_t,
+                             cb: backtrace_full_callback,
+                             error: backtrace_error_callback,
+                             data: *mut libc::c_void) -> libc::c_int;
      }
  
      ////////////////////////////////////////////////////////////////////////
      // helper callbacks
      ////////////////////////////////////////////////////////////////////////
  
+     type FileLine = (*const libc::c_char, libc::c_int);
      extern fn error_cb(_data: *mut libc::c_void, _msg: *const libc::c_char,
                         _errnum: libc::c_int) {
          // do nothing for now
          let slot = data as *mut *const libc::c_char;
          unsafe { *slot = symname; }
      }
+     extern fn pcinfo_cb(data: *mut libc::c_void,
+                         _pc: libc::uintptr_t,
+                         filename: *const libc::c_char,
+                         lineno: libc::c_int,
+                         _function: *const libc::c_char) -> libc::c_int {
+         if !filename.is_null() {
+             let slot = data as *mut &mut [FileLine];
+             let buffer = unsafe {ptr::read(slot)};
+             // if the buffer is not full, add file:line to the buffer
+             // and adjust the buffer for next possible calls to pcinfo_cb.
+             if !buffer.is_empty() {
+                 buffer[0] = (filename, lineno);
+                 unsafe { ptr::write(slot, &mut buffer[1..]); }
+             }
+         }
+         0
+     }
  
      // The libbacktrace API supports creating a state, but it does not
      // support destroying a state. I personally take this to mean that a
          };
          let filename = match selfname {
              Some(path) => {
 -                let bytes = path.as_vec();
 +                let bytes = path.as_os_str().as_bytes();
                  if bytes.len() < LAST_FILENAME.len() {
                      let i = bytes.iter();
                      for (slot, val) in LAST_FILENAME.iter_mut().zip(i) {
      let mut data = ptr::null();
      let data_addr = &mut data as *mut *const libc::c_char;
      let ret = unsafe {
-         backtrace_syminfo(state, addr as libc::uintptr_t,
+         backtrace_syminfo(state, symaddr as libc::uintptr_t,
                            syminfo_cb, error_cb,
                            data_addr as *mut libc::c_void)
      };
      if ret == 0 || data.is_null() {
-         output(w, idx, addr, None)
+         try!(output(w, idx, addr, None));
      } else {
-         output(w, idx, addr, Some(unsafe { CStr::from_ptr(data).to_bytes() }))
+         try!(output(w, idx, addr, Some(unsafe { CStr::from_ptr(data).to_bytes() })));
+     }
+     // pcinfo may return an arbitrary number of file:line pairs,
+     // in the order of stack trace (i.e. inlined calls first).
+     // in order to avoid allocation, we stack-allocate a fixed size of entries.
+     const FILELINE_SIZE: usize = 32;
+     let mut fileline_buf = [(ptr::null(), -1); FILELINE_SIZE];
+     let ret;
+     let fileline_count;
+     {
+         let mut fileline_win: &mut [FileLine] = &mut fileline_buf;
+         let fileline_addr = &mut fileline_win as *mut &mut [FileLine];
+         ret = unsafe {
+             backtrace_pcinfo(state, addr as libc::uintptr_t,
+                              pcinfo_cb, error_cb,
+                              fileline_addr as *mut libc::c_void)
+         };
+         fileline_count = FILELINE_SIZE - fileline_win.len();
      }
+     if ret == 0 {
+         for (i, &(file, line)) in fileline_buf[..fileline_count].iter().enumerate() {
+             if file.is_null() { continue; } // just to be sure
+             let file = unsafe { CStr::from_ptr(file).to_bytes() };
+             try!(output_fileline(w, file, line, i == FILELINE_SIZE - 1));
+         }
+     }
+     Ok(())
  }
  
  // Finally, after all that work above, we can emit a symbol.
@@@ -381,6 -450,18 +451,18 @@@ fn output(w: &mut Writer, idx: int, add
      w.write_all(&['\n' as u8])
  }
  
+ #[allow(dead_code)]
+ fn output_fileline(w: &mut Writer, file: &[u8], line: libc::c_int,
+                    more: bool) -> IoResult<()> {
+     let file = str::from_utf8(file).ok().unwrap_or("<unknown>");
+     // prior line: "  ##: {:2$} - func"
+     try!(write!(w, "      {:3$}at {}:{}", "", file, line, HEX_WIDTH));
+     if more {
+         try!(write!(w, " <... and possibly more>"));
+     }
+     w.write_all(&['\n' as u8])
+ }
  /// Unwind library interface used for backtraces
  ///
  /// Note that dead code is allowed as here are just bindings
@@@ -421,9 -502,12 +503,12 @@@ mod uw 
                                   trace_argument: *mut libc::c_void)
                      -> _Unwind_Reason_Code;
  
+         // available since GCC 4.2.0, should be fine for our purpose
          #[cfg(all(not(all(target_os = "android", target_arch = "arm")),
                    not(all(target_os = "linux", target_arch = "arm"))))]
-         pub fn _Unwind_GetIP(ctx: *mut _Unwind_Context) -> libc::uintptr_t;
+         pub fn _Unwind_GetIPInfo(ctx: *mut _Unwind_Context,
+                                  ip_before_insn: *mut libc::c_int)
+                     -> libc::uintptr_t;
  
          #[cfg(all(not(target_os = "android"),
                    not(all(target_os = "linux", target_arch = "arm"))))]
          (val & !1) as libc::uintptr_t
      }
  
+     // This function doesn't exist on Android or ARM/Linux, so make it same
+     // to _Unwind_GetIP
+     #[cfg(any(target_os = "android",
+               all(target_os = "linux", target_arch = "arm")))]
+     pub unsafe fn _Unwind_GetIPInfo(ctx: *mut _Unwind_Context,
+                                     ip_before_insn: *mut libc::c_int)
+         -> libc::uintptr_t
+     {
+         *ip_before_insn = 0;
+         _Unwind_GetIP(ctx)
+     }
      // This function also doesn't exist on Android or ARM/Linux, so make it
      // a no-op
      #[cfg(any(target_os = "android",