Lines Matching refs:CHECKER
34 template <typename CHECKER>
37 ((const CHECKER *)checker)->checkASTDecl(cast<DECL>(D), mgr, BR);
44 template <typename CHECKER>
45 static void _register(CHECKER *checker, CheckerManager &mgr) {
47 _checkDecl<CHECKER>),
53 template <typename CHECKER>
56 ((const CHECKER *)checker)->checkASTCodeBody(D, mgr, BR);
60 template <typename CHECKER>
61 static void _register(CHECKER *checker, CheckerManager &mgr) {
63 _checkBody<CHECKER>));
68 template <typename CHECKER>
73 ((const CHECKER *)checker)->checkEndOfTranslationUnit(TU, mgr, BR);
77 template <typename CHECKER>
78 static void _register(CHECKER *checker, CheckerManager &mgr){
81 _checkEndOfTranslationUnit<CHECKER>));
87 template <typename CHECKER>
89 ((const CHECKER *)checker)->checkPreStmt(cast<STMT>(S), C);
96 template <typename CHECKER>
97 static void _register(CHECKER *checker, CheckerManager &mgr) {
99 _checkStmt<CHECKER>),
106 template <typename CHECKER>
108 ((const CHECKER *)checker)->checkPostStmt(cast<STMT>(S), C);
115 template <typename CHECKER>
116 static void _register(CHECKER *checker, CheckerManager &mgr) {
118 _checkStmt<CHECKER>),
124 template <typename CHECKER>
127 ((const CHECKER *)checker)->checkPreObjCMessage(msg, C);
131 template <typename CHECKER>
132 static void _register(CHECKER *checker, CheckerManager &mgr) {
134 CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
139 template <typename CHECKER>
142 ((const CHECKER *)checker)->checkPostObjCMessage(msg, C);
146 template <typename CHECKER>
147 static void _register(CHECKER *checker, CheckerManager &mgr) {
149 CheckerManager::CheckObjCMessageFunc(checker, _checkObjCMessage<CHECKER>));
154 template <typename CHECKER>
157 ((const CHECKER *)checker)->checkPreCall(msg, C);
161 template <typename CHECKER>
162 static void _register(CHECKER *checker, CheckerManager &mgr) {
164 CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
169 template <typename CHECKER>
172 ((const CHECKER *)checker)->checkPostCall(msg, C);
176 template <typename CHECKER>
177 static void _register(CHECKER *checker, CheckerManager &mgr) {
179 CheckerManager::CheckCallFunc(checker, _checkCall<CHECKER>));
184 template <typename CHECKER>
188 ((const CHECKER *)checker)->checkLocation(location, isLoad, S, C);
192 template <typename CHECKER>
193 static void _register(CHECKER *checker, CheckerManager &mgr) {
195 CheckerManager::CheckLocationFunc(checker, _checkLocation<CHECKER>));
200 template <typename CHECKER>
204 ((const CHECKER *)checker)->checkBind(location, val, S, C);
208 template <typename CHECKER>
209 static void _register(CHECKER *checker, CheckerManager &mgr) {
211 CheckerManager::CheckBindFunc(checker, _checkBind<CHECKER>));
216 template <typename CHECKER>
219 ((const CHECKER *)checker)->checkEndAnalysis(G, BR, Eng);
223 template <typename CHECKER>
224 static void _register(CHECKER *checker, CheckerManager &mgr) {
226 CheckerManager::CheckEndAnalysisFunc(checker, _checkEndAnalysis<CHECKER>));
231 template <typename CHECKER>
234 ((const CHECKER *)checker)->checkEndFunction(C);
238 template <typename CHECKER>
239 static void _register(CHECKER *checker, CheckerManager &mgr) {
241 CheckerManager::CheckEndFunctionFunc(checker, _checkEndFunction<CHECKER>));
246 template <typename CHECKER>
249 ((const CHECKER *)checker)->checkBranchCondition(Condition, C);
253 template <typename CHECKER>
254 static void _register(CHECKER *checker, CheckerManager &mgr) {
257 _checkBranchCondition<CHECKER>));
262 template <typename CHECKER>
265 ((const CHECKER *)checker)->checkLiveSymbols(state, SR);
269 template <typename CHECKER>
270 static void _register(CHECKER *checker, CheckerManager &mgr) {
272 CheckerManager::CheckLiveSymbolsFunc(checker, _checkLiveSymbols<CHECKER>));
277 template <typename CHECKER>
280 ((const CHECKER *)checker)->checkDeadSymbols(SR, C);
284 template <typename CHECKER>
285 static void _register(CHECKER *checker, CheckerManager &mgr) {
287 CheckerManager::CheckDeadSymbolsFunc(checker, _checkDeadSymbols<CHECKER>));
292 template <typename CHECKER>
300 return ((const CHECKER *)checker)->checkRegionChanges(state, invalidated,
303 template <typename CHECKER>
306 return ((const CHECKER *)checker)->wantsRegionChangeUpdate(state);
310 template <typename CHECKER>
311 static void _register(CHECKER *checker, CheckerManager &mgr) {
314 _checkRegionChanges<CHECKER>),
316 _wantsRegionChangeUpdate<CHECKER>));
321 template <typename CHECKER>
331 return ((const CHECKER *)Checker)->checkPointerEscape(State,
348 return ((const CHECKER *)Checker)->checkPointerEscape(State,
355 template <typename CHECKER>
356 static void _register(CHECKER *checker, CheckerManager &mgr) {
359 _checkPointerEscape<CHECKER>));
364 template <typename CHECKER>
388 return ((const CHECKER *)Checker)->checkConstPointerEscape(State,
395 template <typename CHECKER>
396 static void _register(CHECKER *checker, CheckerManager &mgr) {
399 _checkConstPointerEscape<CHECKER>));
406 template <typename CHECKER>
408 ((const CHECKER *)checker)->checkEvent(*(const EVENT *)event);
411 template <typename CHECKER>
412 static void _register(CHECKER *checker, CheckerManager &mgr) {
414 CheckerManager::CheckEventFunc(checker, _checkEvent<CHECKER>));
423 template <typename CHECKER>
428 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
432 template <typename CHECKER>
433 static void _register(CHECKER *checker, CheckerManager &mgr) {
435 CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>));
440 template <typename CHECKER>
442 return ((const CHECKER *)checker)->evalCall(CE, C);
446 template <typename CHECKER>
447 static void _register(CHECKER *checker, CheckerManager &mgr) {
449 CheckerManager::EvalCallFunc(checker, _evalCall<CHECKER>));
515 template <typename CHECKER>
516 static void _register(CHECKER *checker, CheckerManager &mgr) {
531 template <typename CHECKER>
532 static void _register(CHECKER *checker, CheckerManager &mgr) {