I understand the argument, but it sounds overly complicated. Or else
not complicated enough. If we no longer think that a linear progression
of ABI versions is sufficient, then we should have switches for picking
your point in the multi-dimensional space, rather than just a numerical
version.
That sounds theoretically right to me, but awfully complicated
in practice.
Do we have another libstdc++ ABI change coming? I'd suggest doing this
as -fabi-version=4, and making that the default at that point.