I'm actually curious: is there anything in C that would prevent some sort of annotation being made part of the standard that essentially meant "Do what I say"?

I'm actually curious: is there anything in C that would prevent some sort of annotation being made part of the standard that essentially meant "Do what I say"? For example: [[dwis]] { if ( signed_int + another_signed_int < signed_int ) { // do stuff if there is an overflow } } Or something similar, which wouldn't be optimized away?