add message

src/PrivateAnalyzer/private_arrays_search.cpp

@@ -21,6 +21,7 @@
 using namespace std;
 
 extern std::map<std::tuple<int, std::string, std::string>, std::pair<DIST::Array*, DIST::ArrayAccessInfo*>> declaredArrays;
+extern map<string, vector<Messages>> SPF_messages;
 
 static set<Region*> collapsed;