Commit 88608b2e authored by Abramo Bagnara's avatar Abramo Bagnara Committed by Anas Nashif
Browse files

coding guidelines: comply with MISRA C:2012 Rule 2.2 



- avoided dead stores

Signed-off-by: default avatarAbramo Bagnara <abramo.bagnara@bugseng.com>
parent 77efdc73

arch/x86/core/acpi.c

+1 −2
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ static void find_rsdp(void) 
{

	uint8_t *bda_seg, *zero_page_base;

	uint64_t *search;

	uintptr_t search_phys, rsdp_phys = 0U;

	uintptr_t search_phys, rsdp_phys;

	size_t search_length, rsdp_length;



	if (is_rsdp_searched) {
@@ -80,7 +80,6 @@ static void find_rsdp(void) 
	search_length = 128 * 1024;

	z_phys_map((uint8_t **)&search, search_phys, search_length, 0);



	rsdp_phys = 0U;

	for (size_t i = 0; i < ((128*1024)/8); i++) {

		if (search[i] == ACPI_RSDP_SIGNATURE) {

			rsdp_phys = search_phys + (i * 8);

arch/x86/zefi/printf.h

+3 −3
Original line number Diff line number Diff line
@@ -154,7 +154,7 @@ static size_t vpf(struct _pfr *r, const char *f, va_list ap) 


static inline int snprintf(char *buf, size_t len, const char *f, ...)

{

	int ret = 0;

	int ret;

	struct _pfr r = { .buf = buf, .len = len };



	CALL_VPF(&r);
@@ -163,7 +163,7 @@ static inline int snprintf(char *buf, size_t len, const char *f, ...) 


static inline int sprintf(char *buf, const char *f, ...)

{

	int ret = 0;

	int ret;

	struct _pfr r = { .buf = buf, .len = 0x7fffffff };



	CALL_VPF(&r);
@@ -172,7 +172,7 @@ static inline int sprintf(char *buf, const char *f, ...) 


static inline int printf(const char *f, ...)

{

	int ret = 0;

	int ret;

	struct _pfr r = {0};



	CALL_VPF(&r);

kernel/mem_slab.c

+1 −1
Original line number Diff line number Diff line
@@ -75,7 +75,7 @@ SYS_INIT(init_mem_slab_module, PRE_KERNEL_1, 
int k_mem_slab_init(struct k_mem_slab *slab, void *buffer,

		    size_t block_size, uint32_t num_blocks)

{

	int rc = 0;

	int rc;



	slab->num_blocks = num_blocks;

	slab->block_size = block_size;

kernel/pipes.c

+1 −1
Original line number Diff line number Diff line
@@ -554,7 +554,7 @@ int z_impl_k_pipe_get(struct k_pipe *pipe, void *data, size_t bytes_to_read, 
	struct k_thread    *writer;

	struct k_pipe_desc *desc;

	sys_dlist_t    xfer_list;

	size_t         num_bytes_read = 0;

	size_t         num_bytes_read;

	size_t         bytes_copied;



	SYS_PORT_TRACING_OBJ_FUNC_ENTER(k_pipe, get, pipe, timeout);

kernel/sched.c

+1 −1
Original line number Diff line number Diff line
@@ -1587,7 +1587,7 @@ void z_impl_k_thread_abort(k_tid_t thread) 
int z_impl_k_thread_join(struct k_thread *thread, k_timeout_t timeout)

{

	k_spinlock_key_t key = k_spin_lock(&sched_spinlock);

	int ret = 0;

	int ret;



	SYS_PORT_TRACING_OBJ_FUNC_ENTER(k_thread, join, thread, timeout);

CRA Git | Maintained and supported by SUSTech CRA and CCSE