Searched refs:reportInvalidCheckerOptionValue (Results 1 – 6 of 6) sorted by relevance
351 Mgr.reportInvalidCheckerOptionValue( in registerPaddingChecker()
201 Mgr.reportInvalidCheckerOptionValue(this, "WarnOn", in setAggressiveness()
480 Mgr.reportInvalidCheckerOptionValue( in REGISTER_MAP_WITH_PROGRAMSTATE()
620 Mgr.reportInvalidCheckerOptionValue(Chk, "IgnoreRecordsWithField", in registerUninitializedObjectChecker()
184 void reportInvalidCheckerOptionValue(const CheckerFrontend *Checker,
51 void CheckerManager::reportInvalidCheckerOptionValue( in reportInvalidCheckerOptionValue() function in CheckerManager