Searched defs:ErrorSym (Results 1 – 2 of 2) sorted by relevance
117 SymbolRef ErrorSym; member in __anon5878fdbf0111::HandleState118 HandleState(Kind K, SymbolRef ErrorSym) : K(K), ErrorSym(ErrorSym) {} in HandleState()130 static HandleState getMaybeAllocated(SymbolRef ErrorSym) { in getMaybeAllocated()509 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in checkDeadSymbols() local551 SymbolRef ErrorSym = CurItem.second.getErrorSym(); in evalAssume() local
614 SymbolRef ErrorSym = nullptr; in checkSummary() local