Searched refs:ReturnSymbol (Results 1 – 1 of 1) sorted by relevance
521 SymbolRef ReturnSymbol = nullptr; in evalAssume() local529 ReturnSymbol = SIE->getLHS(); in evalAssume()532 if (ReturnSymbol) in evalAssume()534 if (ReturnSymbol == I->second.Region) in evalAssume()