(Info-extract-pointer):
Widen more carefully, to avoid finding pointers in other nodes. (Info-index): Use push.
Showing
Please register or sign in to comment
Widen more carefully, to avoid finding pointers in other nodes. (Info-index): Use push.