testsuite: add option '-r' to 'test-suite format'

Commit Message

Luc Van Oostenryck March 21, 2021, 12:54 p.m. UTC

Because laziness is a virtue, add an option '-r' to the 'format'
subcommand of the testsuite to quickly create a test template for
linearized code which should just return 1.

Signed-off-by: Luc Van Oostenryck <[e-mail]>
---
 validation/test-suite | 11 +++++++++++
 1 file changed, 11 insertions(+)

Patch

diff --git a/validation/test-suite b/validation/test-suite
index 1b05c75e9f74..370cd35a8f70 100755
--- a/validation/test-suite
+++ b/validation/test-suite
@@ -512,6 +512,7 @@  echo "options:"
 echo "    -a                         append the created test to the input file"
 echo "    -f                         write a test known to fail"
 echo "    -l                         write a test for linearized code"
+echo "    -r                         write a test for linearized code returning 1"
 echo "    -p                         write a test for pre-processing"
 echo
 echo "argument(s):"
@@ -528,6 +529,7 @@  do_format()
 	append=0
 	linear=0
 	fail=0
+	ret=''
 
 	while [ $# -gt 0 ] ; do
 		case "$1" in
@@ -538,6 +540,9 @@  do_format()
 		-l)
 			def_cmd='test-linearize -Wno-decl $file'
 			linear=1 ;;
+		-r)
+			def_cmd='test-linearize -Wno-decl $file'
+			ret=1 ;;
 		-p)
 			def_cmd='sparse -E $file' ;;
 
@@ -582,6 +587,12 @@  _EOF
 	if [ $fail != 0 ]; then
 		echo " * check-known-to-fail"
 	fi
+	if [ "$ret" != '' ]; then
+		echo ' *'
+		echo ' * check-output-ignore'
+		echo " * check-output-returns: $ret"
+		rm -f "$file.output.got"
+	fi
 	if [ $linear != 0 ]; then
 		echo ' *'
 		echo ' * check-output-ignore'