> Хороший - g++, виртуальных машин не требует.

Т.е. познания на уровне "Рабинович напел"?
Название - просто небольшая хохмочка (попутно отлично фильтрующая "Ыкспертов"), намекающая на работу оптимизаторов, верификаторов и проч, с "промежудочной репрезентацией кода" (IR). Т.е. независимо от конкретного ЯП фронтенда.
Более конкретно - для многих проверок и оптимизаций используются разновидности abstract interpretation.

И (вы только держитесь покрепче! Или зажмурьте глаза и не читайте дальше, повторяя громко "вы все врети". И никогда не делайте g++ -fdump-ipa-all, ни в коем случае не заходите на https://gcc.gnu.org/onlinedocs/gccint/GIMPLE.html и не читайте строки "The C and C++ front ends currently convert directly from front end trees to GIMPLE"!)
если вы считаете, что в gcc или g++ нет ни промежуточной репрезентации, ни вариации абстрактной интерпретации, то у меня для вас довольно плохие новости … но вы не расстраивайтесь - ведь есть отличный и провереный временем Борланд C++ первых версий, без всех этих новомондных обвесов и свистелок!