Код

 	int ExCallAsFunc(int Index,CValue &Value,PValue *Params,int ParamCount)
	{
		int Result;
		CValue &FuncRetVal=pIntInfo->pExecutedModule->m_FuncRetVal;
		if (&Value==&FuncRetVal)
		{
			CValue Temp; // Только через временную переменную, потому что при выходе из CallAsFunc почистится m_FuncRetVal и в Value будет пустота
			Result=CBLModule7::CallAsFunc(Index,Temp,ParamCount,Params);
			Value=Temp;
		}
		else
		{
			Result=CBLModule7::CallAsFunc(Index,Value,ParamCount,Params);
			FuncRetVal.UnlinkContext(); // В CValue::Reset() нет UnlinkContext(), поэтому при возврате объекта ссылка на него зависнет в m_FuncRetVal
		}
		return Result;
	} 

Код

.............
    else                                        // int CValue::IsTypeSafe()
    {
      if ( pSource )
        psrcType = &pSource->Type;
      else
        psrcType = 0;
      srcType = psrcType->m_TypeCode;
      this->Type.m_TypeCode = srcType;
      this->Type.m_TypeID = psrcType->m_TypeID;
      this->Type.m_Length = 0;
      this->Type.m_Precision = 0;
      this->Type.m_Flags = 0;
      switch ( srcType )
      {
        case 1u:
          CNumeric::operator=(&this->Number, &pSource->Number);
          CValue::UnlinkContext(this);
          break;
        case 2u:
          CString::operator=(&this->String, &pSource->String);
          CValue::UnlinkContext(this);
          break;
        case 3u:
          this->Date.m_Date = pSource->Date.m_Date;
          CValue::UnlinkContext(this);
          break;
        case 10u:
        case 11u:
        case 12u:
        case 13u:
        case 14u:
        case 15u:
        case 16u:
        case 17u:
        case 100u:
          this->ObjID.m_ObjID = pSource->ObjID.m_ObjID;
          this->ObjID.DBSign.m_Sign = pSource->ObjID.DBSign.m_Sign;
          m_Context = this->m_Context;
          this->m_ValTypeID = pSource->m_ValTypeID;
          if ( m_Context != pSource->m_Context )
          {
            if ( m_Context )
            {
              CBLContext::RemoveFromValues(m_Context, this);
              this->m_Context->vtable->DecrRef(this->m_Context);
            }
            srcContext = pSource->m_Context;
            this->m_Context = srcContext;
            if ( srcContext )
            {
              srcContext->vtable->IncrRef(srcContext);
              CBLContext::AddToValues(this->m_Context, this);
            }
            else if ( this->Type.m_TypeCode == 100 )
            {
              Empty.m_TypeCode = 0;
              Empty.m_Length = 0;
              Empty.m_Precision = 0;
              Empty.m_Flags = 0;
              Empty.m_TypeID = 0;
              v22 = 0;
              CValue::SetType(this, &Empty);
            }
          }
          break;
        default:
          break;
      }
    } 

Код

void __thiscall CValue::Reset(CValue *this)
{
  CString *m_String; // edi@1
  char *pSign; // ecx@1
  int m_length; // esi@4

  m_String = &this->String;
  CString::operator=(&this->String, ZeroString);
  CNumeric::operator=(&this->Number, 0);
  pSign = (char *)&this->ObjID.DBSign;
  this->Date.m_Date = 0;
  this->ObjID.m_ObjID = 0;
  *(_WORD *)pSign = '  ';
  pSign[2] = ' ';
  this->m_ValTypeID = 0;
  CValue::UnlinkContext(this);
  if ( this->vtable->IsTypeSafe(this) )
  {
    if ( this->Type.m_TypeCode == 2 )
    {
      m_length = this->Type.m_Length;
      if ( m_length > 0 )
        Pad(m_String, m_length, 0);
    }
  }
  else
  {
    this->Type.m_TypeCode = 0;
    this->Type.m_TypeID = 0;
    this->Type.m_Length = 0;
    this->Type.m_Precision = 0;
    this->Type.m_Flags = 0;
  }
} 

Код

int __thiscall CExecutedModule::CallAsFunc(CExecutedModule *this, int nMethod,
  int ParamCount, CValue **pParams, CValue *pRetVal)
{
  int result; 
  CCompileProcInfo *MethInfo;
  CValue PrevRetValue;
..............
  PrevRetValue=this->m_FuncRetVal; // Тут, как правило, лежит то самое пустое значение
..............
  MethInfo = this->m_pCompiledModule->ProcArray[nMethod];
  if ( pRetVal && MethInfo->Type == 1 ) // Type == 1 - это процедура
  {
    result = 0;
  }
  else
  {
..............
тута многа кода, вызывающего функцию
..............
    if ( MethInfo->Type == 2 && Result ) // Type == 2 - это фукция
    {
      if ( pRetVal )
        *pRetVal=this->m_FuncRetVal;
    }
    this->m_FuncRetVal=PrevRetValue; // Вот и оператор присваивания, который нифига не чистит контекст
..............
  }
  return result;
} 

Код (C++)

CCompiledProcDescr &Proc=*pIntInfo->pCompiledModule->ProcArray[Index];
CString Text(Proc.Name);
Text+='(';
for (int n=0;n<Proc.NParams;n++)
{
	CCompiledProcVarDescr &Var=*Proc.VarList[n];
	if (n) Text+=',';
	Text+=Var.Name;
	if (Var.DefValuePos<0) continue;

	Text+='=';
	CCompiledConstDescr &Const=*pIntInfo->pCompiledModule->ConstArray[Var.DefValuePos];
	if (Const.Value.m_TypeCode==STRING_TYPE_1C) Text+='"'; else
	if (Const.Value.m_TypeCode==DATE_TYPE_1C) Text+='\'';
	Text+=Const.Value.Format();
	if (Const.Value.m_TypeCode==STRING_TYPE_1C) Text+='"'; else
	if (Const.Value.m_TypeCode==DATE_TYPE_1C) Text+='\'';
}
Text+=')';