途中抜粋ですが、こんな感じの関数で
・呼ばれたら、aaaが4になるまで無限ループ
・4になったら関数kansuuの呼び元にaaaを返す
という処理なんですが、これでaaaが「1」で返ってくる可能性なんてありますでしょうか?
悩んでいます…。気になるのは、無限ループ内のswitch文の「break」ですが
これって無限ループまで抜けませんよね?(case 1~3間のbreak文は意図的に抜いてます)
回答をお願いします。

int kansuu(void)
{
while(1)
{
aaa = get_aaa();←aaaの値を取得してくる関数
switch(aaa)
{
case 1:
case 2:
case 3:
break;
case 4:
return aaa;
break;
         default:
break;
}

}
}