Searched refs:AbstractState (Results 1 – 6 of 6) sorted by relevance
170 struct AbstractState { struct174 AbstractState pushAbstract() { in pushAbstract() argument175 AbstractState saved = { Abstract, PlaceholderAddresses.size() }; in pushAbstract()179 llvm::Constant *validateAndPopAbstract(llvm::Constant *C, AbstractState save);
1363 AbstractState saved) { in validateAndPopAbstract()
2425 struct AbstractState {2426 virtual ~AbstractState() = default;2464 struct IntegerStateBase : public AbstractState {2748 struct IntegerRangeState : public AbstractState {2860 template <typename BaseTy> struct SetState : public AbstractState {3103 using StateType = AbstractState;3204 raw_ostream &operator<<(raw_ostream &OS, const AbstractState &State);3210 << static_cast<const AbstractState &>(S);3701 struct DerefState : AbstractState {4034 struct ValueSimplifyStateType : public AbstractState {[all …]
2067 AbstractState &State = ChangedAA->getState(); in runTillFixpoint()2110 AbstractState &State = AA->getState(); in manifestAttributes()3434 return OS << static_cast<const AbstractState &>(S); in operator <<()3437 raw_ostream &llvm::operator<<(raw_ostream &OS, const AbstractState &S) { in operator <<()
727 struct AA::PointerInfo::State : public AbstractState {2041 class AAReturnedValuesImpl : public AAReturnedValues, public AbstractState {2097 AbstractState &getState() override { return *this; } in getState()2100 const AbstractState &getState() const override { return *this; } in getState()
591 struct KernelInfoState : AbstractState {