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