Your point is wrong. C was /not/ intended for safety critical applications. Therefore, it makes sense that using it in that context will require adaptation.
For Ada it does not. It’s tire patching.
For Ada it does not. It’s tire patching.
You can write safety-critical code in the full Ada language, but you won't be able to use SPARK's verification tools.
An example: if I understand correctly, the Boeing 777's avionics software is written in Ada, and they did not use the SPARK subset. [0]