diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-06 23:48:21 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-03-11 03:08:22 +0100 |
| commit | 6e42c573ee706720a91a19ab6461aff63fc6999b (patch) | |
| tree | 8d2a3ba0a2a2320f852f9044843f7fc59b6631c5 /validation/linear | |
| parent | 7f9145f334c94fa29f4911b5a9d6d83538181f4f (diff) | |
| download | sparse-dev-6e42c573ee706720a91a19ab6461aff63fc6999b.tar.gz | |
testsuite: fix problem with double-escaping in patterns
Since the patterns in the testcases are evaluated in the shell
script, the backslash used to escape characters special to the
pattern need itself to be escaped. Theer is a few cases where
it wasn't done so, partly because 'format -l' gave a single
escape in its template.
Fix all occurences neededing this double-escape as well as the
'format -l' template.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
| -rw-r--r-- | validation/linear/bitfield-expand-deref.c | 4 | ||||
| -rw-r--r-- | validation/linear/call-builtin.c | 2 | ||||
| -rw-r--r-- | validation/linear/call-casted-pointer.c | 4 | ||||
| -rw-r--r-- | validation/linear/call-direct.c | 2 | ||||
| -rw-r--r-- | validation/linear/call-indirect.c | 2 | ||||
| -rw-r--r-- | validation/linear/call-inline.c | 2 | ||||
| -rw-r--r-- | validation/linear/deref-ptr-ptr.c | 4 | ||||
| -rw-r--r-- | validation/linear/unexamined-base-type.c | 2 |
8 files changed, 11 insertions, 11 deletions
diff --git a/validation/linear/bitfield-expand-deref.c b/validation/linear/bitfield-expand-deref.c index 7748725f..43e1078d 100644 --- a/validation/linear/bitfield-expand-deref.c +++ b/validation/linear/bitfield-expand-deref.c @@ -22,6 +22,6 @@ int bar(int a) * check-command: test-linearize -Wno-decl $file * * check-output-ignore - * check-output-excludes: ret\..*\$12 - * check-output-contains: ret\..*\$34 + * check-output-excludes: ret\\..*\\$12 + * check-output-contains: ret\\..*\\$34 */ diff --git a/validation/linear/call-builtin.c b/validation/linear/call-builtin.c index b1511359..43e254f6 100644 --- a/validation/linear/call-builtin.c +++ b/validation/linear/call-builtin.c @@ -13,5 +13,5 @@ u32 f3(u32 a) { return (***__builtin_popcount)(a); } // C99,C11 6.5.3.2p4 * * check-output-ignore * check-output-excludes: load - * check-output-pattern(5): call\..*__builtin_.*, %arg1 + * check-output-pattern(5): call\\..*__builtin_.*, %arg1 */ diff --git a/validation/linear/call-casted-pointer.c b/validation/linear/call-casted-pointer.c index 610d6748..60f53605 100644 --- a/validation/linear/call-casted-pointer.c +++ b/validation/linear/call-casted-pointer.c @@ -26,6 +26,6 @@ int quz(void *a, void *fun) * * check-output-ignore * check-output-excludes: load - * check-output-pattern(4): ptrcast\..* %arg2 - * check-output-pattern(4): call\..* %arg1 + * check-output-pattern(4): ptrcast\\..* %arg2 + * check-output-pattern(4): call\\..* %arg1 */ diff --git a/validation/linear/call-direct.c b/validation/linear/call-direct.c index 52f86306..c3761cc5 100644 --- a/validation/linear/call-direct.c +++ b/validation/linear/call-direct.c @@ -13,5 +13,5 @@ int f3(void) { return (***fun)(); } // C99,C11 6.5.3.2p4 * * check-output-ignore * check-output-excludes: load - * check-output-pattern(5): call\..* fun + * check-output-pattern(5): call\\..* fun */ diff --git a/validation/linear/call-indirect.c b/validation/linear/call-indirect.c index 1275910c..40085568 100644 --- a/validation/linear/call-indirect.c +++ b/validation/linear/call-indirect.c @@ -11,5 +11,5 @@ int g3(int (*fun)(void)) { return (***fun)(); } // C99,C11 6.5.3.2p4 * * check-output-ignore * check-output-excludes: load - * check-output-pattern(5): call\..* %arg1 + * check-output-pattern(5): call\\..* %arg1 */ diff --git a/validation/linear/call-inline.c b/validation/linear/call-inline.c index a33f0a1c..dfd49b62 100644 --- a/validation/linear/call-inline.c +++ b/validation/linear/call-inline.c @@ -14,5 +14,5 @@ int i3(void) { return (***fun)(); } // C99,C11 6.5.3.2p4 * check-output-ignore * check-output-excludes: load * check-output-excludes: call - * check-output-pattern(5): ret\..* \\$42 + * check-output-pattern(5): ret\\..* \\$42 */ diff --git a/validation/linear/deref-ptr-ptr.c b/validation/linear/deref-ptr-ptr.c index 963acd36..531d3637 100644 --- a/validation/linear/deref-ptr-ptr.c +++ b/validation/linear/deref-ptr-ptr.c @@ -8,9 +8,9 @@ char *foo(char **pfmt) * check-command: test-linearize -m64 -Wno-decl $file * * check-output-excludes: load[^.] - * check-output-contains: load\. + * check-output-contains: load\\. * check-output-excludes: store[^.] - * check-output-contains: store\. + * check-output-contains: store\\. * * check-output-start foo: diff --git a/validation/linear/unexamined-base-type.c b/validation/linear/unexamined-base-type.c index 96aee3f0..142139a2 100644 --- a/validation/linear/unexamined-base-type.c +++ b/validation/linear/unexamined-base-type.c @@ -31,6 +31,6 @@ static void bar(struct s *d, struct s *s1, struct s *s2) * * check-output-ignore * check-output-excludes: load[^.] - * check-output-excludes: cast\..*(0) + * check-output-excludes: cast\\..*(0) * check-output-excludes: store[^.] */ |