Add annotations for unreachable control flow - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2021

Add annotations for unreachable control flow


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
Origin : Files produced by the author(s)

Dates and versions

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




  • HAL Id : hal-03265590 , version 2


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


Gmail Facebook X LinkedIn More