Searched refs:ComplexityThreshold (Results 1 – 1 of 1) sorted by relevance
51 static unsigned constexpr ComplexityThreshold = 10; member in __anon47c84c9a0111::TrustNonnullChecker70 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()