CF3: Test Suite for Arithmetic Optimization of C Compilers
Hibino Yusuke, Hirofumi Ikeo, Nagisa Ishiura · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2017
This letter presents a test suite CF3 designed to find bugs in arithmetic optimizers of C compilers. It consists of 13,720 test programs containing all the expression patterns covering all the permutations of 3 operators from 14 operators. CF3 detected more than 70 errors in GCC 4.2-4.5 within 2 hours.