Add noalias and noreturn attributes in more cases.