Add annotations for unreachable control flow - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2021

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.
Fichier principal
Vignette du fichier
n2826.pdf (285.48 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03265590 , version 1 (21-06-2021)
hal-03265590 , version 2 (04-10-2021)

Licence

Paternité

Identifiants

  • HAL Id : hal-03265590 , version 2

Citer

Jens Gustedt. Add annotations for unreachable control flow. [Research Report] 2826, ISO JCT1/SC22/WG14. 2021, pp.10. ⟨hal-03265590v2⟩
63 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More