Re: Bitset patches

[Paul Eggert]

> From: Akim Demaille <address@hidden>
> Date: 28 Aug 2002 16:36:20 +0200
> 
> the following bits of your patch are related to
> Michael's implementation of bitsets, which is also used in GCC.  So I
> guess this should be applied to the main sources.

I didn't know they were also used in GCC.  I'm surprised about this,
since some of the fixes were prompted by GCC warnings on 64-bit hosts.
But yes, those patches should be applied to the upstream versions of
the bitset code too.

Is GCC's version the canonical one, or does GCC get it from somewhere
else too?