Add annotations for unreachable control flow
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)