Searched refs:CondS (Results 1 – 1 of 1) sorted by relevance
68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume() local69 if (!CondS || CondS->computeComplexity() > ComplexityThreshold) in evalAssume()72 for (auto B=CondS->symbol_begin(), E=CondS->symbol_end(); B != E; ++B) { in evalAssume()