When a priority_queue is empty, the behavior of top() operator is
non-deterministic. Returns NULL when it's empty! llvm-svn: 28560
Loading
Please register or sign in to comment
non-deterministic. Returns NULL when it's empty! llvm-svn: 28560