-
- В первом случае анализатор отследил, что str1 имеет значение,
заданное при инициализации, оно вменяемое, вопросов нет. Во втором
случае отследить значение нет возможности, вот он и предупредил
"ежели что, сам дурак". Отслеживает с особым пристрастием, потому
что это строка формата, при ошибках в ней будет глючить printf.
Логично же. - SciFi(27.08.2020 13:23)
- Да понятно, что логично. Непонятно отчего не доанализировалась
ситуация... POV_(254 знак., 27.08.2020 13:35,
)
- "Вполне себе доступная к пониманию как инициализированная строкой"
-- НЕ ВЕРЮ. Код, опять же, не приводишь, так что вот так вот. - SciFi(27.08.2020 13:39)
- Как выше написал, так и есть.. Только полей в структуре больше... POV_(2075 знак., 27.08.2020 13:53,
)
- Забей, нет желания твой код анализировать, тем более, что у тебя есть бездушная железка, занятая именно этим. А чтобы анализатор мог сделать вывод, что в printf пришла именно та строка, о которой ты думаешь, и по дороге никто не мог её поменять, в общем случае нужно много чего проверить, а не только тот огрызок кода, который ты привёл. - SciFi(27.08.2020 13:59)
- Как выше написал, так и есть.. Только полей в структуре больше... POV_(2075 знак., 27.08.2020 13:53,
- "Вполне себе доступная к пониманию как инициализированная строкой"
-- НЕ ВЕРЮ. Код, опять же, не приводишь, так что вот так вот. - SciFi(27.08.2020 13:39)
- Да понятно, что логично. Непонятно отчего не доанализировалась
ситуация... POV_(254 знак., 27.08.2020 13:35,
- В первом случае анализатор отследил, что str1 имеет значение,
заданное при инициализации, оно вменяемое, вопросов нет. Во втором
случае отследить значение нет возможности, вот он и предупредил
"ежели что, сам дурак". Отслеживает с особым пристрастием, потому
что это строка формата, при ошибках в ней будет глючить printf.
Логично же. - SciFi(27.08.2020 13:23)