mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-23 00:19:55 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add missing testcase accidentally omitted from r219681

Browse Source 
From-SVN: r219757
This commit is contained in:
David Malcolm 2015-01-16 17:26:08 +00:00
parent 0dc240a4ab
commit d486ec105e
1 changed files with 64 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
gcc/testsuite/jit.dg/test-error-mismatching-types-in-assignment-op.c Normal file
View File

@ -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)")
}