Searched refs:DagNotMatches (Results 1 – 1 of 1) sorted by relevance
1900 std::vector<Pattern> DagNotMatches = ImplicitNegativeChecks; in readCheckFile() local2001 DagNotMatches.push_back(P); in readCheckFile()2007 std::swap(DagNotMatches, CheckStrings->back().DagNotStrings); in readCheckFile()2008 DagNotMatches = ImplicitNegativeChecks; in readCheckFile()2033 if (!DagNotMatches.empty()) { in readCheckFile()2037 std::swap(DagNotMatches, CheckStrings->back().DagNotStrings); in readCheckFile()