From 96fc40d7dbdc77efa7b2e01f231bef9e19e96786 Mon Sep 17 00:00:00 2001 From: Andrea Corallo Date: Sun, 9 Jun 2019 16:59:34 +0200 Subject: [PATCH] generate reproducer if needed --- src/comp.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/comp.c b/src/comp.c index 12d952ca2a1..63bf88870bd 100644 --- a/src/comp.c +++ b/src/comp.c @@ -1457,6 +1457,9 @@ init_comp (void) { comp.ctxt = gcc_jit_context_acquire(); + if (COMP_DEBUG > 1) + gcc_jit_context_dump_reproducer_to_file (comp.ctxt, "comp_reproducer.c"); + comp.void_type = gcc_jit_context_get_type (comp.ctxt, GCC_JIT_TYPE_VOID); comp.void_ptr_type = gcc_jit_context_get_type (comp.ctxt, GCC_JIT_TYPE_VOID_PTR); -- 2.39.5