diff options
Diffstat (limited to 'gcc/jit/jit-playback.h')
-rw-r--r-- | gcc/jit/jit-playback.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/jit/jit-playback.h b/gcc/jit/jit-playback.h index 25a4c28..02f08ba 100644 --- a/gcc/jit/jit-playback.h +++ b/gcc/jit/jit-playback.h @@ -175,6 +175,11 @@ public: return m_recording_ctxt->get_bool_option (opt); } + builtins_manager *get_builtins_manager () const + { + return m_recording_ctxt->get_builtins_manager (); + } + result * compile (); |