diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-12-11 14:06:46 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-12-11 14:14:30 +0100 |
commit | 1b896707d95982c7c9cdd5cd0ab4afd80f766a94 (patch) | |
tree | 25a18dc6cb1413fe61f7d1f4563b2d92d6de4402 | |
parent | 72edf4380a05f7dd7f3ff19cf6b32c125028ab26 (diff) | |
parent | 6c10d780aaea82e888e28dbed259c49de9c15ee2 (diff) | |
download | sparse-1b896707d95982c7c9cdd5cd0ab4afd80f766a94.tar.gz |
Merge branch 'fix-parsing-testsuite-tags'
* fix parsing of tags used in the testcases
-rw-r--r-- | validation/asm-empty-clobber.c | 2 | ||||
-rw-r--r-- | validation/asm-goto-labels.c | 3 | ||||
-rwxr-xr-x | validation/test-suite | 4 |
3 files changed, 5 insertions, 4 deletions
diff --git a/validation/asm-empty-clobber.c b/validation/asm-empty-clobber.c index eb1e1058..a79336da 100644 --- a/validation/asm-empty-clobber.c +++ b/validation/asm-empty-clobber.c @@ -23,6 +23,6 @@ do_trace: } /* - * check-name: Asm with goto labels. + * check-name: Asm with goto labels. */ diff --git a/validation/asm-goto-labels.c b/validation/asm-goto-labels.c index ac2bf2ad..85e1b61b 100644 --- a/validation/asm-goto-labels.c +++ b/validation/asm-goto-labels.c @@ -16,7 +16,8 @@ static inline int __static_cpu_has(unsigned char bit) t_no: return 0; } + /* - * check-name: Asm with goto labels. + * check-name: Asm with goto labels. */ diff --git a/validation/test-suite b/validation/test-suite index 6935d40c..1b05c75e 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -84,8 +84,8 @@ get_tag_value() check_assert="" check_cpp_if="" - lines=$(grep 'check-[a-z-]*' $1 | \ - sed -e 's/^.*\(check-[a-z-]*:*\) *\(.*\)$/\1 \2/') + lines=$(grep '^ \* check-[a-z-]*' $1 | \ + sed -e 's/^ \* \(check-[a-z-]*:*\) *\(.*\)$/\1 \2/') while read tag val; do #echo "-> tag: '$tag'" |