Add annotations for unreachable control flow
Résumé
We propose the feature unreachable to specify branches in the control
flow of a program that will never be reached.
The aim is to provide means for the user to express guarantees about the
effective control flow that will be executed by a program. Compilers may
then apply aggressive optimizations that otherwise would not be possibly
or that would rely on the detection of undefined behavior for certain
input combinations.
Domaines
Langage de programmation [cs.PL]
Origine : Fichiers produits par l'(les) auteur(s)