[2635] | 1 | #!/bin/bash |
---|
[992] | 2 | |
---|
| 3 | if [ -z $1 ] ; then |
---|
| 4 | echo '' |
---|
[7926] | 5 | echo 'Usage: arb_valgrind [options] <arb_program> <arguments>' |
---|
[992] | 6 | echo '' |
---|
[3991] | 7 | echo ' runs valgrind (versions 3.x) on <arb_program> piping results through a filter' |
---|
[992] | 8 | echo ' so that the output can be used as emacs error messages' |
---|
| 9 | echo '' |
---|
[7926] | 10 | echo ' options:' |
---|
| 11 | echo '' |
---|
[3991] | 12 | echo ' -m use massif (default uses memcheck)' |
---|
[3976] | 13 | echo ' -c <callers> show <callers> stackframes (default: none)' |
---|
[992] | 14 | echo ' [in fact they are always shown, but not marked as errors]' |
---|
[3976] | 15 | echo ' -f <filter> regexpr to filter the reason (default: all)' |
---|
[1012] | 16 | echo ' -l [-r] turn on leak-checking (-r for reachable blocks)' |
---|
[3976] | 17 | echo ' -A show known boring errors (most Xt/Motif-related)' |
---|
[6738] | 18 | echo ' -q quiet' |
---|
[7202] | 19 | echo ' -L <file> log stdout to <file> (does not work with -D)' |
---|
[8099] | 20 | echo ' -E <file> log stderr to <file> (does not work with -D)' |
---|
| 21 | echo ' Default is to collect output and print in after valgrind terminates' |
---|
[5913] | 22 | echo ' -D run gdb on error' |
---|
[7926] | 23 | echo ' -e return exitcode 1 on valgrind-errors' |
---|
[992] | 24 | echo '' |
---|
| 25 | echo '' |
---|
| 26 | echo 'Usage: arb_valgrind update' |
---|
| 27 | echo '' |
---|
[1012] | 28 | echo ' Updates the source file list which is needed to create correct file refs.' |
---|
| 29 | echo ' Called automatically by normal use if list is missing.' |
---|
| 30 | echo ' Call if files are not highlighted as errors (i.e if you have new files).' |
---|
[992] | 31 | echo '' |
---|
[1003] | 32 | echo 'Environment:' |
---|
| 33 | echo '' |
---|
| 34 | echo ' $ARBHOME a directory which has to contain a subdirectory SOURCE_TOOLS.' |
---|
| 35 | echo ' SOURCE_TOOLS has to contain valgrind2grep and has to be writeable for the user' |
---|
| 36 | echo '' |
---|
| 37 | echo ' $ARB_VALGRIND_SOURCE_ROOT down from here the script scans for sources' |
---|
| 38 | echo ' (defaults to $ARBHOME if empty)' |
---|
| 39 | echo '' |
---|
[992] | 40 | echo 'Note: I use this from inside emacs as follows:' |
---|
| 41 | echo ' M-x compile' |
---|
| 42 | echo ' with:' |
---|
[1012] | 43 | echo ' (cd $ARBHOME;make nt) && arb_valgrind -l arb_ntree ~/ARB/demo.arb' |
---|
[992] | 44 | echo '' |
---|
[3991] | 45 | echo 'There are scripts for older valgrind versions: ' |
---|
[5921] | 46 | ls -al $ARBHOME/SOURCE_TOOLS/arb_valgrind_* |
---|
[3991] | 47 | echo '' |
---|
[1003] | 48 | |
---|
[992] | 49 | else |
---|
[1003] | 50 | if [ -z $ARB_VALGRIND_SOURCE_ROOT ] ; then |
---|
| 51 | ARB_VALGRIND_SOURCE_ROOT=$ARBHOME |
---|
| 52 | fi |
---|
| 53 | |
---|
[992] | 54 | DIR=$ARBHOME/SOURCE_TOOLS |
---|
| 55 | LIST=$DIR/valgrind2grep.lst |
---|
| 56 | |
---|
| 57 | UPDATE=0 |
---|
| 58 | RUN=0 |
---|
| 59 | CALLERS=0 |
---|
[3976] | 60 | SUPPX='--suppress-common' |
---|
[992] | 61 | FILTER='.*' |
---|
[1012] | 62 | LEAK_CHECK='' |
---|
[3991] | 63 | TOOL='--tool=memcheck' |
---|
[5913] | 64 | ATTACH='' |
---|
[6738] | 65 | QUIET='' |
---|
[7202] | 66 | LOG_STDOUT='' |
---|
[8099] | 67 | LOG_STDERR='' |
---|
[7926] | 68 | ERROR_EXITCODE='' |
---|
[992] | 69 | |
---|
| 70 | if [ ! -f $LIST ] ; then |
---|
| 71 | UPDATE=1 |
---|
| 72 | fi |
---|
| 73 | if [ $1 = "update" ] ; then |
---|
| 74 | UPDATE=1 |
---|
| 75 | else |
---|
| 76 | RUN=1 |
---|
[1012] | 77 | SCAN_ARGS=1 |
---|
| 78 | |
---|
| 79 | while [ $SCAN_ARGS = 1 ] ; do |
---|
| 80 | SCAN_ARGS=0 |
---|
[7202] | 81 | if [ "$1" = "-m" ] ; then |
---|
[3991] | 82 | TOOL='--tool=massif' |
---|
[3451] | 83 | shift 1 |
---|
| 84 | SCAN_ARGS=1 |
---|
| 85 | fi |
---|
[7202] | 86 | if [ "$1" = "-c" ] ; then |
---|
[1012] | 87 | CALLERS=$2 |
---|
| 88 | shift 2 |
---|
| 89 | SCAN_ARGS=1 |
---|
| 90 | fi |
---|
[7202] | 91 | if [ "$1" = "-f" ] ; then |
---|
[1012] | 92 | FILTER=$2 |
---|
| 93 | shift 2 |
---|
| 94 | SCAN_ARGS=1 |
---|
| 95 | fi |
---|
[7202] | 96 | if [ "$1" = "-l" ] ; then |
---|
[7210] | 97 | LEAK_CHECK="$LEAK_CHECK --leak-check=yes" |
---|
| 98 | # LEAK_CHECK="$LEAK_CHECK --leak-resolution=high" |
---|
| 99 | LEAK_CHECK="$LEAK_CHECK --leak-resolution=med" |
---|
[1012] | 100 | shift 1 |
---|
| 101 | SCAN_ARGS=1 |
---|
| 102 | fi |
---|
[7202] | 103 | if [ "$1" = "-r" ] ; then |
---|
[1012] | 104 | LEAK_CHECK="$LEAK_CHECK --show-reachable=yes" |
---|
| 105 | shift 1 |
---|
| 106 | SCAN_ARGS=1 |
---|
| 107 | fi |
---|
[7202] | 108 | if [ "$1" = "-A" ] ; then |
---|
[3976] | 109 | SUPPX='' |
---|
| 110 | shift 1 |
---|
| 111 | SCAN_ARGS=1 |
---|
| 112 | fi |
---|
[7202] | 113 | if [ "$1" = "-q" ] ; then |
---|
[6738] | 114 | QUIET='--quiet' |
---|
| 115 | shift 1 |
---|
| 116 | SCAN_ARGS=1 |
---|
| 117 | fi |
---|
[7202] | 118 | if [ "$1" = "-D" ] ; then |
---|
[5913] | 119 | ATTACH='--db-attach=yes' |
---|
| 120 | shift 1 |
---|
| 121 | SCAN_ARGS=1 |
---|
| 122 | fi |
---|
[7202] | 123 | if [ "$1" = "-L" ] ; then |
---|
| 124 | LOG_STDOUT=$2 |
---|
| 125 | shift 2 |
---|
| 126 | SCAN_ARGS=1 |
---|
| 127 | fi |
---|
[8099] | 128 | if [ "$1" = "-E" ] ; then |
---|
| 129 | LOG_STDERR=$2 |
---|
| 130 | shift 2 |
---|
| 131 | SCAN_ARGS=1 |
---|
| 132 | fi |
---|
[7926] | 133 | if [ "$1" = "-e" ] ; then |
---|
| 134 | ERROR_EXITCODE='--error-exitcode=123' |
---|
| 135 | shift 1 |
---|
| 136 | SCAN_ARGS=1 |
---|
| 137 | fi |
---|
[1012] | 138 | done |
---|
[992] | 139 | fi |
---|
| 140 | |
---|
[7926] | 141 | |
---|
[3991] | 142 | if [ "X$LEAK_CHECK" = "X" ] ; then |
---|
| 143 | LEAK_CHECK="--leak-check=no" |
---|
| 144 | fi |
---|
| 145 | |
---|
[992] | 146 | if [ $UPDATE = 1 ] ; then |
---|
[1003] | 147 | echo "Creating list of source files starting in $ARB_VALGRIND_SOURCE_ROOT ..." |
---|
[3511] | 148 | find $ARB_VALGRIND_SOURCE_ROOT \! -path "*\{arch\}*" -a \ |
---|
[3976] | 149 | \( -name "*.[ch]" -o \ |
---|
| 150 | -name "*.[ch]xx" -o \ |
---|
| 151 | -name "*.[ch]pp" -o \ |
---|
| 152 | -name "*.cc" -o \ |
---|
| 153 | -name "*.hh" \) \ |
---|
| 154 | > $LIST |
---|
[992] | 155 | echo 'done.' |
---|
| 156 | fi |
---|
[7926] | 157 | EXITCODE=0 |
---|
[992] | 158 | if [ $RUN = 1 ] ; then |
---|
| 159 | echo "Running valgrind on '$*' ..." |
---|
| 160 | echo "CALLERS='$CALLERS'" |
---|
| 161 | echo "FILTER ='$FILTER'" |
---|
[3551] | 162 | VG_CALLERS=$[$CALLERS+5] |
---|
[7210] | 163 | VG_OPTS="" |
---|
| 164 | VG_OPTS="$VG_OPTS --error-limit=yes" |
---|
[7926] | 165 | VG_OPTS="$VG_OPTS $ERROR_EXITCODE" |
---|
[7210] | 166 | # VG_OPTS="$VG_OPTS --track-origins=yes" # ulalala ... eats MUUUUCH memory |
---|
| 167 | VG_OPTS="$VG_OPTS --track-fds=yes" # track filedescriptors open on exit |
---|
| 168 | VG_OPTS="$VG_OPTS --show-below-main=yes" # valgrind below main (e.g. in static initialization) |
---|
[12323] | 169 | |
---|
| 170 | # suppressions: |
---|
[12987] | 171 | SUPP=/usr/lib/valgrind/debian-libc6-dbg.supp |
---|
| 172 | if [ -f $SUPP ]; then |
---|
| 173 | VG_OPTS="$VG_OPTS --suppressions=$SUPP" # common libc6 errors |
---|
| 174 | fi |
---|
[12323] | 175 | VG_OPTS="$VG_OPTS --suppressions=${ARBHOME}/SOURCE_TOOLS/arb.supp" # common arb errors |
---|
[14626] | 176 | VG_OPTS="$VG_OPTS --suppressions=${ARBHOME}/SOURCE_TOOLS/arb_motif.supp" # arb-motif specific (ARB_MOTIF) |
---|
| 177 | # VG_OPTS="$VG_OPTS --suppressions=${ARBHOME}/SOURCE_TOOLS/arb_gtk.supp" # arb-gtk specific (ARB_GTK) |
---|
[12323] | 178 | |
---|
[12333] | 179 | VG_OPTS="$VG_OPTS --gen-suppressions=all" # automatically generate suppressions |
---|
[12325] | 180 | |
---|
[7210] | 181 | VG_CMD="valgrind $QUIET $TOOL -v $VG_OPTS --num-callers=$VG_CALLERS $SHOW_REACHABLE $LEAK_CHECK $ATTACH" |
---|
| 182 | echo "VG_CMD='$VG_CMD $@'" |
---|
[5913] | 183 | if [ "$ATTACH" = "" ]; then |
---|
[8099] | 184 | POSTDUMP_STDOUT=0 |
---|
| 185 | POSTDUMP_STDERR=0 |
---|
[7202] | 186 | if [ -z "$LOG_STDOUT" ]; then |
---|
| 187 | LOG_STDOUT=/tmp/arb_valgrind_$USER_$$.stdout |
---|
[8099] | 188 | POSTDUMP_STDOUT=1 |
---|
[7202] | 189 | fi |
---|
[8099] | 190 | if [ -z "$LOG_STDERR" ]; then |
---|
| 191 | LOG_STDERR=/tmp/arb_valgrind_$USER_$$.stderr |
---|
| 192 | POSTDUMP_STDERR=1 |
---|
| 193 | fi |
---|
| 194 | $VG_CMD --log-fd=3 "$@" 3>&1 >$LOG_STDOUT 2>$LOG_STDERR | $DIR/valgrind2grep $CALLERS "$FILTER" $SUPPX |
---|
[7926] | 195 | EXITCODE=${PIPESTATUS[0]} |
---|
[8099] | 196 | |
---|
| 197 | if [ "$POSTDUMP_STDOUT" = "1" ]; then |
---|
| 198 | echo "-------------------- [stdout of '$@' ]" |
---|
| 199 | cat $LOG_STDOUT |
---|
| 200 | rm $LOG_STDOUT |
---|
| 201 | fi |
---|
| 202 | if [ "$POSTDUMP_STDERR" = "1" ]; then |
---|
| 203 | echo "-------------------- [stderr of '$@' ]" |
---|
| 204 | cat $LOG_STDERR |
---|
| 205 | rm $LOG_STDERR |
---|
| 206 | fi |
---|
| 207 | if [ "$POSTDUMP_STDOUT" = "1" -o "$POSTDUMP_STDERR" = "1" ]; then |
---|
| 208 | echo "-------------------- [end of output]" |
---|
| 209 | fi |
---|
[5913] | 210 | else |
---|
[7202] | 211 | $VG_CMD "$@" |
---|
[7926] | 212 | EXITCODE=$? |
---|
[5913] | 213 | fi |
---|
[7926] | 214 | echo "valgrind done (exitcode=$EXITCODE)" |
---|
[992] | 215 | fi |
---|
[7926] | 216 | exit $EXITCODE |
---|
[992] | 217 | fi |
---|