aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-12-29 14:10:06 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-09-26 18:10:09 +0200
commit686de6f296f2720e5667bd93b867a8342ad59ed1 (patch)
tree3da5bee9f25dbb00c52466057b1cdfa2581fb07b
parentf60446f2ea3a8fa3442ac5c33a718798fec41ed2 (diff)
downloadsparse-686de6f296f2720e5667bd93b867a8342ad59ed1.tar.gz
shorter message for non-scalar in conditionals
The diagnostic message is a bit long with the non-really-informative part 'incorrect type' first and the explanation later in parentheses. Change this by using a shorter message "non-scalar type in ...". Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--evaluate.c2
-rw-r--r--validation/bad-type-twice0.c2
-rw-r--r--validation/conditional-type.c16
3 files changed, 10 insertions, 10 deletions
diff --git a/evaluate.c b/evaluate.c
index 3821bb3d..f6dfcced 100644
--- a/evaluate.c
+++ b/evaluate.c
@@ -910,7 +910,7 @@ static struct symbol *evaluate_conditional(struct expression *expr, int iterator
if (Waddress)
warning(expr->pos, "the address of %s will always evaluate as true", "an array");
} else if (!is_scalar_type(ctype)) {
- sparse_error(expr->pos, "incorrect type in conditional (non-scalar type):");
+ sparse_error(expr->pos, "non-scalar type in conditional:");
info(expr->pos, " %s", show_typename(ctype));
return NULL;
}
diff --git a/validation/bad-type-twice0.c b/validation/bad-type-twice0.c
index 45234699..9e834d47 100644
--- a/validation/bad-type-twice0.c
+++ b/validation/bad-type-twice0.c
@@ -7,7 +7,7 @@ static int foo(a)
* check-name: bad-type-twice0
*
* check-error-start
-bad-type-twice0.c:3:16: error: incorrect type in conditional (non-scalar type):
+bad-type-twice0.c:3:16: error: non-scalar type in conditional:
bad-type-twice0.c:3:16: incomplete type a
* check-error-end
*/
diff --git a/validation/conditional-type.c b/validation/conditional-type.c
index 34cfcc68..6e2da9b5 100644
--- a/validation/conditional-type.c
+++ b/validation/conditional-type.c
@@ -79,21 +79,21 @@ static int good_if_ptr(void *ptr)
* check-name: conditional-type
*
* check-error-start
-conditional-type.c:18:18: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:18:18: error: non-scalar type in conditional:
conditional-type.c:18:18: void
-conditional-type.c:19:13: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:19:13: error: non-scalar type in conditional:
conditional-type.c:19:13: struct state s
-conditional-type.c:24:18: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:24:18: error: non-scalar type in conditional:
conditional-type.c:24:18: void
-conditional-type.c:29:21: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:29:21: error: non-scalar type in conditional:
conditional-type.c:29:21: void
-conditional-type.c:30:16: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:30:16: error: non-scalar type in conditional:
conditional-type.c:30:16: struct state s
-conditional-type.c:34:21: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:34:21: error: non-scalar type in conditional:
conditional-type.c:34:21: void
-conditional-type.c:36:20: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:36:20: error: non-scalar type in conditional:
conditional-type.c:36:20: void
-conditional-type.c:40:21: error: incorrect type in conditional (non-scalar type):
+conditional-type.c:40:21: error: non-scalar type in conditional:
conditional-type.c:40:21: void
* check-error-end
*/