Ошибки в роботах: ожидание и реальность

[datacompboy]

нуу… когда kAIPSTZ_PeripheralAllowUntrustedMaster == kAIPSTZ_PeripheralWriteProtected это пять… :D

[mayorovp]

Так ведь именно эти константы и не равны?

[datacompboy]

Метрическая сила! Мозги мои — плавленные сырки :( Посыпаю лысину пеплом

[Vanellope]

О нет! Я наивно полагала, что только писишный софт умудряется работать (!) несмотря на тысячи ошибок (но как?). А такое творится ещё и в эмбеддеде! Но как оно работает при этом?

[Sub_Dia]

Такое, как в статье, не работает. =)

[domix32]

Наивно полагать, что кривые битовые маски не работают.

[Sub_Dia]

Да кривые битовые маски — это ещё самое наменьшее зло. =)

[Marui]

Открою секрет… этот код может вообще не вызываться.

[Amomum]

Открою ужасающий секрет — embedded-софт тестируют как минимум на порядок меньше и хуже, чем любой зачуханный веб-сервер. И пишут его зачастую динозавры, отладчик — это для слабаков, а «если код компилируется, значит, все работает».
Код на С. Компилируется. Значит, работает.
Я не шучу, к сожалению.

И никто этого не замечает, потому что в веб-сервер каждый день тыкают пальцами миллионы пользователей, и любые ошибки выплывают гораздо быстрее.

[Andrey2008]

Выбрал ряд предупреждений, которые на мой взгляд могут представлять интерес и выгрузил их в полный HTML-лог (с навигацией по коду). Интересующиеся могут скачать архив rt-thread-html-log.zip и посмотреть, что есть ещё интересного. Заодно, это повод познакомиться с нашим новым форматом отчётов.

Или можно подождать статью, где я разберу ошибки в проекте RT-Thread и расскажу про поддержку KEIL, IAR.

[aquamakc]

Так что там с IAR`ом? В двух словах… Уже есть поддержка или пока ещё ждём?

[Andrey2008]

Доделываем. Будет в следующем релизе.

[Andrey2008]

Встречайте PVS-Studio 6.22:

• Добавлена поддержка проверки проектов, использующих компиляторы Keil MDK ARM Compiler 5 и ARM Compiler 6.
• Добавлена поддержка проверки проектов, использующих компилятор IAR C/C++ Compiler for ARM.

[aquamakc]

Спасибо. Как-раз устанавливаю.

[Amomum]

А кейл? Кейл? Кейл-то как? Как он, родненький?

Джва года

Боже мой, да я пять лет жду такую новость!

[Andrey2008]

Ой, ну не переживайте так. Если хотите, могу (наверное) beta-версию выдать. :)

[Amomum]

Если можно, то очень хочу :) Узнайте, пожалуйста!

[Andrey2008]

Выложили бету, можете попробовать.

[Amomum]

Спасибо большое!
Мне уже неловко вам писать, но… а как ей пользоваться? -_-' Я попробовал запустить standalone и мониторить запуски компилятора, но компиляцию в Кейле она не увидела. В Кейл ничего не интегрировалось (я не особо верил, но вдруг?).

Наверное, я поторопился; надо было подождать вашей следующей статьи.

[SvyatoslavMC]

1. Попробуйте запустить Standalone от администратора;
2. Какой версии ваш компилятор Keil? 5/6.

[Amomum]

Попробовал из под администратора, попробовал и 5 (5.06 update 4 build 422) и 6.6, никаких изменений.

[SvyatoslavMC]

Перешли в ЛС для выяснения деталей запуска.

[GarryC]

Нисколько не принижая важность статического анализа кода, считаю необходимым написать, что даже
*pulHigh = ((ulTemp & PECI_M0D0C_HITHR_M) >> PECI_M0D0C_HITHR_S);
НИКАК не может считаться хорошим стилем по двум причинам:
1) используются две константы, которые должны изменяться синхронно, а задаются просто так;
2) данный фрагмент используется многократно и ДОЛЖЕН быть заменен inline функцией или даже макросом, при всех недостатках последнего, хуже, чем есть, точно не будет.

[Andrey2008]

Обещанная статья: Статический анализатор кода PVS-Studio 6.22 адаптирован для ARM-компиляторов (Keil, IAR) .