Clean up code is more unlikely to have mistakes and is simpler to check, comprehend, and modify. All of these elements lead to much less bugs and higher trustworthiness. Green Hills optimizing compilers help enforcement of clean up coding conventions described by field specifications like the MISRA 2012 and 2004 https://kingswoodhomes.uk.com/news/blackburn-pupil-wins-competition-to-name-a-street-at-green-hills/