@inproceedings{10.1145/3837729.3839589,
author = {Al Noman, Abdullah and Ren, Mengfei},
title = {Understanding Correctness Failures in Compiler Optimization},
year = {2026},
isbn = {9798400729102},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3837729.3839589},
doi = {10.1145/3837729.3839589},
abstract = {Compiler optimizations improve program performance but may break program correctness when transformations fail to preserve source level semantics. This extended abstract examines optimization introduced correctness failures in GCC through bugs reported by existing C compiler testing studies. We collect bug report metadata, recover available proof of concept programs, and manually validate each program before building the testing corpus. The current dataset contains 226 analyzed GCC bugs, including 159 bugs that are directly or partially related to optimization components. Our preliminary results show that tree optimization is the primary component involved in these failures, while wrong code is the most common failure type. These findings provide an empirical basis for an optimization oriented testing framework and a reusable test suite for improving compiler optimization correctness and reliability.},
booktitle = {Companion Proceedings of the 2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity},
pages = {235–237},
numpages = {3},
keywords = {Compiler Bugs, Compiler Correctness, Compiler Testing},
location = {Oakland, CA, USA},
series = {SPLASH Companion '26}
}