confusing message in Debian gcc "bug is not reproducible, so it is likely a hardware or OS problem"

[Basile Starynkevitch <basile@starynkevitch.net>]

Hello All,

See http://gcc.gnu.org/ml/gcc/2012-09/msg00232.html for details about my suggestion.

The message 
  The bug is not reproducible, so it is likely a hardware or OS problem
is apparently Debian specific http://gcc.gnu.org/ml/gcc/2012-09/msg00234.html

But it is very confusing, since plugin failures also trigger it.

I suggest to replace it with

   The bug is not reproducible, so it could be a plugin, hardware or OS problem

Regards.
-- 
Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***