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