It could, but that battle has been lost. C compiler writers care about benchmark performance to the exclusion of all else. People who care about predictable behaviour in code that doesn't follow the exact letter of the language standard have moved on to other languages.