Add missing testcase accidentally omitted from r219681

From-SVN: r219757

diff --git a/gcc/testsuite/jit.dg/test-error-mismatching-types-in-assignment-op.c b/gcc/testsuite/jit.dg/test-error-mismatching-types-in-assignment-op.c
new file mode 100644 (file)
index 0000000..c86d334
--- /dev/null
+++ b/gcc/testsuite/jit.dg/test-error-mismatching-types-in-assignment-op.c
@@ -0,0 +1,64 @@
+#include <libgccjit.h>
+#include "harness.h"
+
+void
+create_code (gcc_jit_context *ctxt, void *user_data)
+{
+  /* Try to inject the equivalent of:
+        static int idx;
+        void test_func (void)
+       {
+         idx += (unsigned char)1; // mismatching type
+       }
+     and verify that we don't get an ICE inside gimplification
+     due to the type mismatch.  */
+  gcc_jit_type *void_type =
+    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
+  gcc_jit_type *int_type =
+    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
+  gcc_jit_type *unsigned_char_type =
+    gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_CHAR);
+  gcc_jit_function *test_func =
+    gcc_jit_context_new_function (ctxt, /* gcc_jit_context *ctxt */
+                                  NULL, /* gcc_jit_location *loc */
+                                  GCC_JIT_FUNCTION_EXPORTED, /* enum gcc_jit_function_kind kind */
+                                  void_type, /* gcc_jit_type *return_type */
+                                  "test_func", /* const char *name */
+                                  0, /* int num_params */
+                                  NULL, /* gcc_jit_param **params */
+                                  0); /* int is_variadic */
+  gcc_jit_block *block =
+    gcc_jit_function_new_block (test_func, "initial");
+
+  gcc_jit_rvalue *unsigned_char_1 =
+    gcc_jit_context_new_rvalue_from_int (ctxt, /* gcc_jit_context *ctxt */
+                                         unsigned_char_type, /* gcc_jit_type *numeric_type */
+                                         1); /* int value */
+  gcc_jit_lvalue *idx =
+    gcc_jit_context_new_global (ctxt, /* gcc_jit_context *ctxt */
+                                NULL, /* gcc_jit_location *loc */
+                                GCC_JIT_GLOBAL_INTERNAL, /* enum gcc_jit_global_kind kind */
+                                int_type, /* gcc_jit_type *type */
+                                "idx"); /* const char *name */
+
+  gcc_jit_block_add_assignment_op (block, /*gcc_jit_block *block */
+                                   NULL, /* gcc_jit_location *loc */
+                                   idx, /* gcc_jit_lvalue *lvalue */
+                                   GCC_JIT_BINARY_OP_PLUS, /* enum gcc_jit_binary_op op */
+                                   unsigned_char_1); /* gcc_jit_rvalue *rvalue */
+  gcc_jit_block_end_with_void_return (block, /*gcc_jit_block *block */
+                                     NULL);
+}
+
+void
+verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
+{
+  CHECK_VALUE (result, NULL);
+
+  /* Verify that the correct error message was emitted.  */
+  CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
+                     "gcc_jit_block_add_assignment_op:"
+                     " mismatching types:"
+                     " assignment to idx (type: int)"
+                     " involving (unsigned char)1 (type: unsigned char)")
+}