我正在看以下极客极客问题：

给定两个分别由N个和M个节点组成的排序链表。任务是合并两个列表（就地）并返回合并列表的头部。

Input:
N = 4, M = 3  
valueN[] = {5,10,15,40}  
valueM[] = {2,3,20}  
Output: 2 3 5 10 15 20 40   
Explanation: After merging the two linked
lists, we have merged list as 2, 3, 5,
10, 15, 20, 40.   

下面的答案是GFG的答案。我不明白它的空间复杂度是O（1）。我们正在创建一个新节点，所以它必须是O（m n）。

Node* sortedMerge(Node* head1, Node* head2)  
{  
    struct Node *dummy = new Node(0);  
    struct Node *tail = dummy;  
    while (1) {  
        if (head1 == NULL) {  
            tail->next = head2;  
            break;  
        }  
        else if (head2 == NULL) {  
            tail->next = head1;  
            break;  
        }
        if (head1->data <= head2->data){
            tail->next = head1;
            head1 = head1->next;
        }
        else{
            tail->next = head2;
            head2 = head2->next;
        }
        tail = tail->next;
    }
    return dummy->next;     
}  

有人能解释一下这里的空间复杂度是O（1）吗？