Searched refs:AbstractState (Results 1 – 2 of 2) sorted by relevance
166 struct AbstractState { struct170 AbstractState pushAbstract() { in pushAbstract() argument171 AbstractState saved = { Abstract, PlaceholderAddresses.size() }; in pushAbstract()175 llvm::Constant *validateAndPopAbstract(llvm::Constant *C, AbstractState save);
1180 AbstractState saved) { in validateAndPopAbstract()