Searched refs:IsDefaultCheckPrefix (Results 1 – 2 of 2) sorted by relevance
41 bool IsDefaultCheckPrefix = false; member
1685 Req.IsDefaultCheckPrefix = true; in addDefaultPrefixes()1985 (ImplicitNegativeChecks.empty() || !Req.IsDefaultCheckPrefix)) { in readCheckFile()