在C语言程序中，表达式x%m出现在一个浮点型变量x与整型非零常量m之间，请判断程序在哪个阶段会报错，并指出错误的类型。

本题考查程序语言基础知识。在C语言中，对浮点数进行取余运算是不被支持的，这种错误属于静态语义错误。编译器在编译阶段会对源代码进行语义分析，发现这种运算类型不匹配的错误并报告。因此，该程序在编译时会报错，错误类型为静态语义错误。