From 2b442504a0a4073992da8985ebcf1998ef4aff5e Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Thu, 4 Jul 2019 16:25:06 +0000 Subject: jit: gcc_jit_context_new_binary_op check res type gcc/jit/ChangeLog: 2019-07-04 Andrea Corallo * libgccjit.c (gcc_jit_context_new_binary_op): Check result_type to be a numeric type. gcc/testsuite/ChangeLog: 2019-07-04 Andrea Corallo * jit.dg/test-error-gcc_jit_context_new_binary_op-bad-res-type.c: New testcase. From-SVN: r273089 --- gcc/jit/ChangeLog | 5 +++++ gcc/jit/libgccjit.c | 6 ++++++ 2 files changed, 11 insertions(+) (limited to 'gcc/jit') diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index 8323e2f..41cb60f 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,5 +1,10 @@ 2019-07-04 Andrea Corallo + * libgccjit.c (gcc_jit_context_new_binary_op): Check result_type to be a + numeric type. + +2019-07-04 Andrea Corallo + * 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 abf7019..23e83e2 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); } -- cgit v1.1