Searched refs:AbstractState (Results 1 – 5 of 5) sorted by relevance
167 struct AbstractState { struct171 AbstractState pushAbstract() { in pushAbstract() argument172 AbstractState saved = { Abstract, PlaceholderAddresses.size() }; in pushAbstract()176 llvm::Constant *validateAndPopAbstract(llvm::Constant *C, AbstractState save);
1334 AbstractState saved) { in validateAndPopAbstract()
1767 struct AbstractState {1768 virtual ~AbstractState() {}1806 struct IntegerStateBase : public AbstractState {2090 struct IntegerRangeState : public AbstractState {2321 using StateType = AbstractState;2414 raw_ostream &operator<<(raw_ostream &OS, const AbstractState &State);2420 << static_cast<const AbstractState &>(S);2883 struct DerefState : AbstractState {3578 struct PotentialValuesState : AbstractState {
1103 AbstractState &State = ChangedAA->getState(); in runTillFixpoint()1142 AbstractState &State = AA->getState(); in manifestAttributes()2264 return OS << static_cast<const AbstractState &>(S); in operator <<()2267 raw_ostream &llvm::operator<<(raw_ostream &OS, const AbstractState &S) { in operator <<()
816 class AAReturnedValuesImpl : public AAReturnedValues, public AbstractState {879 AbstractState &getState() override { return *this; } in getState()882 const AbstractState &getState() const override { return *this; } in getState()