>>874は末尾再帰と呼ばれる形式で、機械的に反復形式に最適化できる。
証拠 →
http://pastebin.com/4pBPEWBGの該当部分 .LBB0_1: # %tailrecurse
# =>This Inner Loop Header: Depth=1
movq (%rdi), %rbx
callq free
testq %rbx, %rbx
movq %rbx, %rdi
jne .LBB0_1
全くスタックは消費していない。rdiがfree_lへの引数(p), rbxがnextだな。
せっかく↓警告しといてあげたのにね。
> バカのいいがかりなんて所詮この程度の事。 バカには意味わからないだろうけどな。www