711   vec <unsigned> m_timestamp;  member in temporal_cache
718   m_timestamp.create (0);  in temporal_cache()
719   m_timestamp.safe_grow_cleared (num_ssa_names);  in temporal_cache()
725   m_timestamp.release ();  in ~temporal_cache()
733   if (ssa >= m_timestamp.length ())  in temporal_value()
735   return m_timestamp[ssa];  in temporal_value()
765   if (v >= m_timestamp.length ())  in set_timestamp()
766     m_timestamp.safe_grow_cleared (num_ssa_names + 20);  in set_timestamp()
767   m_timestamp[v] = ++m_current_time;  in set_timestamp()
776   if (v >= m_timestamp.length ())  in set_always_current()
777     m_timestamp.safe_grow_cleared (num_ssa_names + 20);  in set_always_current()
778   m_timestamp[v] = 0;  in set_always_current()