aboutsummaryrefslogtreecommitdiff
path: root/gcc/jit
diff options
context:
space:
mode:
authorAndrea Corallo <andrea.corallo@arm.com>2019-07-04 16:25:06 +0000
committerAndrea Corallo <akrl@gcc.gnu.org>2019-07-04 16:25:06 +0000
commit2b442504a0a4073992da8985ebcf1998ef4aff5e (patch)
treeb752f1ac911e361e8e659f03c5b684bf22896272 /gcc/jit
parente2c3bbbf905a8010729d35df8eda2792755107c4 (diff)
downloadgcc-2b442504a0a4073992da8985ebcf1998ef4aff5e.zip
gcc-2b442504a0a4073992da8985ebcf1998ef4aff5e.tar.gz
gcc-2b442504a0a4073992da8985ebcf1998ef4aff5e.tar.bz2
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/ChangeLog5
-rw-r--r--gcc/jit/libgccjit.c6
2 files changed, 11 insertions, 0 deletions
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 <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 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);
}