Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Add annotations for unreachable control flow

Jens Gustedt 1 
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Abstract : 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.
Document type :
Reports (Research report)
Complete list of metadata

https://hal.inria.fr/hal-03265590
Contributor : Jens Gustedt Connect in order to contact the contributor
Submitted on : Monday, October 4, 2021 - 10:17:16 AM
Last modification on : Saturday, November 5, 2022 - 3:58:23 AM

File

n2826.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-03265590, version 2

Citation

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

Share

Metrics

Record views

42

Files downloads

91