@@ -1220,6 +1220,12 @@ static struct symbol *evaluate_conditional_expression(struct expression *expr)
const char * typediff;
int qual;
+ if (!preprocessing) {
+ if (expr_equiv(expr->cond_true, expr->cond_false))
+ warning(expr->pos, "identical expressions on both "
+ "branches of '?:'");
+ }
+
if (!evaluate_conditional(expr->conditional, 0))
return NULL;
if (!evaluate_expression(expr->cond_false))
new file mode 100644
@@ -0,0 +1,13 @@
+extern void bar(void);
+
+static void foo(void *a, void *b, void *c)
+{
+ void * d = a ? b : b; /* should warn */
+}
+/*
+ * check-name: A warning should be issued for identical expressions on both the true and false branches of the '?:' operator.
+ *
+ * check-error-start
+check_identical_exprs_on_cond.c:5:22: warning: identical expressions on both branches of '?:'
+ * check-error-end
+ */
Adds a warning when identical expressions are found on both the true and false branches of ?:. This is another common copy-paste error. Signed-off-by: Chris Forbes <chrisf@ijw.co.nz> --- evaluate.c | 6 ++++++ validation/check_identical_exprs_on_cond.c | 13 +++++++++++++ 2 files changed, 19 insertions(+), 0 deletions(-) create mode 100644 validation/check_identical_exprs_on_cond.c