Searched refs:getErrorSym (Results 1 – 1 of 1) sorted by relevance
124 .isNull(State, S.getErrorSym()) in getAllocated()135 SymbolRef getErrorSym() const { return ErrorSym; } in getErrorSym() function in __anon3ac5be820111::HandleState455 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols()497 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume()