empty range in pop_heap

[Markus Trippelsdorf]

On 2011.11.12 at 15:01 +0100, Marc Glisse wrote:
> On Sat, 12 Nov 2011, Markus Trippelsdorf wrote:
> 
> > Shouldn't "pop_heap (v.begin (), v.begin ())" be allowed?
> 
> [pop.heap]
> "Requires: The range [first,last) shall be a valid non-empty heap."

Yes, that was what I was thinking, too. But Howard Hinnant seems to
think otherwise (or maybe I misunderstand him), see:
 http://llvm.org/bugs/show_bug.cgi?id=11362 

-- 
Markus