zephyr/kernel
Flavio Ceolin 26be3355ac kernel: sched: Fix undefined behavior
The order of evaluation of function calls in the arguments of a
function. This is undefined (32)/ unspecified(15-18) in C99.

MISRA-C rule 13.2 does not allow that a value of an expression and its
side effects happens in not deterministic order to avoid these
undefined behaviors.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
2018-12-07 09:06:34 -05:00
..
include kernel: syscall: Object validation checks boolean statement 2018-11-30 08:05:11 -08:00
alert.c
atomic_c.c
CMakeLists.txt
compiler_stack_protect.c
device.c kernel: expose device_get_binding() to user mode 2018-11-13 19:06:05 -05:00
errno.c
idle.c kernel: Add 'U' to unsigned variable assignments 2018-12-04 22:51:56 -05:00
init.c kernel: remove outdated comment in _Cstart 2018-12-03 09:18:06 -08:00
int_latency_bench.c kernel: Add 'U' to unsigned variable assignments 2018-12-04 22:51:56 -05:00
Kconfig drivers/timer: Select tickless via driver kconfig flag 2018-11-13 17:10:07 -05:00
Kconfig.power_mgmt kernel: ensure System Power Managment enables Tickless Idle. 2018-11-21 23:16:35 -05:00
mailbox.c kernel: Delimiting the scope of some variables 2018-11-04 11:37:24 -05:00
mem_domain.c kernel: mem_domain: remove redundant clearing of mem_partition fields 2018-12-05 15:15:07 -05:00
mem_slab.c kernel: Add 'U' to unsigned variable assignments 2018-12-04 22:51:56 -05:00
mempool.c
msg_q.c kernel: msg_q: k_msgq_peek() implementation 2018-11-19 17:53:22 -05:00
mutex.c kernel: mutex: delay setting lock_count = 0. 2018-12-05 11:00:10 +01:00
pipes.c kernel: Delimiting the scope of some variables 2018-11-04 11:37:24 -05:00
poll.c kernel: poll: Fix switch usage 2018-12-07 09:06:34 -05:00
queue.c kernel: queue: Fix MISRA-C violation 2018-12-07 09:06:34 -05:00
sched.c kernel: sched: Fix undefined behavior 2018-12-07 09:06:34 -05:00
sem.c
smp.c
stack.c kernel: stack: Making if's body a compound statement 2018-11-04 11:37:24 -05:00
system_work_q.c
thread_abort.c
thread.c kernel: expose k_busy_wait() to user mode 2018-11-15 16:20:36 -05:00
timeout.c kernel: Add 'U' to unsigned variable assignments 2018-12-04 22:51:56 -05:00
timer.c
userspace_handler.c
userspace.c kernel: Make tag identifiers unique 2018-11-06 16:20:15 -05:00
version.c
work_q.c kernel: add user mode work_q capability 2018-11-29 09:21:18 -08:00