求中序线索二叉树中某节点在后序列表中前驱的代码问题

img


请问大家那个while循环的终止条件怎么理解?在这棵树根结点有左子树的情况下,假设p在右子树的某个叶子上感觉这个条件就会让p的前驱返回null,但照理应该是返回左子树的最后一个结点作为p的前驱。