llvm/clang編譯器添加航天子集區域限制的制導#pragma as-check

一.實現效果 輸入：添加制導的源程序*.c 輸出：打印每個函數對應的是否在制導範圍內，如果在制導範圍內，對應的規則號 輸出格式爲 函數名:[0，1，2]（1 表示有 as-check 制導 rule1，2 表示有制導 rule2， 0 表示沒有） 每個函數一行 。 例如： 示例輸入example.c 示例輸出 二.算法流程：  1、當 Lexer 認出」#pragma」時調用 PragmaName

>>阅读原文<<