Searched refs:QueriedRangeSet (Results 1 – 1 of 1) sorted by relevance
1527 const RangeSet *QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol() local1531 if (!QueriedRangeSet) { in getRangeForComparisonSymbol()1535 QueriedRangeSet = getConstraint(State, SymSym); in getRangeForComparisonSymbol()1538 if (!QueriedRangeSet || QueriedRangeSet->isEmpty()) in getRangeForComparisonSymbol()1541 const llvm::APSInt *ConcreteValue = QueriedRangeSet->getConcreteValue(); in getRangeForComparisonSymbol()