Searched refs:ReturnSymbol (Results 1 – 1 of 1) sorted by relevance
518 SymbolRef ReturnSymbol = nullptr; in evalAssume() local526 ReturnSymbol = SIE->getLHS(); in evalAssume()529 if (ReturnSymbol) in evalAssume()531 if (ReturnSymbol == I->second.Region) in evalAssume()