diff options
| -rw-r--r-- | validation/bitfield-size.c | 6 | ||||
| -rw-r--r-- | validation/kill-load.c | 2 | ||||
| -rw-r--r-- | validation/kill-store.c | 2 | ||||
| -rw-r--r-- | validation/optim/bool-context.c | 2 | ||||
| -rw-r--r-- | validation/optim/muldiv-minus-one.c | 2 | ||||
| -rw-r--r-- | validation/preprocessor/dump-macros-empty.c | 2 | ||||
| -rw-r--r-- | validation/preprocessor/dump-macros-multi.c | 2 | ||||
| -rw-r--r-- | validation/preprocessor/dump-macros.c | 2 |
8 files changed, 10 insertions, 10 deletions
diff --git a/validation/bitfield-size.c b/validation/bitfield-size.c index ce78ecf2..b027cbd5 100644 --- a/validation/bitfield-size.c +++ b/validation/bitfield-size.c @@ -35,7 +35,7 @@ unsigned int get_pbfi_b(struct bfi *bf) { return bf->b; } * check-command: test-linearize -Wno-decl $file * check-output-ignore * - * check-output-pattern-24-times: cast\\. - * check-output-pattern-12-times: cast\\.4 - * check-output-pattern-6-times: lsr\\..*\\$6 + * check-output-pattern(24): cast\\. + * check-output-pattern(12): cast\\.4 + * check-output-pattern(6): lsr\\..*\\$6 */ diff --git a/validation/kill-load.c b/validation/kill-load.c index 45fb83e4..563e724c 100644 --- a/validation/kill-load.c +++ b/validation/kill-load.c @@ -13,5 +13,5 @@ void ind(volatile int *p,int i) { int v = i++; if (i && 0) p[v]; } * - bb unreachable. * * check-output-ignore - * check-output-pattern-1-times: load\\. + * check-output-pattern(1): load\\. */ diff --git a/validation/kill-store.c b/validation/kill-store.c index 8f725322..204b0367 100644 --- a/validation/kill-store.c +++ b/validation/kill-store.c @@ -12,5 +12,5 @@ void dead(int *p, int i) { int v = i++; if (i && 0) p[v] = 0; } * - bb unreachable. * * check-output-ignore - * check-output-pattern-1-times: store\\. + * check-output-pattern(1): store\\. */ diff --git a/validation/optim/bool-context.c b/validation/optim/bool-context.c index 11326d39..505fa5ce 100644 --- a/validation/optim/bool-context.c +++ b/validation/optim/bool-context.c @@ -8,5 +8,5 @@ bool bool_and(int a, int b) { return a && b; } * check-command: test-linearize -Wno-decl $file * check-output-ignore * - * check-output-pattern-4-times: setne\\..* %arg[12] + * check-output-pattern(4): setne\\..* %arg[12] */ diff --git a/validation/optim/muldiv-minus-one.c b/validation/optim/muldiv-minus-one.c index 42b086af..7e2d7bb7 100644 --- a/validation/optim/muldiv-minus-one.c +++ b/validation/optim/muldiv-minus-one.c @@ -14,5 +14,5 @@ u32 udivm1(u32 a) { return a / (u32) -1; } * check-output-excludes: divs\\. * check-output-contains: neg\\. * check-output-contains: divu\\. - * check-output-pattern-3-times: neg\\. + * check-output-pattern(3): neg\\. */ diff --git a/validation/preprocessor/dump-macros-empty.c b/validation/preprocessor/dump-macros-empty.c index 672c66c7..c9cfe010 100644 --- a/validation/preprocessor/dump-macros-empty.c +++ b/validation/preprocessor/dump-macros-empty.c @@ -3,5 +3,5 @@ * check-command: sparse -E -dD empty-file * * check-output-ignore -check-output-pattern-1-times: #define __CHECKER__ 1 +check-output-pattern(1): #define __CHECKER__ 1 */ diff --git a/validation/preprocessor/dump-macros-multi.c b/validation/preprocessor/dump-macros-multi.c index 2f6e8d04..c6c334cf 100644 --- a/validation/preprocessor/dump-macros-multi.c +++ b/validation/preprocessor/dump-macros-multi.c @@ -3,5 +3,5 @@ * check-command: sparse -E -dD empty-file $file * * check-output-ignore -check-output-pattern-2-times: #define __CHECKER__ 1 +check-output-pattern(2): #define __CHECKER__ 1 */ diff --git a/validation/preprocessor/dump-macros.c b/validation/preprocessor/dump-macros.c index 79f3de6a..4dbb9620 100644 --- a/validation/preprocessor/dump-macros.c +++ b/validation/preprocessor/dump-macros.c @@ -11,7 +11,7 @@ * check-command: sparse -E -dD -DIJK=ijk -UNDEF -UNYDEF $file * * check-output-ignore -check-output-pattern-1-times: #define __CHECKER__ 1 +check-output-pattern(1): #define __CHECKER__ 1 check-output-contains: #define IJK ijk check-output-contains: #define DEF xyz check-output-contains: #define NYDEF ydef |