llvm/clang编译器添加航天子集区域限制的制导#pragma as-check

一.实现效果算法 输入：添加制导的源程序*.c 输出：打印每一个函数对应的是否在制导范围内，若是在制导范围内，对应的规则号 输出格式为 函数名:[0，1，2]（1 表示有 as-check 制导 rule1，2 表示有制导 rule2， 0 表示没有） 每一个函数一行 。ide 例如：函数 示例输入example.cspa 示例输出blog 二.算法流程： token 一、当 Lexer 认出”#

>>阅读原文<<