Race condition vulnerability reported when calling std::remove on vector

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Use warning level 3 on the attached file

What is the expected output? What do you see instead?
I expect this to run clean.

What version of the product are you using? On what operating system?
I'm using RATS 2.3 on Windows 7. The standard C++ library is provided by Visual 
Studio 2012.

Please provide any additional information below.
I don't know if this is actually a defect of the inline implementation of 
std::remove in the algorithms header from visual studio or a defect of RATS.

Original issue reported on code.google.com by [email protected] on 14 Oct 2013 at 9:33

Attachments:

• Main.cpp

[GoogleCodeExporter]

Don't hesitate to contact me for further discussion.

Original comment by [email protected] on 14 Oct 2013 at 9:34

[GoogleCodeExporter]

Any movement on this?

Original comment by [email protected] on 21 Apr 2014 at 8:36

[GoogleCodeExporter]

Not that I know of, I just filtered out the issue locally. Are you seeing the 
same problem?

Original comment by [email protected] on 22 Apr 2014 at 11:20