如何理解指针作为循环的判断条件

请问下面一个循环语句用*P作为循环的判断条件是什么意思?谢谢!!
#include<iostream>
using namespace std;
void f1(int *s)
{
int *p,t;
for (p=s;*p;p++);//*p作为循环的判断条件是什么意思?
while (s<p-1)
{
t=*--p;
*p=*s;
*s++=t;
}
}
void main()
{
int str1[]="EFG456";
cout<<str1<<'\n';
f1(str1);
cout<<str1<<'\n';
f1(str1);
cout<<str1<<'\n';
}