Fixed false negative #4306: Detect loop access of empty STL container