Richard Tobin said:
Has a compiler producer ever been successfully sued for a bug in the
compiler?
No idea. I would expect this would have been settled out of court long
before it hit the news if it has.
Given the number of companies who use gcc, I think your objection is
purely theoretical.
IANAL
At the moment possibly only theoretical. However the game is changing.
Engineers are being licensed (world wide) and there are changes to the
corporate manslaughter act. (UK that I know of)
The problem is that the laws are going to relate to accidents that
happen after the law comes in. That means the actual development may
have been done some time before.
It only needs one successful prosecution because one well meaning idiot
modified the compiler and did insufficient testing of the system so a
bug slipped though and caused an accident. The system will cause the
accident but the lawyers will look at the development process and the
tools. If the programer is using free tools that he modified (and did
not fully test with an "industry standard" test suite etc) they will
jump on it.
This could be anywhere in the world under any jurisdiction.
As lawyers go for easy targets it will be a small company or contractor
who gets hit. The lawyers may not care that the don't make any money of
a small case suing a one man company because if it sets a precedent they
will make a fortune on the other cases that will come up.
It is the same as any other industry. Liability, "proper" tools,
professional process. With more and more software being safety and
mission critical it is only a matter of time.
There is much you ca do to guard against these problems, use version
control, proper specs, static analysis, test plans basically show due
diligence.