1berry/ruby
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

RUBY_DEBUG: Verify PC correctness every alloc

Browse Source
This commit is contained in:
John Hawthorn 2024-11-27 23:32:56 -08:00
parent 660b995365
commit a505cd32fb
Notes: git 2024-11-30 04:37:44 +00:00 
Merged: https://github.com/ruby/ruby/pull/12204
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
gc.c
View File

@ -969,11 +969,25 @@ rb_gc_obj_slot_size(VALUE obj)
return rb_gc_impl_obj_slot_size(obj); return rb_gc_impl_obj_slot_size(obj);
} }
static inline void
gc_validate_pc(void) {
#if RUBY_DEBUG
rb_execution_context_t *ec = GET_EC();
const rb_control_frame_t *cfp = ec->cfp;
if (cfp && VM_FRAME_RUBYFRAME_P(cfp) && cfp->pc) {
RUBY_ASSERT(cfp->pc >= ISEQ_BODY(cfp->iseq)->iseq_encoded);
RUBY_ASSERT(cfp->pc <= ISEQ_BODY(cfp->iseq)->iseq_encoded + ISEQ_BODY(cfp->iseq)->iseq_size);
}
#endif
}
static inline VALUE static inline VALUE
newobj_of(rb_ractor_t *cr, VALUE klass, VALUE flags, VALUE v1, VALUE v2, VALUE v3, bool wb_protected, size_t size) newobj_of(rb_ractor_t *cr, VALUE klass, VALUE flags, VALUE v1, VALUE v2, VALUE v3, bool wb_protected, size_t size)
{ {
VALUE obj = rb_gc_impl_new_obj(rb_gc_get_objspace(), cr->newobj_cache, klass, flags, v1, v2, v3, wb_protected, size); VALUE obj = rb_gc_impl_new_obj(rb_gc_get_objspace(), cr->newobj_cache, klass, flags, v1, v2, v3, wb_protected, size);
gc_validate_pc();
if (UNLIKELY(rb_gc_event_hook_required_p(RUBY_INTERNAL_EVENT_NEWOBJ))) { if (UNLIKELY(rb_gc_event_hook_required_p(RUBY_INTERNAL_EVENT_NEWOBJ))) {
unsigned int lev; unsigned int lev;
RB_VM_LOCK_ENTER_CR_LEV(cr, &lev); RB_VM_LOCK_ENTER_CR_LEV(cr, &lev);