It's __GNUC_PATCHLEVEL__, I believe.
So yes, we can distinguish 4.1.2 (good, and very common) from 4.1.{0,1}
(bad, and rather uncommon).
And yes, considering that 4.1.1 (and even more so 4.1.0) should be rare to
begin with, I think it's better to just not support it.
Linus
--