以下代码,我推算出是976531
为什么代码运行是9767531呢,不明白
哪里多了一位7?
我的推测是这样的

#include "stdio.h"
void fun(char *a,char b){
while (*(a++)!='\0');
while (*(a-1) < b) {
*(a--) = *(a-1);
}
*(a--) = b;
}
int main() {
char s[] ="97531",c;
c=getchar();
fun(s,c);
puts(s);
}