From: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
To: linux-sparse@vger.kernel.org
Cc: Christopher Li <sparse@chrisli.org>,
Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Subject: [PATCH 28/28] testsuite: add support for 'format -l'
Date: Fri, 15 Sep 2017 09:13:58 +0200 [thread overview]
Message-ID: <20170915071358.7312-29-luc.vanoostenryck@gmail.com> (raw)
In-Reply-To: <20170915071358.7312-1-luc.vanoostenryck@gmail.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
validation/test-suite | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)
diff --git a/validation/test-suite b/validation/test-suite
index b5bd937d5..8cbfb94e9 100755
--- a/validation/test-suite
+++ b/validation/test-suite
@@ -438,6 +438,7 @@ echo "Usage: $prog_name [option(s)] [--]format file [name [cmd]]"
echo
echo "options:"
echo " -f write a test known to fail"
+echo " -l write a test for linearized code"
echo
echo "argument(s):"
echo " file file containing the test case(s)"
@@ -449,12 +450,17 @@ echo " cmd command to be used (defaults to 'sparse \$f
# do_format([options,] file[, name[, cmd]]) - helps a test writer to format test-suite tags
do_format()
{
+ def_cmd="$default_cmd"
+ linear=0
fail=0
while [ $# -gt 1 ] ; do
case "$1" in
-f)
fail=1 ;;
+ -l)
+ def_cmd='test-linearize -Wno-decl $file'
+ linear=1 ;;
help|-*)
do_format_help
return 0
@@ -471,7 +477,7 @@ do_format()
fname="$2"
[ -z "$fname" ] && fname="$(basename "$1" .c)"
fcmd="$3"
- [ -z "$fcmd" ] && fcmd=$default_cmd
+ [ -z "$fcmd" ] && fcmd="$def_cmd"
cmd=`eval echo $default_path/$fcmd`
$cmd 1> $file.output.got 2> $file.error.got
@@ -490,6 +496,12 @@ _EOF
if [ $fail != 0 ]; then
echo " * check-known-to-fail"
fi
+ if [ $linear != 0 ]; then
+ echo " *"
+ echo " * check-output-ignore"
+ echo " * check-output-contains: xyz\\\\."
+ echo " * check-output-excludes: \\\\."
+ fi
for stream in output error; do
if [ -s "$file.$stream.got" ]; then
echo " *"
--
2.14.0
next prev parent reply other threads:[~2017-09-15 7:16 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-09-15 7:13 [PATCH 00/28] testsuite improvements Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 01/28] testsuite: 'echo -n' may not be interpreted as '-n' Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 02/28] testsuite: allow to test a few cases at once Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 03/28] testsuite: move verbose() & error() Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 04/28] testsuite: better message for pattern nbr checking Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 05/28] testsuite: better message for pattern absence/presence Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 06/28] testsuite: saner checking of pattern occurences Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 07/28] testsuite: clearer result summary Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 08/28] testsuite: check error messages first Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 09/28] testsuite: saner handling of 'must_fail' Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 10/28] testsuite: allow to parse several options Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 11/28] testsuite: add support for -q|--quiet Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 12/28] testsuite: add support for -a|--abort Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 13/28] testsuite: get options from env too Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 14/28] testsuite: allow --format & --single Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 15/28] testsuite: remove useless selftest Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 16/28] testsuite: remove useless test-be.c Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 17/28] testsuite: extract disable() Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 18/28] testsuite: simplify documentation Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 19/28] testsuite: allow arch-specific tests Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 20/28] testsuite: save screen real estate Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 21/28] testsuite: add a blank line before format Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 22/28] testsuite: 'quiet' must be initialized earlier Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 23/28] testsuite: move up arg_file() Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 24/28] testsuite: make do_format() more self-contained Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 25/28] testsuite: format: saner defaults handling Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 26/28] testsuite: format: strip .c from default name Luc Van Oostenryck
2017-09-15 7:13 ` [PATCH 27/28] testsuite: add support for 'format -f' Luc Van Oostenryck
2017-09-15 7:13 ` Luc Van Oostenryck [this message]
2017-09-15 17:03 ` [PATCH 00/28] testsuite improvements Christopher Li
2017-09-15 17:35 ` Luc Van Oostenryck
2017-09-20 5:53 ` Christopher Li
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20170915071358.7312-29-luc.vanoostenryck@gmail.com \
--to=luc.vanoostenryck@gmail.com \
--cc=linux-sparse@vger.kernel.org \
--cc=sparse@chrisli.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).