I'm probably, going to be shot for asking about it, but...
Any free version of the ARM GNU GCC that ARM project provides that is certified to be O.K to use on a design aiming to be ASIL-B level certified /compliant .?