Searched refs:infRange (Results 1 – 1 of 1) sorted by relevance
1202 ValueRange infRange(m_variable->getType()); in VariableWrite() local1203 setInfiniteRange(infRange); in VariableWrite()1205 state.getVariableManager().setValue(m_variable, infRange.asAccess()); in VariableWrite()