控制到达非空函数的末尾

这段代码应该可以完美地运行并给出正确的结果，但它没有。我使用了调试器，一切都很好。在函数返回之前，c.i和c.j具有正确的值。我确保在开始和结束之间总是有一条路，所以这不是问题所在。path和vis数组也填充了正确的值。因此，唯一的问题是它何时返回。它给出随机的大数字。只有当我在函数末尾放一个return语句时，它才有效。但我可以在if子句中只放置一个返回语句来生成一个函数，并且它是有效的。是否存在某种规则，因此函数末尾必须有任何类型的返回语句？为了测试它，我输入3x3二维数组和1。有什么解决方案吗？

编辑：我在ideone上运行它，它在函数末尾没有返回语句。我的一个朋友也在他的电脑上测试了一下，它也起作用了。我在Windows7上使用代码块。问题出在哪里？

链接到视频

#include <iostream>
#include <string>
#include <queue>
#include <vector>
#include <iomanip>
#include <algorithm>
#include <cmath>
using namespace std;
struct crd {
int i,j;
};
bool vis[50][50];
int map[50][50];
int path[50][50];
int di[4] = {1,-1,0,0};
int dj[4] = {0,0,1,-1};
int bfs(crd start, crd end, int n, int m)
{
queue<crd> q;
crd t,c;
q.push(start);
vis[start.i][start.j] = 1;
path[start.i][start.j] = 0;
while (!q.empty()) {
t = q.front();
q.pop();
for (int i=0; i<4; i++) {
c.i = t.i + di[i]; 
c.j = t.j + dj[i]; 
if (c.i >= 0 && c.j >= 0 && c.i < n && c.j < m) {
if (map[c.i][c.j] != -1 && vis[c.i][c.j] != 1) {
q.push(c);
vis[c.i][c.j] = 1; 
path[c.i][c.j] = path[t.i][t.j] + 1; 
if (c.i == end.i && c.j == end.j)
return path[end.i][end.j];
}
}
}
}
// if i put this: return path[end.i][end.j]; it works
}
int main()
{
for (int i=0; i<3; i++) {
for (int j=0; j<3; j++)
cin >> map[i][j];
}
crd s,e;
s.i = s.j = 0;
e.i = e.j = 2;
int sp = bfs(s,e,3,3);
cout << sp << endl;

return 0;
}