Problema de recursão (código, análise, montagem)

Código:

main.c

#include <stdio.h>

//该程序使用递归将字符串从后往前依次输出

void reverse(char* s)
{
    
    
    if( (s != NULL) && (*s != '\0') )
    {
    
    
        reverse(s + 1);
        
        printf("%c", *s); //输出54321
    }
}

int main()
{
    
    
    reverse("12345");
    
    printf("\n");
	getchar();
    return 0;
}

análise:

compilação: