class A { A * p; A() {p = this;}};
while(true) { new A(); }
Na tomto programu RC alokátoru dojde paměť, tracing GC to v O(1) vyhodnotí jako volnou paměť.
Můžeš argumentovat, že to optimalizátor prokoukne, v tom případě tě mohu ujistit, že na každý optimalizátor lze najít algoritmus, kde to selže. A samozřejmě čím složitější data a algoritmus, tím hůř se to bude programátorovi hlídat (a hlídat to musí vždy).