请教某年的程序员试题

有一个程序员题想请教：
a、b分别为一升序数组，现要把a、b合并
程序如下：
int merge(*b,*a)
intnode h=*a,*q,*p
while(b){
for(p=h,p & p->val < b->val,q=p,p=p->next);
if (p==h) h=b;else q->next=b;
q=p;b=b->next;q->next=p;
}
return (h)

在这个里面根本就没看见h的值，怎么就返回h了呢？我一直想不明白。
我虽然看过解释，但依然不明白……