Searched refs:ImplicitNegativeChecks (Results 1 – 1 of 1) sorted by relevance
860 std::vector<Pattern> ImplicitNegativeChecks; in ReadCheckFile() local873 ImplicitNegativeChecks.push_back(Pattern(Check::CheckNot)); in ReadCheckFile()874 ImplicitNegativeChecks.back().ParsePattern(PatternInBuffer, in ReadCheckFile()879 std::vector<Pattern> DagNotMatches = ImplicitNegativeChecks; in ReadCheckFile()954 DagNotMatches = ImplicitNegativeChecks; in ReadCheckFile()