diff options
| -rw-r--r-- | validation/backend/degenerate-ptr.c | 2 | ||||
| -rw-r--r-- | validation/backend/function-ptr-xtype.c | 2 | ||||
| -rw-r--r-- | validation/backend/label-as-value.c | 2 | ||||
| -rw-r--r-- | validation/backend/load-global.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-add.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-cmp.c | 2 | ||||
| -rw-r--r-- | validation/backend/pointer-param.c | 2 | ||||
| -rw-r--r-- | validation/backend/setval.c | 2 | ||||
| -rw-r--r-- | validation/backend/shift-special.c | 2 | ||||
| -rw-r--r-- | validation/backend/string-value.c | 2 | ||||
| -rw-r--r-- | validation/backend/switch.c | 2 | ||||
| -rw-r--r-- | validation/backend/symaddr.c | 2 | ||||
| -rw-r--r-- | validation/backend/type-constant.c | 2 |
13 files changed, 13 insertions, 13 deletions
diff --git a/validation/backend/degenerate-ptr.c b/validation/backend/degenerate-ptr.c index 8de979e0..052eefd9 100644 --- a/validation/backend/degenerate-ptr.c +++ b/validation/backend/degenerate-ptr.c @@ -68,5 +68,5 @@ void global(void) /* * check-name: degenerated pointer handling - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/function-ptr-xtype.c b/validation/backend/function-ptr-xtype.c index 9cdfab05..126fec8f 100644 --- a/validation/backend/function-ptr-xtype.c +++ b/validation/backend/function-ptr-xtype.c @@ -33,5 +33,5 @@ int bar(int (*fn)(int), int arg1, int arg2) /* * check-name: mutate function pointer's type - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/label-as-value.c b/validation/backend/label-as-value.c index 6888c661..ec436f39 100644 --- a/validation/backend/label-as-value.c +++ b/validation/backend/label-as-value.c @@ -9,5 +9,5 @@ yes: return &&yes; /* * check-name: label-as-value - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/load-global.c b/validation/backend/load-global.c index dedb35f3..16ad03bd 100644 --- a/validation/backend/load-global.c +++ b/validation/backend/load-global.c @@ -17,5 +17,5 @@ int loadpi(void) { return *p; } /* * check-name: use simple value from global vars - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/pointer-add.c b/validation/backend/pointer-add.c index f92c892b..d4615140 100644 --- a/validation/backend/pointer-add.c +++ b/validation/backend/pointer-add.c @@ -50,5 +50,5 @@ int *iretincc(int *p, int o) { return p += 3; } /* * check-name: pointer-add - * check-command: ./sparsec -Wno-decl -c $file -o r.o + * check-command: sparsec -Wno-decl -c $file -o r.o */ diff --git a/validation/backend/pointer-cmp.c b/validation/backend/pointer-cmp.c index d1eec0ed..7e0d8d7d 100644 --- a/validation/backend/pointer-cmp.c +++ b/validation/backend/pointer-cmp.c @@ -8,5 +8,5 @@ int cmpnptr(int *x, long y) { return x == (int*)y; } /* * check-name: pointer comparison - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/pointer-param.c b/validation/backend/pointer-param.c index b705e6f4..65c23a5b 100644 --- a/validation/backend/pointer-param.c +++ b/validation/backend/pointer-param.c @@ -38,5 +38,5 @@ void foo(int *p, int a[5], int (*pfun)(int)) /* * check-name: pointer-param - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/setval.c b/validation/backend/setval.c index e3557571..66ac970a 100644 --- a/validation/backend/setval.c +++ b/validation/backend/setval.c @@ -3,5 +3,5 @@ float setfval32(void) { return 1.23F; } /* * check-name: setval-float - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/shift-special.c b/validation/backend/shift-special.c index d5e4d3d3..9b682371 100644 --- a/validation/backend/shift-special.c +++ b/validation/backend/shift-special.c @@ -9,5 +9,5 @@ long shift(long a, short b) /* * check-name: shift-special - * check-command: ./sparsec -c $file -o tmp.o + * check-command: sparsec -c $file -o tmp.o */ diff --git a/validation/backend/string-value.c b/validation/backend/string-value.c index 8cdec4a2..ae0b7b74 100644 --- a/validation/backend/string-value.c +++ b/validation/backend/string-value.c @@ -17,5 +17,5 @@ void call(void) /* * check-name: string-value - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/switch.c b/validation/backend/switch.c index d77250cc..499b5e3c 100644 --- a/validation/backend/switch.c +++ b/validation/backend/switch.c @@ -244,5 +244,5 @@ int switch_cmov(int a) /* * check-name: llvm-switch - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/symaddr.c b/validation/backend/symaddr.c index 71fb9def..2943b8cb 100644 --- a/validation/backend/symaddr.c +++ b/validation/backend/symaddr.c @@ -66,5 +66,5 @@ void gfoo(int *p, int a) /* * check-name: symbol address - * check-command: ./sparsec -Wno-decl -c $file -o tmp.o + * check-command: sparsec -Wno-decl -c $file -o tmp.o */ diff --git a/validation/backend/type-constant.c b/validation/backend/type-constant.c index cded7f2e..596a6819 100644 --- a/validation/backend/type-constant.c +++ b/validation/backend/type-constant.c @@ -19,5 +19,5 @@ long *linin(void) { long *r = (void*)0; return r; } /* * check-name: type-constant - * check-command: ./sparsec -Wno-decl -c $file -o r.o + * check-command: sparsec -Wno-decl -c $file -o r.o */ |