27   bool isUninitialized() const override { return !state; }  in isUninitialized()
31     if (state)  in print()
32       os << *state;  in print()
42     return join(*rhs.state);  in join()
46       state = value;  in join()
49     uint64_t before = *state;  in join()
50     state = before ^ value;  in join()
51     return before == *state ? ChangeResult::NoChange : ChangeResult::Change;  in join()
56     if (state == rhs.state)  in set()
58     state = rhs.state;  in set()
63   uint64_t getValue() const { return *state; }  in getValue()
67   Optional<uint64_t> state;  member in __anon09f8d1fb0111::FooState
133   FooState *state = getOrCreate<FooState>(block);  in visitBlock()  local
139     result |= state->join(*predState);  in visitBlock()
141   propagateIfChanged(state, result);  in visitBlock()
145   FooState *state = getOrCreate<FooState>(op);  in visitOperation()  local
154   result |= state->set(*prevState);  in visitOperation()
159     result |= state->join(value);  in visitOperation()
161   propagateIfChanged(state, result);  in visitOperation()
178     const FooState *state = solver.lookupState<FooState>(op);  in runOnOperation()  local
179     assert(state && !state->isUninitialized());  in runOnOperation()
180     os << tag.getValue() << " -> " << state->getValue() << "\n";  in runOnOperation()