Aborting Abort conditions are allowed to report their error early. The compiler doesn't need to preserve their order relative to each other or other code.