设计一个语义分析程序，审查源程序有无语义错误，为代码生成阶段收集类型的信息。要求使用c语言编写

语义分析是编译器的重要组成部分，它用于检查源代码中的语义错误，并为代码生成阶段收集类型信息。下面是一个简单的语义分析程序的示例，使用C语言编写。

代码示例：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>

int main() {
    char str[100];
    printf("输入要检查的代码：\n");
    fgets(str, 100, stdin); //从标准输入读取代码
    if (strstr(str, "int") != NULL) { //检查是否有int类型的变量声明
        printf("发现int类型变量声明！\n");
    }
    if (strstr(str, "float") != NULL) { //检查是否有float类型的变量声明
        printf("发现float类型变量声明！\n");
    }
    if (strstr(str, "double") != NULL) { //检查是否有double类型的变量声明
        printf("发现double类型变量声明！\n");
    }
    if (strstr(str, "char") != NULL) { //检查是否有char类型的变量声明
        printf("发现char类型变量声明！\n");
    }
    if (strstr(str, "void") != NULL) { //检查是否有void类型的函数声明
        printf("发现void类型函数声明！\n");
    }
    if (strstr(str, "int main") != NULL) { //检查是否有int main函数
        printf("发现int main函数！\n");
    }
    //其它语义检查...
    return 0;
}

该程序从标准输入读取代码，然后对代码进行语义分析，检查其中是否有int、float、double、char、void类型的声明，以及是否有int main函数。您可以根据需要添加其它的语义检查。

当检查到语义错误时，可以输出相应的错误信息，并退出程序。当所有的语义检查通过时，可以将收集到的类型信息存储到符号表中，以便在代码生成阶段使用。

需要注意的是，这只是一个简单的语义分析程序示例，实际的语义分析过程要考虑更多的细节和复杂性。