message: Always do base.Read() before making an alias in MakeRef.
  See for an explanation of why this is necessary.
diff: @@ -127,11 +127,8 @@ public:
  /// Reset the Vector to be a reference to a sub-vector of @a base.
  inline void MakeRef(Vector &base, int offset, int s)
  {
  - // Ensure that the base mem is registered before an alias is made
  - if (!mm.IsKnown(base.GetMemory()))
  - {
  + // Ensure that the base is registered/initialized before making an alias
  base.Read();
  - }
  Vector::MakeRef(base, offset, s);
  _SetNvecDataAndSize_();
  }
  @@ -140,11 +137,8 @@ public:
  without changing its current size. */
  inline void MakeRef(Vector &base, int offset)
  {
  - // Ensure that the base mem is registered before an alias is made
  - if (!mm.IsKnown(base.GetMemory()))
  - {
  + // Ensure that the base is registered/initialized before making an alias
  base.Read();
  - }
  Vector::MakeRef(base, offset);
  _SetNvecDataAndSize_();
  }
  