aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-09-15 08:11:39 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-09-16 10:45:33 +0200
commit07aa15fec6c0261b5f652fffc53f8f3f5640559c (patch)
tree680a6bd10983861f9b3414e3a82e2718f2bba862 /validation
parentf1e4ba13d1499407a72349b50052ae818c8d8553 (diff)
downloadsparse-dev-07aa15fec6c0261b5f652fffc53f8f3f5640559c.tar.gz
use shorter name for constexpr tests
The name used for these tests, while very correct, are a bit longuish. They generaly take more than one line on the screen which is annoying when running the testsuite. Change this by using shorter names for these tests. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
-rw-r--r--validation/constexpr-addr-of-static-member.c2
-rw-r--r--validation/constexpr-addr-of-static.c2
-rw-r--r--validation/constexpr-binop.c2
-rw-r--r--validation/constexpr-cast.c2
-rw-r--r--validation/constexpr-compound-literal.c2
-rw-r--r--validation/constexpr-conditional.c2
-rw-r--r--validation/constexpr-init.c2
-rw-r--r--validation/constexpr-labelref.c2
-rw-r--r--validation/constexpr-offsetof.c2
-rw-r--r--validation/constexpr-pointer-arith.c2
-rw-r--r--validation/constexpr-pointer-cast.c2
-rw-r--r--validation/constexpr-preop.c2
-rw-r--r--validation/constexpr-string.c2
-rw-r--r--validation/constexpr-types-compatible-p.c2
14 files changed, 14 insertions, 14 deletions
diff --git a/validation/constexpr-addr-of-static-member.c b/validation/constexpr-addr-of-static-member.c
index f944f213..c2a74ac7 100644
--- a/validation/constexpr-addr-of-static-member.c
+++ b/validation/constexpr-addr-of-static-member.c
@@ -18,7 +18,7 @@ static int *f = &a.d.b[1]; // OK
static int *g = &(&a.d)->b[1]; // OK
/*
- * check-name: address of static object's member constness verification.
+ * check-name: constexpr static object's member address
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-addr-of-static.c b/validation/constexpr-addr-of-static.c
index a3af99ae..1af9438c 100644
--- a/validation/constexpr-addr-of-static.c
+++ b/validation/constexpr-addr-of-static.c
@@ -25,7 +25,7 @@ static void m(void) {
}
/*
- * check-name: address of static object constness verification.
+ * check-name: constexpr static object address
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-binop.c b/validation/constexpr-binop.c
index 85a88e3c..01261de9 100644
--- a/validation/constexpr-binop.c
+++ b/validation/constexpr-binop.c
@@ -19,7 +19,7 @@ static int a[] = {
};
/*
- * check-name: Expression constness propagation in binops and alike
+ * check-name: constexprness in binops and alike
*
* check-error-start
constexpr-binop.c:3:12: error: bad constant expression
diff --git a/validation/constexpr-cast.c b/validation/constexpr-cast.c
index 27069614..993c4667 100644
--- a/validation/constexpr-cast.c
+++ b/validation/constexpr-cast.c
@@ -14,7 +14,7 @@ static int a[] = {
};
/*
- * check-name: Expression constness propagation in casts
+ * check-name: constexprness in casts
*
* check-error-start
constexpr-cast.c:9:11: error: bad integer constant expression
diff --git a/validation/constexpr-compound-literal.c b/validation/constexpr-compound-literal.c
index d7f21ad7..e1378739 100644
--- a/validation/constexpr-compound-literal.c
+++ b/validation/constexpr-compound-literal.c
@@ -9,7 +9,7 @@ static void foo(void)
}
/*
- * check-name: compound literal address constness verification
+ * check-name: constexpr compound literal address
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-conditional.c b/validation/constexpr-conditional.c
index a3331b3e..0f2409bf 100644
--- a/validation/constexpr-conditional.c
+++ b/validation/constexpr-conditional.c
@@ -21,7 +21,7 @@ static int a[] = {
};
/*
- * check-name: Expression constness propagation in conditional expressions
+ * check-name: constexprness in conditionals
*
* check-error-start
constexpr-conditional.c:12:13: error: bad constant expression
diff --git a/validation/constexpr-init.c b/validation/constexpr-init.c
index d7e7a450..c182fe79 100644
--- a/validation/constexpr-init.c
+++ b/validation/constexpr-init.c
@@ -39,7 +39,7 @@ static void s(void) {
}
/*
- * check-name: static storage object initializer constness verification.
+ * check-name: constexprness static storage object initializer
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-labelref.c b/validation/constexpr-labelref.c
index 15b5293a..93dc5ccc 100644
--- a/validation/constexpr-labelref.c
+++ b/validation/constexpr-labelref.c
@@ -6,7 +6,7 @@ label1:
}
/*
- * check-name: label reference constness verification.
+ * check-name: constexprness label reference
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-offsetof.c b/validation/constexpr-offsetof.c
index d1697b0c..f55cb563 100644
--- a/validation/constexpr-offsetof.c
+++ b/validation/constexpr-offsetof.c
@@ -13,7 +13,7 @@ static int o[] = {
};
/*
- * check-name: __builtin_offsetof() constness verification.
+ * check-name: constexprness __builtin_offsetof()
*
* check-error-start
constexpr-offsetof.c:12:39: error: bad constant expression
diff --git a/validation/constexpr-pointer-arith.c b/validation/constexpr-pointer-arith.c
index a9220280..f27d117a 100644
--- a/validation/constexpr-pointer-arith.c
+++ b/validation/constexpr-pointer-arith.c
@@ -17,7 +17,7 @@ static int *o = &*(b + 1); // OK
static int *p = &*(d + 1); // KO
/*
- * check-name: pointer arithmetic constness verification.
+ * check-name: consrexprness pointer arithmetic
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-pointer-cast.c b/validation/constexpr-pointer-cast.c
index d19c1082..bdf668c1 100644
--- a/validation/constexpr-pointer-cast.c
+++ b/validation/constexpr-pointer-cast.c
@@ -4,7 +4,7 @@ static int *c = (int*)b; // KO
/*
- * check-name: integer literal cast to pointer type constness verification.
+ * check-name: constexprness integer literal cast to pointer type
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-preop.c b/validation/constexpr-preop.c
index 5d869da4..4b54defd 100644
--- a/validation/constexpr-preop.c
+++ b/validation/constexpr-preop.c
@@ -16,7 +16,7 @@ static int a[] = {
};
/*
- * check-name: Expression constness propagation in preops
+ * check-name: constexprness in preops
*
* check-error-start
constexpr-preop.c:4:5: error: bad constant expression
diff --git a/validation/constexpr-string.c b/validation/constexpr-string.c
index e641a83e..1db101ee 100644
--- a/validation/constexpr-string.c
+++ b/validation/constexpr-string.c
@@ -1,7 +1,7 @@
static char *a = "foobar"; // OK
/*
- * check-name: string literal constness verification.
+ * check-name: constness of string literal
* check-command: sparse -Wconstexpr-not-const $file
*
* check-error-start
diff --git a/validation/constexpr-types-compatible-p.c b/validation/constexpr-types-compatible-p.c
index 1969bf3b..1179e9d6 100644
--- a/validation/constexpr-types-compatible-p.c
+++ b/validation/constexpr-types-compatible-p.c
@@ -1,7 +1,7 @@
static int a[] = {[__builtin_types_compatible_p(int, int)] = 0};
/*
- * check-name: __builtin_types_compatible_p() constness verification.
+ * check-name: constness of __builtin_types_compatible_p()
*
* check-error-start
* check-error-end