with-gdb-backtrace-to

   1 #!/bin/sh
   2
   3 # by christian at jaeger mine nu, put into the public domain
   4 # thanks go to tromey on #gdb
   5
   6 set -eu
   7
   8 myname=`basename "$0"`
   9
  10 if [ $# -lt 2 ]; then
  11         echo "usage: $myname outfile program arguments"
  12         echo "  runs program with arguments and outputs gdb log to"
  13         echo "  \${outfile}.log and the backtrace to \${outfile}_backtrace.txt"
  14         exit 1
  15 fi
  16
  17 outfile="$1"
  18 shift
  19 program="$1"
  20 shift
  21
  22 cmdfile=`tempfile`
  23 logfile="${outfile}.log"
  24 backtracefile="${outfile}_backtrace.txt"
  25
  26 moveold () {
  27     if test -e "$1"; then
  28         mvnumber "$1" || true
  29     fi
  30 }
  31
  32 moveold "$logfile"
  33 moveold "$backtracefile"
  34
  35 ##todo: can't use quotes in cmd files. but what about files with spaces?...
  36 cat <<EOF > "$cmdfile"
  37 set pagination off
  38 set logging file $logfile
  39 set logging on
  40 set logging redirect on
  41 run
  42 set logging off
  43 set logging redirect off
  44 set logging file $backtracefile
  45 set logging on
  46 set logging redirect on
  47 bt full
  48 quit
  49 EOF
  50
  51 gdb -x "$cmdfile" -batch-silent --args "$program" "$@"
  52 rm "$cmdfile"
  53
  54 if [ "No stack." == "`cat "$backtracefile"`" ]; then
  55     rm "$backtracefile"
  56 else
  57     echo "$myname: application generated a backtrace" >&2
  58 fi
  59
  60 # produce a success/error exit code:
  61 tail -1 "$logfile" | grep --quiet "Program exited normally"