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