Searched refs:ReturnSymbol (Results 1 – 1 of 1) sorted by relevance
511 SymbolRef ReturnSymbol = nullptr; in evalAssume() local519 ReturnSymbol = SIE->getLHS(); in evalAssume()522 if (ReturnSymbol) in evalAssume()524 if (ReturnSymbol == AllocState.Region) in evalAssume()