class CReceiver
{
public:
    void OnData(void *p)
    {
    }
};

template <class T>
void fff(T member)
{
    void *p = _alloca(65546);
    member.OnData(p);
}


/// main

CReceiver a;
for (int i = 0; i < 20000; i++)
   fff(a);

    mov    esi, 20000                ; 00004e20H
$L91248:

; 210  :     CReceiver a;
; 211  :     for (int i = 0; i < 20000; i++)
; 212  :         fff(a);

    mov    eax, 65548                ; 0001000cH
    call    __alloca_probe
    dec    esi
    jne    SHORT $L91248

AS>Очевидно, что стек не очищается после выполнения тела inline функции fff. Интересно, почему этот гад не восстанавливает esp после вызова fff

CReceiver a;
for (int i = 0; i < 20000; i++)
{
  void *p = _alloca(65546);
  a.OnData(p);
}

_alloca allocates size bytes from the program stack. The allocated space is automatically freed when the calling function exits.

SWA>CReceiver a;
SWA>for (int i = 0; i < 20000; i++)
SWA>{
SWA>  void *p = _alloca(65546);
SWA>  a.OnData(p);
SWA>}
SWA>

SWA>сам подумай что из такого выйдет ;-

You cannot force the compiler to inline a function when conditions other
than cost/benefit analysis prevent it. You cannot inline a function if:
— ...
— The function has a variable argument list.
— ...

AS>template <class T>
AS>void fff(T member)
AS>{
AS>    void *p = _alloca(65546);
AS>    member.OnData(p);
AS>}

void *p = _alloca(65546);

char p[65546];

int main()
{
    void* stack;
    __asm mov [stack],esp;
    void* p = _alloca(0x100);

    // ...

    __asm mov esp,[stack];

    return 0;
}

template <class T = void *, size_t fixed_size = 16384>
class CAlloc
{
    T   *m_pBuffer;
    char m_szBuffer[fixed_size];
public:
    CAlloc(size_t size): m_pBuffer((size <= fixed_size) ? (T*)m_szBuffer : (T*)malloc(size))
    {
    }
    ~CAlloc()
    {
        if ((m_pBuffer) && (m_pBuffer != (T *)m_szBuffer))
           free(m_pBuffer);
    }
    operator T*() const
    {
        return m_pBuffer;
    }
};

AS>Тогда придется заводить отдельно дебужные и релизные версии функций

push ebp  
mov ebp,esp

mov esp,ebp 
pop ebp  
ret

void f()
{
   void *p;
   DWORD dwSize = xxxxx;
   for (int i = 0; i < 20000; i++)
   {
     //  выделяем память
       p = __alloca(dwSize)
     //  используем память
     
   } //  память освободилась
}