arm-trusted-firmware/services/spd/tlkd
Daniel Boulby a08a201430 Ensure the flow through switch statements is clear
Ensure case clauses:
*   Terminate with an unconditional break, return or goto statement.
*   Use conditional break, return or goto statements as long as the end
    of the case clause is unreachable; such case clauses must terminate
    with assert(0) /* Unreachable */ or an unconditional  __dead2 function
    call
*   Only fallthough when doing otherwise would result in less
    readable/maintainable code; such case clauses must terminate with a
    /* Fallthrough */ comment to make it clear this is the case and
    indicate that a fallthrough is intended.

This reduces the chance of bugs appearing due to unintended flow through a
switch statement

Change-Id: I70fc2d1f4fd679042397dec12fd1982976646168
Signed-off-by: Daniel Boulby <daniel.boulby@arm.com>
2018-09-21 13:14:13 +01:00
..
tlkd.mk Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
tlkd_common.c Ensure the flow through switch statements is clear 2018-09-21 13:14:13 +01:00
tlkd_helpers.S Use SPDX license identifiers 2017-05-03 09:39:28 +01:00
tlkd_main.c Make TF UUID RFC 4122 compliant 2018-06-14 14:41:00 +01:00
tlkd_pm.c Fix pointer type mismatch of handlers 2018-04-27 18:35:02 +09:00
tlkd_private.h Migrate secure payload dispatchers to new SMC terminology 2017-05-04 21:23:06 +01:00