gh-143946: Show JitOptSymbol on abstract stack when set PYTHON_OPT_DEBUG > 4

[cocolato]

Now we can get more debug info when set PYTHON_OPT_DEBUG > 4:

test_code:

def foo():
    total = 0
    for i in range(4002):
        total = total + i
    return total

foo()

Run PYTHON_OPT_DEBUG=5 ./python test.py

will get output:
debug.log

• Issue: PYTHON_OPT_DEBUG=4 (or higher) should show types on the abstract stack #143946

[Fidget-Spinner]

I think we also need to add an invalid tag to the JIT ref tags. Otherwise, this might crash when we push an abstract frame onto the stack. The abstract frame should be marked as invalid.

[cocolato]

updated!

[Fidget-Spinner]

Sorry that's the wrong tag, it should the tag in pycore_optimizer.h. E.g. #define REF_IS_BORROWED 1 is one of them. I think the invalid tag should follow pycore_stackref.h's number

[cocolato]

I think we also need to add an invalid tag to the JIT ref tags. Otherwise, this might crash when we push an abstract frame onto the stack. The abstract frame should be marked as invalid.

Sorry about that, I've just figured out the bitwise operations here.

[Fidget-Spinner]

Great, thanks!