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

Вот что значить вот это "Если ты вызываешь из кода php функцию на C"? пхепешный fopen вызывает lib сишный fopen который вызывает системный сишный сискол open.

https://en.wikipedia.org/wiki/Wrapper_function

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

Лучше сначала определимся и опишем, что требуется от анализатора, ибо будем говорить о разных вещах.

> Всё очень просто: если статический анализатор знает, что функция не возвращает управления
> и завершает программу, то он может сделать вывод, что "вечный" цикл
> вовсе не вечный, а значит инкремент индекса не выползет за границы
> буфера.

Если нет возврата управления, то либо "вечный цикл", либо аварийный останов.

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

Что он будет выдавать, когда столкнется с проблемой останова? Статический анализатор ведь должен простроить граф потока управления.

> Или может удалить вызов exit -- может это он был оставлен по ошибке?

А как анализатор это может разрешить, что удалить, ошибочно добавленный exit или анюзед код после него. Это решает программист. А анализатор должен сообщить лишь о том, что у тебе тут exit, а код ниже никогда не исполниьтся.