Merge changes to benchmarking tool (PR #151)
[helenos.git] / tools / ccheck.sh
blob1302b934a088f4f65a5c084439532a6cec00cdc6
1 #!/bin/bash
3 # Copyright (c) 2018 Jiri Svoboda
4 # All rights reserved.
6 # Redistribution and use in source and binary forms, with or without
7 # modification, are permitted provided that the following conditions
8 # are met:
10 # - Redistributions of source code must retain the above copyright
11 # notice, this list of conditions and the following disclaimer.
12 # - Redistributions in binary form must reproduce the above copyright
13 # notice, this list of conditions and the following disclaimer in the
14 # documentation and/or other materials provided with the distribution.
15 # - The name of the author may not be used to endorse or promote products
16 # derived from this software without specific prior written permission.
18 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19 # IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20 # OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21 # IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22 # INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23 # NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24 # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25 # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26 # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27 # THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30 ccheck=tools/sycek/ccheck
31 if [ ."$CCHECK" != . ]; then
32 ccheck="$CCHECK"
35 if [ ."$1" == .--fix ] ; then
36 opt=--fix
37 else
38 opt=
41 srepcnt=0
42 snorepcnt=0
43 fcnt=0
45 find abi kernel boot uspace -type f -regex '^.*\.[ch]$' \
46 | grep -v -e '^uspace/lib/pcut/' \
47 | (
48 while read fname; do
49 outfile="$(mktemp)"
50 "$ccheck" $opt $fname >"$outfile" 2>&1
51 rc=$?
52 if [ .$rc == .0 ]; then
53 if [ -s "$outfile" ] ; then
54 srepcnt=$((srepcnt + 1))
55 cat "$outfile"
56 else
57 snorepcnt=$((snorepcnt + 1))
59 else
60 fcnt=$((fcnt + 1))
61 cat "$outfile"
64 rm -f "$outfile"
65 done
67 if [ $srepcnt == 0 -a $fcnt == 0 ] ; then
68 echo "Ccheck passed."
69 else
70 echo "Ccheck failed."
71 echo "Checked files with issues: $srepcnt"
72 echo "Checked files without issues: $snorepcnt"
73 echo "Files with parse errors: $fcnt"
74 exit 1