System Workbench for STM32

STM32 AC6 compiler and SIL functional safety (IEC 61508)

AC6 would need to respond to this.

My understanding is that the compiler needs to have a certified validation to a functional safety standard or you need to put in place a testing regime to show the compiler is suitable for your application.

I think it would be unlikely that SW4STM32 itself would be IEC 61508 compliant as it is a agglomeration of various tools from 3rd parties - eclipse, gcc etc.
You could argue GCC has a very wide user base...