bin oui, mais ça ne change pas grand chose si tu n'as pas la main sur les allocations ; soit l'appel à machin() fonctionne (entre autres parce qu'il y a assez de mémoire), soit il ne fonctionne pas (pour plein de raisons, dont l'absence de mémoire).
Sauf qu'il y a énormément d'appels qui ne peuvent pas planter (sauf cas dégénérés comme l'absence de mémoire, justement), donc tu ne vérifies pas le résultat (genre toto = "titi"). Vérifier chaque appel reviendrait à faire un try/catch à chaque ligne de code, ce qui n'a absolument aucun sens.