summaryrefslogtreecommitdiffstats
path: root/contrib/ci/valgrind-condense
blob: b838039e2141bc4a4ee4def066b3d0dbce2a4257 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
#!/bin/bash
#
# Run Valgrind, condensing logged reports into an exit code.
#
# Copyright (C) 2014 Red Hat
#
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

set -o nounset -o pipefail -o errexit
shopt -s extglob

function usage()
{
    cat <<EOF
Usage: `basename "$0"` ERROR_EXITCODE [PATH_PATTERN...] [-- VALGRIND_ARG...]
Run Valgrind, condensing logged reports into an exit code.

Arguments:
    ERROR_EXITCODE  An exit code to return if at least one error is found in
                    Valgrind log files.
    PATH_PATTERN    An extended glob pattern matching (original) paths to
                    programs to execute under Valgrind. Execution is skipped
                    and success is returned for non-matching programs. Without
                    patterns, all programs match.
    VALGRIND_ARG    An argument to pass to Valgrind after the arguments
                    specified by `basename "$0"`.

The first non-option VALGRIND_ARG will be considered the path to the program
to execute under Valgrind and will be used in naming Valgrind log files as
such:

    PROGRAM_NAME.PID.valgrind.log

where PROGRAM_NAME is the filename portion of the program path and PID is the
executed process ID. If the last directory of the program path is ".libs" and
the filename begins with "lt-", both are removed to match the name of libtool
frontend script. All files matching PROGRAM_NAME.*.valgrind.log are removed
before invoking Valgrind.

If an error is found in Valgrind log files, ERROR_EXITCODE is returned,
otherwise Valgrind exit code is returned.
EOF
}


if [[ $# == 0 ]]; then
    echo "Invalid number of arguments." >&2
    usage >&2
    exit 1
fi

declare error_exitcode="$1";    shift
declare -a path_pattern_list=()
declare arg
declare got_dash_dash
declare program_path
declare path_pattern
declare match
declare program_name
declare status=0

# Extract path patterns
while [[ $# != 0 ]]; do
    arg="$1"
    shift
    if [[ "$arg" == "--" ]]; then
        break
    else
        path_pattern_list+=("$arg")
    fi
done

# Find program path argument
got_dash_dash=false
for arg in "$@"; do
    if [[ "$arg" == "--" ]]; then
        got_dash_dash=true
    elif "$got_dash_dash" || [[ "$arg" != -* ]]; then
        program_path="$arg"
        break
    fi
done

if [[ -z "${program_path+set}" ]]; then
    echo "Program path not specified." >&2
    usage >&2
    exit 1
fi

# Match against path patterns, if any
if [[ ${#path_pattern_list[@]} != 0 ]]; then
    match=false
    for path_pattern in "${path_pattern_list[@]}"; do
        if [[ "$program_path" == $path_pattern ]]; then
            match=true
        fi
    done
    if ! $match; then
        exit 0
    fi
fi

# Generate original path from libtool path
program_path=`sed -e 's/^\(.*\/\)\?\.libs\/lt-\([^\/]\+\)$/\1\2/' \
                    <<<"$program_path"`

program_name=`basename "$program_path"`

rm -f "$program_name".*.valgrind.log
valgrind --log-file="$program_name.%p.valgrind.log" "$@" || status=$?

if grep -q '^==[0-9]\+== *ERROR SUMMARY: *[1-9]' \
            "$program_name".*.valgrind.log; then
    exit "$error_exitcode"
else
    exit "$status"
fi