Hi all, second version for this patch. Given the suggestion for the bit-field one I've tried to improve also here the error message. I've added a simple testcase as requested, here I'm trying to do *void=int+int. This without checking would normally crash verifying gimple. More complex cases can be cause of crashes having the result type structures etc... Tested with make check-jit OK for trunk? Bests Andrea 2019-06-09 Andrea Corallo andrea.corallo@arm.com * libgccjit.c (gcc_jit_context_new_binary_op): Check result_type to be a numeric type. 2019-06-20 Andrea Corallo andrea.corallo@arm.com * jit.dg/test-error-gcc_jit_context_new_binary_op-bad-res-type.c: New testcase.