check-elimination.cc 2.11 KB