>>Если ты вызываешь из кода php функцию на C, которая прерывает выполнение программы
> а смысл тогда в статическом анализаторе для языка который по факту является
> оберткой другого языка?

Я даже не знаю что сказать на это. Что значит "язык является обёрткой другого языка"? Язык C является обёрткой для асма? C++ является обёрткой для C?

Как я не кручу в голове твои обёртки, пытаясь понять, что ты хотел сказать, я не могу понять какое это отношение имеет к полезности статического анализатора. Давай мы лучше замнём тему, сделаем вид, что никаких обёрток и не было, и я просто расскажу тебе, зачем статическому анализатору нужно знать про no-return функции?

Всё очень просто: если статический анализатор знает, что функция не возвращает управления и завершает программу, то он может сделать вывод, что "вечный" цикл вовсе не вечный, а значит инкремент индекса не выползет за границы буфера. Или может статический анализатор увидит, что один из путей выполнения функции, набитой ветвлениями, не возвращает значения -- он будет ругаться, но если он увидит, что в конце этого пути выполнения стоит no-return функция, то он не будет ругаться. Он не будет захламлять мне вывод своими ворнингами. Меньше фолс-позитивов в работе статического анализатора -- больше внимания уделяется тру-позитивам, и меньше соблазна просто выключить ворнинги к чертям.

Но кроме того, no-return атрибут на функции добавляет новых срабатываний статическому анализатору: код расположенный после безусловного exit -- явно не нужный код, оставленный там по ошибке. И неплохо было бы, чтобы программист не забыл бы этот код удалить. Или может удалить вызов exit -- может это он был оставлен по ошибке?