Yes it would cause undefined behavior but empty() is checked before popping.