diff options
Diffstat (limited to 'src/backend/jit/jit.c')
| -rw-r--r-- | src/backend/jit/jit.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/backend/jit/jit.c b/src/backend/jit/jit.c index fd1cf184c8e..4da8fee20b4 100644 --- a/src/backend/jit/jit.c +++ b/src/backend/jit/jit.c @@ -185,6 +185,7 @@ InstrJitAgg(JitInstrumentation *dst, JitInstrumentation *add) { dst->created_functions += add->created_functions; INSTR_TIME_ADD(dst->generation_counter, add->generation_counter); + INSTR_TIME_ADD(dst->deform_counter, add->deform_counter); INSTR_TIME_ADD(dst->inlining_counter, add->inlining_counter); INSTR_TIME_ADD(dst->optimization_counter, add->optimization_counter); INSTR_TIME_ADD(dst->emission_counter, add->emission_counter); |