[check_GNU_style.sh] More aggressively ignore dg-xxx directives
* check_GNU_style.sh (remove_testsuite): New function. Use it to remove testsuite from the diff. From-SVN: r241471
This commit is contained in:
parent
40f683e88d
commit
e77cf8c6d6
@ -1,3 +1,8 @@
|
|||||||
|
2016-10-24 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
|
||||||
|
|
||||||
|
* check_GNU_style.sh (remove_testsuite): New function.
|
||||||
|
Use it to remove testsuite from the diff.
|
||||||
|
|
||||||
2016-09-23 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
2016-09-23 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
|
||||||
|
|
||||||
* dg-extract-results.sh: Revert bogus change.
|
* dg-extract-results.sh: Revert bogus change.
|
||||||
|
@ -81,7 +81,17 @@ if [ $nfiles -eq 1 ]; then
|
|||||||
else
|
else
|
||||||
format="-nH"
|
format="-nH"
|
||||||
fi
|
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}'
|
||||||
|
}
|
||||||
|
|
||||||
grep $format '^+' $files \
|
grep $format '^+' $files \
|
||||||
|
| remove_testsuite \
|
||||||
| grep -v ':+++' \
|
| grep -v ':+++' \
|
||||||
> $inp
|
> $inp
|
||||||
|
|
||||||
@ -160,8 +170,9 @@ col (){
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
# Don't reuse $inp, which may be generated using -H and thus contain a
|
# Don't reuse $inp, which may be generated using -H and thus contain a
|
||||||
# file prefix.
|
# file prefix. Re-remove the testsuite since we're not using $inp.
|
||||||
grep -n '^+' $f \
|
cat $f | remove_testsuite \
|
||||||
|
| grep -n '^+' \
|
||||||
| grep -v ':+++' \
|
| grep -v ':+++' \
|
||||||
> $tmp
|
> $tmp
|
||||||
|
|
||||||
@ -174,11 +185,10 @@ col (){
|
|||||||
# Expand tabs to spaces according to tab positions.
|
# Expand tabs to spaces according to tab positions.
|
||||||
# Keep long lines, make short lines empty. Print the part past 80 chars
|
# Keep long lines, make short lines empty. Print the part past 80 chars
|
||||||
# in red.
|
# in red.
|
||||||
# Don't complain about dg-xxx directives in tests.
|
|
||||||
cat "$tmp" \
|
cat "$tmp" \
|
||||||
| sed 's/^[0-9]*:+//' \
|
| sed 's/^[0-9]*:+//' \
|
||||||
| expand \
|
| expand \
|
||||||
| awk '$0 !~ /{[[:space:]]*dg-(error|warning|message)[[:space:]]/ { \
|
| awk '{ \
|
||||||
if (length($0) > 80) \
|
if (length($0) > 80) \
|
||||||
printf "%s\033[1;31m%s\033[0m\n", \
|
printf "%s\033[1;31m%s\033[0m\n", \
|
||||||
substr($0,1,80), \
|
substr($0,1,80), \
|
||||||
|
Loading…
Reference in New Issue
Block a user