Читаю описание xCode и понимаю, что они таки допили clang и интеграцию с ним
IDE теперь использует тот же парсер кода, что и компилятор. Ошибки показывает налету, понятные (а в clang с этим куда лучше, чем в gcc), даже исправлять пытается.
Думаю, что и статические вещи она отлично вычисляет - теперь будут действительно хорошие подсказки.
Да и статический анализатор для obj-c они тоже не первый год развивают, и, думаю, тоже будут использовать вовсю.
В общем, хочу IDE с «интегрированным» компилятором под linux