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