diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-01-07 14:53:25 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-01-07 14:55:52 +0100 |
commit | 1e4920c1191c8e324604bdfe3b3cd0397faf44a7 (patch) | |
tree | 5ba6863e05a98076f7c3300f672da9bc643acea5 /.gdbinit | |
parent | da48d25ea24ca05cfca872648654d17c3abafce3 (diff) | |
download | php-git-1e4920c1191c8e324604bdfe3b3cd0397faf44a7.tar.gz |
Renumber zval types, clarify allowed overlap
Make it clear that types used for type declarations can overlap
with the rest, and can also overlap in MAY_BE space.
This makes things more robust against the addition of new primitive
types.
Diffstat (limited to '.gdbinit')
-rw-r--r-- | .gdbinit | 19 |
1 files changed, 5 insertions, 14 deletions
@@ -255,31 +255,22 @@ define ____printzv_contents printf "CONSTANT_AST" end if $type == 12 - printf "CALLABLE" - end - if $type == 13 - printf "ITERABLE" - end - if $type == 14 - printf "VOID" - end - if $type == 15 printf "indirect: " ____printzv $zvalue->value.zv $arg1 end - if $type == 16 + if $type == 13 printf "pointer: %p", $zvalue->value.ptr end - if $type == 17 + if $type == 15 printf "_ERROR" end - if $type == 18 + if $type == 16 printf "_BOOL" end - if $type == 19 + if $type == 17 printf "_NUMBER" end - if $type > 19 + if $type > 17 printf "unknown type %d", $type end printf "\n" |