Retro68/gcc/contrib/check_GNU_style.sh

257 lines
6.1 KiB
Bash
Raw Normal View History

2012-03-27 23:13:14 +00:00
#!/bin/sh
# Checks some of the GNU style formatting rules in a set of patches.
2017-04-10 11:32:00 +00:00
# Copyright (C) 2010, 2012, 2016 Free Software Foundation, Inc.
2012-03-27 23:13:14 +00:00
# Contributed by Sebastian Pop <sebastian.pop@amd.com>
# 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
2017-04-10 11:32:00 +00:00
# along with this program; if not, see the file COPYING3. If not,
# see <http://www.gnu.org/licenses/>.
# Set to empty in the environment to override.
: ${color:---color=always}
2012-03-27 23:13:14 +00:00
usage() {
cat <<EOF
check_GNU_style.sh [patch]...
Checks the patches for some of the GNU style formatting problems.
2015-08-28 15:33:40 +00:00
When FILE is -, read standard input.
2012-03-27 23:13:14 +00:00
Please note that these checks are not always accurate, and
complete. The reference documentation of the GNU Coding Standards
can be found here: http://www.gnu.org/prep/standards_toc.html
and there are also some additional coding conventions for GCC:
http://gcc.gnu.org/codingconventions.html
EOF
exit 1
}
test $# -eq 0 && usage
2017-04-10 11:32:00 +00:00
nfiles=$#
files="$*"
stdin=false
stdin_tmp=""
if [ $nfiles -eq 1 ] && [ "$files" = "-" ]; then
stdin=true
# By putting stdin into a temp file, we can handle it just like any other
# file. F.i., we can cat it twice, which we can't do with stdin.
stdin_tmp=check_GNU_style.stdin
cat - > $stdin_tmp
files=$stdin_tmp
else
for f in $files; do
if [ "$f" = "-" ]; then
# Let's keep things simple. Either we read from stdin, or we read
# from files specified on the command line, not both.
usage
fi
if [ ! -f "$f" ]; then
echo "error: could not read file: $f"
exit 1
fi
done
fi
2012-03-27 23:13:14 +00:00
2015-08-28 15:33:40 +00:00
inp=check_GNU_style.inp
2012-03-27 23:13:14 +00:00
tmp=check_GNU_style.tmp
2017-04-10 11:32:00 +00:00
tmp2=check_GNU_style.2.tmp
tmp3=check_GNU_style.3.tmp
2012-03-27 23:13:14 +00:00
2014-09-21 17:33:12 +00:00
# Remove $tmp on exit and various signals.
2017-04-10 11:32:00 +00:00
trap "rm -f $inp $tmp $tmp2 $tmp3 $stdin_tmp" 0
trap "rm -f $inp $tmp $tmp2 $tmp3 $stdin_tmp; exit 1" 1 2 3 5 9 13 15
if [ $nfiles -eq 1 ]; then
# There's no need for the file prefix if we're dealing only with one file.
format="-n"
else
format="-nH"
fi
# Remove the testsuite part of the diff. We don't care about GNU style
# in testcases and the dg-* directives give too many false positives.
remove_testsuite ()
{
awk 'BEGIN{testsuite=0} /^(.*:)?([1-9][0-9]*:)?\+\+\+ / && ! /testsuite\//{testsuite=0} \
{if (!testsuite) print} /^(.*:)?([1-9][0-9]*:)?\+\+\+ (.*\/)?testsuite\//{testsuite=1}'
}
2017-04-10 11:32:00 +00:00
grep $format '^+' $files \
| remove_testsuite \
2017-04-10 11:32:00 +00:00
| grep -v ':+++' \
> $inp
cat_with_prefix ()
{
local f="$1"
if [ "$prefix" = "" ]; then
cat "$f"
else
awk "{printf \"%s%s\n\", \"$prefix\", \$0}" $f
fi
}
2014-09-21 17:33:12 +00:00
2012-03-27 23:13:14 +00:00
# Grep
g (){
2017-04-10 11:32:00 +00:00
local msg="$1"
local arg="$2"
local found=false
2015-08-28 15:33:40 +00:00
cat $inp \
2017-04-10 11:32:00 +00:00
| egrep $color -- "$arg" \
> "$tmp" && found=true
if $found; then
printf "\n$msg\n"
cat "$tmp"
fi
2012-03-27 23:13:14 +00:00
}
# And Grep
ag (){
2017-04-10 11:32:00 +00:00
local msg="$1"
local arg1="$2"
local arg2="$3"
local found=false
2015-08-28 15:33:40 +00:00
cat $inp \
2017-04-10 11:32:00 +00:00
| egrep $color -- "$arg1" \
| egrep $color -- "$arg2" \
> "$tmp" && found=true
if $found; then
printf "\n$msg\n"
cat "$tmp"
fi
2012-03-27 23:13:14 +00:00
}
# reVerse Grep
vg (){
2017-04-10 11:32:00 +00:00
local msg="$1"
local varg="$2"
local arg="$3"
local found=false
2015-08-28 15:33:40 +00:00
cat $inp \
2012-03-27 23:13:14 +00:00
| egrep -v -- "$varg" \
2017-04-10 11:32:00 +00:00
| egrep $color -- "$arg" \
> "$tmp" && found=true
2012-03-27 23:13:14 +00:00
2017-04-10 11:32:00 +00:00
if $found; then
2012-03-27 23:13:14 +00:00
printf "\n$msg\n"
2017-04-10 11:32:00 +00:00
cat "$tmp"
2012-03-27 23:13:14 +00:00
fi
}
2017-04-10 11:32:00 +00:00
col (){
local msg="$1"
local first=true
local f
for f in $files; do
prefix=""
if [ $nfiles -ne 1 ]; then
prefix="$f:"
fi
# Don't reuse $inp, which may be generated using -H and thus contain a
# file prefix. Re-remove the testsuite since we're not using $inp.
cat $f | remove_testsuite \
| grep -n '^+' \
2017-04-10 11:32:00 +00:00
| grep -v ':+++' \
> $tmp
# Keep only line number prefix and patch modifier '+'.
cat "$tmp" \
| sed 's/\(^[0-9][0-9]*:+\).*/\1/' \
> "$tmp2"
# Remove line number prefix and patch modifier '+'.
# Expand tabs to spaces according to tab positions.
# Keep long lines, make short lines empty. Print the part past 80 chars
# in red.
cat "$tmp" \
| sed 's/^[0-9]*:+//' \
| expand \
| awk '{ \
2017-04-10 11:32:00 +00:00
if (length($0) > 80) \
printf "%s\033[1;31m%s\033[0m\n", \
substr($0,1,80), \
substr($0,81); \
else \
print "" \
}' \
> "$tmp3"
# Combine prefix back with long lines.
# Filter out empty lines.
local found=false
paste -d '\0' "$tmp2" "$tmp3" \
2017-04-10 11:32:00 +00:00
| grep -v '^[0-9][0-9]*:+$' \
> "$tmp" && found=true
if $found; then
if $first; then
printf "\n$msg\n"
first=false
fi
cat_with_prefix "$tmp"
fi
done
}
2015-08-28 15:33:40 +00:00
col 'Lines should not exceed 80 characters.'
g 'Blocks of 8 spaces should be replaced with tabs.' \
' {8}'
2012-03-27 23:13:14 +00:00
g 'Trailing whitespace.' \
2015-08-28 15:33:40 +00:00
'[[:space:]]$'
2012-03-27 23:13:14 +00:00
g 'Space before dot.' \
2015-08-28 15:33:40 +00:00
'[[:alnum:]][[:blank:]]+\.'
2012-03-27 23:13:14 +00:00
g 'Dot, space, space, new sentence.' \
2015-08-28 15:33:40 +00:00
'[[:alnum:]]\.([[:blank:]]|[[:blank:]]{3,})[A-Z0-9]'
2012-03-27 23:13:14 +00:00
g 'Dot, space, space, end of comment.' \
2015-08-28 15:33:40 +00:00
'[[:alnum:]]\.([[:blank:]]{0,1}|[[:blank:]]{3,})\*/'
2012-03-27 23:13:14 +00:00
g 'Sentences should end with a dot. Dot, space, space, end of the comment.' \
2015-08-28 15:33:40 +00:00
'[[:alnum:]][[:blank:]]*\*/'
2012-03-27 23:13:14 +00:00
2017-04-10 11:32:00 +00:00
vg 'There should be exactly one space between function name and parenthesis.' \
'\#define' \
'[[:alnum:]]([[:blank:]]{2,})?\('
g 'There should be no space before a left square bracket.' \
'[[:alnum:]][[:blank:]]+\['
2012-03-27 23:13:14 +00:00
2017-04-10 11:32:00 +00:00
g 'There should be no space before closing parenthesis.' \
2015-08-28 15:33:40 +00:00
'[[:graph:]][[:blank:]]+\)'
2012-03-27 23:13:14 +00:00
2017-04-10 11:32:00 +00:00
# This will give false positives for C99 compound literals.
g 'Braces should be on a separate line.' \
'(\)|else)[[:blank:]]*{'
2012-03-27 23:13:14 +00:00
2017-04-10 11:32:00 +00:00
# Does this apply to definitions of aggregate objects?
ag 'Trailing operator.' \
'^[1-9][0-9]*:\+[[:space:]]' \
'(([^a-zA-Z_]\*)|([-%<=&|^?])|([^*]/)|([^:][+]))$'