戻り値が指定されてる関数で、
関数の最後にreturnが無くても
関数の最後まで到達しないなら
C++の規格上は正しくコンパイル、実行できることは保障されますか？

たとえば以下のような記述は問題ないですか？

int a(int n){
　if (n){
　　return 0;
　}
　else {
　　return 1;
　}
}

int b(int n){
　if (n*n>=0){
　　return 0;
　}
}

int c(int n){
　while(1);
}