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