JIT: missing type watcher in _CHECK_ATTR_CLASS

Bug report

Bug description:

_CHECK_ATTR_CLASS calls sym_set_const(owner, type) without installing a type watcher. If the type mutates, the executor isn't invalidated.

cpython/Python/optimizer_bytecodes.c

Lines 224 to 228 in a059e85

    
               } 
        
               else { 
        
                   sym_set_const(owner, type); 
        
               } 
        
           }

Should install a watcher like _GUARD_TYPE_VERSION does:

cpython/Python/optimizer_bytecodes.c

Lines 246 to 250 in a059e85

    
               if (sym_set_type_version(owner, type_version)) { 
        
                   PyType_Watch(TYPE_WATCHER_ID, (PyObject *)type); 
        
                   _Py_BloomFilter_Add(dependencies, type); 
        
               } 
        
           }

Found by @Fidget-Spinner in #148394 (comment)

CPython versions tested on:

CPython main branch

Operating systems tested on:

Linux

Linked PRs

gh-148398: add type watcher in _CHECK_ATTR_CLASS #148399

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

JIT: missing type watcher in _CHECK_ATTR_CLASS #148398

Bug report

Bug description:

CPython versions tested on:

Operating systems tested on:

Linked PRs

Metadata

Assignees

Labels

Fields

Projects

Milestone

Relationships

Development

	if (sym_set_type_version(owner, type_version)) {
	PyType_Watch(TYPE_WATCHER_ID, (PyObject *)type);
	_Py_BloomFilter_Add(dependencies, type);
	}
	}

Search code, repositories, users, issues, pull requests...

Uh oh!

JIT: missing type watcher in _CHECK_ATTR_CLASS #148398

Description

Bug report

Bug description:

CPython versions tested on:

Operating systems tested on:

Linked PRs

Metadata

Metadata

Assignees

Labels

Fields

Projects

Milestone

Relationships

Development

Issue actions