commit 82f33d3f6be2e5088a48f5616ab3c4c312f3916d
author Alexandre Julliard <julliard@winehq.org> Mon Jul 25 10:43:09 2011 +0200
committer Alexandre Julliard <julliard@winehq.org> Mon Jul 25 10:43:09 2011 +0200
tree f0287043af1b538a49b36b4ff3a195f115c7163d
parent a92d60efb594e2dc521cead91536e80ac98e9e02

widl: Check for mismatched types in ?: expressions.

tools/widl/expr.c

diff --git a/tools/widl/expr.c b/tools/widl/expr.c
index 60e3a50..7012382 100644
--- a/tools/widl/expr.c
+++ b/tools/widl/expr.c
@@ -649,6 +649,10 @@
         check_scalar_type(expr_loc, cont_type, result_first.type);
         result_second = resolve_expression(expr_loc, cont_type, e->u.ext);
         result_third = resolve_expression(expr_loc, cont_type, e->ext2);
+        check_scalar_type(expr_loc, cont_type, result_second.type);
+        check_scalar_type(expr_loc, cont_type, result_third.type);
+        if (!is_ptr(result_second.type) ^ !is_ptr(result_third.type))
+            error_loc_info(&expr_loc->v->loc_info, "type mismatch in ?: expression\n" );
         /* FIXME: determine the correct return type */
         result = result_second;
         result.is_variable = FALSE;