Имею массив из float и указатель на него.



При проверке cpp check выдает ошибку.
Кратко: Expression '*pSigRe++=log2f(*pSigRe)*15.0515' depends on order of evaluation of side effects
Сообщение: Expression '*pSigRe++=log2f(*pSigRe)*15.0515' depends on order of evaluation of side effects
Точно, так нельзя писать?

Мне непонятно, что Вы хотели сказать выражением *pSigRe++ : инкрементировать адрес переменной или получить адрес (попутно инкрементированной) переменной. Во втором случае непонятно назначение правой части присвоения, ведь Вы уже вычислили новое значение переменной pSigRe в левой части?
Я думаю, компилятор понимает Вас еще меньше. Расставьте скобки, насильно задав приоритет операций, или перепишите выражение в несколько вычислительных строк.

Записываю результат по указателю, и инкрементирую его (указатель) для следующей операции.

проверьте так
pSigRe = SigRe;
for (uint32_t i = FFT_N; i--; pSigRe++ ) {
*pSigRe = log2f(*pSigRe) * 15.0515;
}

Это неправильная интерпретация.
2ВиКо
Цппчек намекает что постинкремент и вызов фукнции (и соответсвенно вычисление её аргументов) имеет одинаковый приоритет и соответсвенно может произойти в любом порядке, в том числе вначале случится постикремент, а потом уже передача аргументов в функцию.

Для общего развития следует прочитать ссылку. Да и в целом сразу бить себя линейкой по пальцам за желание использовать постинкрмент. Его непросто использовать без выстрелов в ногу.

писать-то можно, только вот результат может оказаться не совсем таким как задумано.

а может всё-таки сначала инкрементируете, потом считаете логарифм уже от следующего элемента, но результат записываете на место предыдущего?

на *pSigRe = log2f(*pSigRe++) * 15.0515; ругаться имхо не должен.

Чего уж, сделал, чтобы цеплялся:


Что вы меня все путаете? Сначала справа от = вычисляется, потом присваивается. А инкремент разве не после присваивания должен выполняться?
Э, смотрю приоритеты операций. Так присваивание почти на последнем месте. То есть, сначала инкрементируется указатель??

Это вопрос по существу или викторина? Если первое, то следует указывать типы используемых переменных.


Это называется "пост-инкрементная адресация". Все сишные компиляторы должны понимать её без проблем.

Вы первые строки в сообщениях принципиально пропускаете? Да и какая разница, что за тип?

Нет, необязательно.
Вообще нужно просто взять за правило, что если в пределах одного выражения разыменование указателя встречается более одного раза, то никакие пре- или пост- инкрементные или декрементные адресации использовать нельзя.


Из первых строк сообщения можно только сделать вывод что где-то у Вас есть некий массив float и есть некий указатель на него. Больше оттуда нельзя получить никакой информации.
Значит всё-таки викторина....
Видимо Вы и программы так пишете - предоставляете компилятору право гадать, что вы хотели написать. Ну естественно и результат закономерный

Далее включаю экстрасенсорные способности и прикидываю - о каком указателе речь?
Может это: float volatile *pSigRe ?
а может: float *pSigRe ?
а может ещё что...?

Ну, раз нельзя, тогда пусть викторина.

По существу. У классиков K&R имеется пример, которым, собственно и пользуюсь (руководствуюсь) издавна.

Считаю, CppCheck пугает химерами зря.

jcxz, вам - персонально:

И...?
Каким боком он сюда относится?


Спасибо

Вы прикалываетесь, что ли?

Нет. Не понимаю каким боком относится приведённый пример к Вашему вопросу.

Ладно. Значит, нужно найти точное толкование, когда инкрементируется указатель, если он используется справа и слева от оператора присваивания.