summaryrefslogtreecommitdiff
path: root/.gdbinit
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2020-01-07 14:53:25 +0100
committerNikita Popov <nikita.ppv@gmail.com>2020-01-07 14:55:52 +0100
commit1e4920c1191c8e324604bdfe3b3cd0397faf44a7 (patch)
tree5ba6863e05a98076f7c3300f672da9bc643acea5 /.gdbinit
parentda48d25ea24ca05cfca872648654d17c3abafce3 (diff)
downloadphp-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--.gdbinit19
1 files changed, 5 insertions, 14 deletions
diff --git a/.gdbinit b/.gdbinit
index a903c086e5..be901f80a2 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -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"