diff options
| author | Alan Wu <[email protected]> | 2024-04-25 17:01:54 -0400 |
|---|---|---|
| committer | Alan Wu <[email protected]> | 2024-04-25 18:38:14 -0400 |
| commit | 9b5bc8e6ea3e5269a5415546a33fd09035eab168 (patch) | |
| tree | 574875a8327723340babd442c40d080fa603899c /mini_builtin.c | |
| parent | 49753cd082b31b82b527eb683c9381cd5787293d (diff) | |
YJIT: Relax `--yjit-verify-ctx` after singleton class creation
Types like `Type::CString` really only assert that at one point the object had
its class field equal to `String`. Once a singleton class is created for any
strings, the type makes no assertion about any class field anymore, and becomes
the same as `Type::TString`.
Previously, the `--yjit-verify-ctx` option wasn't allowing objects of these
kind that have have singleton classes to pass verification even though the code
generators handle it just fine.
Found through `ruby/spec`.
Diffstat (limited to 'mini_builtin.c')
0 files changed, 0 insertions, 0 deletions