Цитата Сообщение от AI! Посмотреть сообщение
заменить все явные обратные целочисленные связи на неявные ("обычные"), но тоже целочисленные.
(все "красные пунктиры" сделать сплошными линиями)

и посмотреть что будет со стеком. (% использования)
Ааа, ну это логично... Тогда конечно же заполненность стека будет меняться... Вы задаете анализатору жестко считать эти связи обратными связями. Причем указав порядок их исполнения заполненность стека также может меняться. Это не баг и не фича - а правильная работа логики. А в случае неуказания явных связей анализатор сам посчитает где нужно использовать обратную связь.