I've never seen any details about this. Source?
I have seen similar claims to this one from time to time and statements like "SAS-C was likely used within the Commodore Amiga offices for parts of the AmigaOS", but no concrete proof. What other C compilers were popular during those days for the Amiga? How much of the development work for AmigaOS was done on non-Amiga hardware?