Skip to content

Commit 26beda5

Browse files
authored
Merge pull request ARMmbed#39 from ARMmbed/sk-coverity-fix-2
coverity loops, spaces after text at line end
2 parents 463bfd6 + 5f141f9 commit 26beda5

File tree

2 files changed

+4
-1
lines changed

2 files changed

+4
-1
lines changed

source/active_application.cpp

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -222,10 +222,12 @@ bool writeActiveFirmwareHeader(arm_uc_firmware_details_t* details)
222222
const uint32_t programSize = (ARM_UC_INTERNAL_HEADER_SIZE_V2 + pageSize - 1)
223223
/ pageSize * pageSize;
224224

225+
/* coverity[no_escape] */
225226
ASSERT((programSize <= BUFFER_SIZE),
226227
"Header program size %" PRIu32 " bigger than buffer %d\r\n",
227228
programSize, BUFFER_SIZE);
228229

230+
/* coverity[no_escape] */
229231
ASSERT((programSize <= MBED_CONF_APP_FIRMWARE_METADATA_HEADER_SIZE),
230232
"Header program size %" PRIu32 " bigger than expected header %d\r\n",
231233
programSize, MBED_CONF_APP_FIRMWARE_METADATA_HEADER_SIZE);
@@ -272,6 +274,7 @@ bool writeActiveFirmware(uint32_t index, arm_uc_firmware_details_t* details)
272274
uint32_t app_start_addr = MBED_CONF_APP_FIRMWARE_METADATA_HEADER_ADDRESS
273275
+ MBED_CONF_APP_FIRMWARE_METADATA_HEADER_SIZE;
274276

277+
/* coverity[no_escape] */
275278
ASSERT((app_start_addr % pageSize) == 0,
276279
"Application (0x%" PRIX32 ") does not start on a "
277280
"page size (0x%" PRIX32 ") aligned address\r\n",

source/main.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -178,7 +178,7 @@ int main(void)
178178

179179
ASSERT(false, "Failed to jump to application!");
180180

181-
/* coverity[no_escape] */
181+
/* coverity[no_escape] */
182182
for (;;)
183183
{
184184
__WFI();

0 commit comments

Comments
 (0)