ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Coverity bug fixes

pull/8744/head
Oren Cohen 2018-11-21 15:18:31 +02:00
parent 9cc017fd48
commit 940645077e
3 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
components/TARGET_PSA/spm/COMPONENT_SPE/spm_common.c
View File

@ -19,7 +19,6 @@
#include "psa_defs.h"
#include "spm_internal.h"
#include "spm_panic.h"
#include "spm_api.h"
bool core_util_atomic_cas_u8(volatile uint8_t *ptr, uint8_t *expectedCurrentValue, uint8_t desiredValue);

1
components/TARGET_PSA/spm/COMPONENT_SPM_MAILBOX/COMPONENT_NSPE/spm_client_proxy.c
View File

@ -24,7 +24,6 @@
#include "ipc_queue.h"
#include "spm_client.h"
#include "spm_messages.h"
#include "mbed_critical.h"
#include "mbed_assert.h"
#include "cmsis_os2.h"
#include "rtx_lib.h"

2
components/TARGET_PSA/spm/COMPONENT_SPM_MAILBOX/COMPONENT_NSPE/spm_mailbox_nspe.c
View File

@ -80,7 +80,7 @@ void spm_ipc_mailbox_init(void)
// This table is holding addresses of the platform's shared memory.
addr_table_t *shared_addr_table_ptr = (addr_table_t *)PSA_SHARED_RAM_START;
MBED_ASSERT(shared_addr_table_ptr->magic = ADDR_TABLE_MAGIC);
MBED_ASSERT(shared_addr_table_ptr->magic == ADDR_TABLE_MAGIC);
ipc_base_queue_t *tx_queue_mem_ptr = (ipc_base_queue_t *)(shared_addr_table_ptr->tx_queue_ptr);
MBED_ASSERT(tx_queue_mem_ptr->magic == IPC_QUEUE_BASE_MAGIC);