C语言中 For语句后面的括号里有两个分号是什么意思啊?

C语言中 For语句后面的括号里有两个分号是什么意思啊?
C语言中 For语句后面的括号里有两个分号是怎么实现的?for里面没有表达式,在TC环境下编译,这是main函数中的一段,里面有个开关语句,流程是怎么样的啊?for(;;){ switch(menu()) { case 1:input();break; case 2:output();break; case 3:save();break; case 4:search();break; case 5:xiugai();break; case 6:del();break; case 7:tongji();break; case 0:exit(1);break; }}

里面的两个分号切割开了三条语句,for(;;)是一个死循环,相当于while（1）,这里一直在判断menu（）函数的返回值,匹配相应的值执行相应的函数,一直在循环