Improved handling of pragma No_Return
In addition to K915-016, CodePeer does not issue a message anymore that a subprogram will "fail for all possible inputs", if the subprogram has a pragma No_Return.