@techreport{gustedt:hal-03265590, TITLE = {{Add annotations for unreachable control flow}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-03265590}, TYPE = {Research Report}, NUMBER = {2826}, PAGES = {10}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2021}, MONTH = Oct, PDF = {https://inria.hal.science/hal-03265590v2/file/n2826.pdf}, HAL_ID = {hal-03265590}, HAL_VERSION = {v2}, }