https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66546
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Author: dmalcolm Date: Wed Jul 1 14:35:53 2015 New Revision: 225254 URL: https://gcc.gnu.org/viewcvs?rev=225254&root=gcc&view=rev Log: PR jit/66546: Add gcc_jit_context_set_bool_allow_unreachable_blocks Backport of r225206 (04feb56e6acd497d0add042232afd7940ef61adb) from trunk gcc/jit/ChangeLog: Backport from mainline r225206 2015-06-30 David Malcolm <dmalc...@redhat.com> PR jit/66546 * docs/cp/topics/contexts.rst (gccjit::context::set_bool_allow_unreachable_blocks): New. * docs/topics/compatibility.rst (LIBGCCJIT_ABI_2): New. * docs/topics/contexts.rst (Options): Add notes discussing the transition from enums to entrypoints for new options. (gcc_jit_context_set_bool_allow_unreachable_blocks): New. * docs/_build/texinfo/libgccjit.texi: Regenerate. * jit-common.h (gcc::jit::inner_bool_option): New enum. * jit-recording.c: Within namespace gcc::jit... (recording::context::context): Handle m_inner_bool_options. (recording::context::set_inner_bool_option): New. (inner_bool_option_reproducer_strings): New. (recording::context::log_all_options): Log the "inner" bool options. (recording::context::log_inner_bool_option): New. (recording::context::dump_reproducer_to_file): Write initializers for "inner" bool options. (recording::function::validate): Don't check for block reachability if INNER_BOOL_OPTION_ALLOW_UNREACHABLE_BLOCKS is set. * jit-recording.h: Within namespace gcc::jit... (recording::context::set_inner_bool_option): New. (recording::context::get_inner_bool_option): New. (recording::context::log_inner_bool_option): New. (recording::context::m_inner_bool_options): New. * libgccjit++.h (gccjit::context::set_bool_allow_unreachable_blocks): New. * libgccjit.c (gcc_jit_context_set_bool_allow_unreachable_blocks): New. * libgccjit.h: Add note about options present in the initial release of libgccjit. (gcc_jit_context_set_bool_allow_unreachable_blocks): New API entrypoint. (LIBGCCJIT_HAVE_gcc_jit_context_set_bool_allow_unreachable_blocks): New macro. * libgccjit.map (LIBGCCJIT_ABI_2): New, containing... (gcc_jit_context_set_bool_allow_unreachable_blocks): ...this new entrypoint. gcc/testsuite/ChangeLog: Backport from mainline r225206 2015-06-30 David Malcolm <dmalc...@redhat.com> PR jit/66546 * jit.dg/all-non-failing-tests.h: Add note about test-validly-unreachable-block.c. * jit.dg/test-validly-unreachable-block.c: New file. Added: branches/gcc-5-branch/gcc/testsuite/jit.dg/test-validly-unreachable-block.c Modified: branches/gcc-5-branch/gcc/jit/ChangeLog branches/gcc-5-branch/gcc/jit/docs/_build/texinfo/libgccjit.texi branches/gcc-5-branch/gcc/jit/docs/cp/topics/contexts.rst branches/gcc-5-branch/gcc/jit/docs/topics/compatibility.rst branches/gcc-5-branch/gcc/jit/docs/topics/contexts.rst branches/gcc-5-branch/gcc/jit/jit-common.h branches/gcc-5-branch/gcc/jit/jit-recording.c branches/gcc-5-branch/gcc/jit/jit-recording.h branches/gcc-5-branch/gcc/jit/libgccjit++.h branches/gcc-5-branch/gcc/jit/libgccjit.c branches/gcc-5-branch/gcc/jit/libgccjit.h branches/gcc-5-branch/gcc/jit/libgccjit.map branches/gcc-5-branch/gcc/testsuite/ChangeLog branches/gcc-5-branch/gcc/testsuite/jit.dg/all-non-failing-tests.h