2013/4/28 Michael Peternell <michael.peternell@gmx.at>

My XCode version is 4.2 Build 4C199.

I doubt that it is a hardware issue, because:

10 years ago we had faulty ram in our main server. Everything worked just fine, except when compiling (using gcc) one particular program, gcc crashed. Compiling other programs worked. Everything else worked. We were told to try changing the rams. It worked.

It still puzzles me.

Not saying that your problem is the same, though.

David.