Searched refs:getRangeForNegatedSym (Results 1 – 1 of 1) sorted by relevance
1219 if (std::optional<RangeSet> RS = getRangeForNegatedSym(Sym)) in VisitSymExpr()1479 std::optional<RangeSet> getRangeForNegatedSym(SymbolRef Sym) { in getRangeForNegatedSym() function in __anonaacf511c0511::SymbolicRangeInferrer