I believe the Microchip C compilers are also based upon GCC,
This is interesting. Do you have any links ? Thanks.