A checker: la comparaison de fonctions pragma/ensemble de fonctions du code

functions/pragma.c

@@ -2,6 +2,7 @@
 
 vec<const char*> pragma_func_names;
 vec<const char*> pragma_func_names_temp;
+vec<const char*> analyzed_functions;
 
 static void my_pragma_action(cpp_reader *ARG_UNUSED(dummy))
 {
@@ -96,3 +97,23 @@ static void register_my_pragma(void *event_data, void *data)
 }
 
 
+void compare_pragma_funcs_analyzed_funcs(){
+	const char *pragma_elt;
+	const char *analyzed_elt;
+	for(int ix = 0; pragma_func_names.iterate (ix, &pragma_elt); ix++){
+		for(int jx = 0; analyzed_functions.iterate (jx, &analyzed_elt); jx++){
+			if(strcmp(pragma_elt, analyzed_elt)!=0)
+				printf("WARNING :Pragma indicates unexisting function %s\n ",pragma_elt );
+        	}
+	}
+}
+
+
+
+
+
+
+
+
+
+

functions/pragma.h

@@ -3,5 +3,5 @@
 
 static void register_my_pragma(void *event_data, void *data);
 static void my_pragma_action(cpp_reader *ARG_UNUSED(dummy));
-
+void compare_pragma_funcs_analyzed_funcs();
 #endif

plugin.cpp

@@ -75,6 +75,7 @@ class split_count_pass : public gimple_opt_pass
                 {
 			bool func_to_be_analyzed = true;
 
+
                         printf("=> plugin: split_count_pass... \n");
                         printf("=> plugin: gate... \n");
                         if((pragma_func_names.length() == 0)){
@@ -145,6 +146,7 @@ class cleanup_pass : public gimple_opt_pass
                         printf("=> plugin: execute...\n");
 			
 			printf("... in function %s\n\n", function_name(fun));
+			compare_pragma_funcs_analyzed_funcs();
 			edit_all_aux_value(fun,(int*)NULL);
 			return 0;
                 }