Searched refs:DagNotMatches (Results 1 – 1 of 1) sorted by relevance
1921 std::vector<Pattern> DagNotMatches = ImplicitNegativeChecks; in readCheckFile() local2032 DagNotMatches.push_back(P); in readCheckFile()2038 std::swap(DagNotMatches, CheckStrings->back().DagNotStrings); in readCheckFile()2039 DagNotMatches = ImplicitNegativeChecks; in readCheckFile()2064 if (!DagNotMatches.empty()) { in readCheckFile()2068 std::swap(DagNotMatches, CheckStrings->back().DagNotStrings); in readCheckFile()