diff options
| author | Andrea Corallo <andrea.corallo@arm.com> | 2019-07-04 16:25:06 +0000 |
|---|---|---|
| committer | Andrea Corallo <akrl@gcc.gnu.org> | 2019-07-04 16:25:06 +0000 |
| commit | 2b442504a0a4073992da8985ebcf1998ef4aff5e (patch) | |
| tree | b752f1ac911e361e8e659f03c5b684bf22896272 /gcc/jit | |
| parent | e2c3bbbf905a8010729d35df8eda2792755107c4 (diff) | |
jit: gcc_jit_context_new_binary_op check res type
gcc/jit/ChangeLog:
2019-07-04 Andrea Corallo <andrea.corallo@arm.com>
* libgccjit.c (gcc_jit_context_new_binary_op): Check result_type to be a
numeric type.
gcc/testsuite/ChangeLog:
2019-07-04 Andrea Corallo <andrea.corallo@arm.com>
* jit.dg/test-error-gcc_jit_context_new_binary_op-bad-res-type.c:
New testcase.
From-SVN: r273089
Diffstat (limited to 'gcc/jit')
| -rw-r--r-- | gcc/jit/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/jit/libgccjit.c | 6 |
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index 8323e2f488e..41cb60f1266 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,5 +1,10 @@ 2019-07-04 Andrea Corallo <andrea.corallo@arm.com> + * libgccjit.c (gcc_jit_context_new_binary_op): Check result_type to be a + numeric type. + +2019-07-04 Andrea Corallo <andrea.corallo@arm.com> + * docs/topics/compatibility.rst (LIBGCCJIT_ABI_12): New ABI tag. * docs/topics/types.rst: Add gcc_jit_context_new_bitfield. * jit-common.h (namespace recording): Add class bitfield. diff --git a/gcc/jit/libgccjit.c b/gcc/jit/libgccjit.c index abf701919a2..23e83e2e42c 100644 --- a/gcc/jit/libgccjit.c +++ b/gcc/jit/libgccjit.c @@ -1385,6 +1385,12 @@ gcc_jit_context_new_binary_op (gcc_jit_context *ctxt, a->get_type ()->get_debug_string (), b->get_debug_string (), b->get_type ()->get_debug_string ()); + RETURN_NULL_IF_FAIL_PRINTF4 ( + result_type->is_numeric (), ctxt, loc, + "gcc_jit_binary_op %i with operands a: %s b: %s " + "has non numeric result_type: %s", + op, a->get_debug_string (), b->get_debug_string (), + result_type->get_debug_string ()); return (gcc_jit_rvalue *)ctxt->new_binary_op (loc, op, result_type, a, b); } |