diff options
| author | Soby Mathew <soby.mathew@arm.com> | 2018-10-03 15:36:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 15:36:37 +0100 |
| commit | 3ed87a496adb58605c4ea89c03688b6a08c5f0b0 (patch) | |
| tree | 23bf112f61b4056ca93789607f1f2b22920b6b4f /services | |
| parent | a4277cda5c7f57a7205f4c29edbb488d518c29b5 (diff) | |
| parent | a08a2014300a495381cdb8f6d59523bcd5d3b883 (diff) | |
Merge pull request #1584 from danielboulby-arm/db/Switches
Ensure the flow through switch statements is clear
Diffstat (limited to 'services')
| -rw-r--r-- | services/spd/tlkd/tlkd_common.c | 4 | ||||
| -rw-r--r-- | services/spd/tspd/tspd_main.c | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/services/spd/tlkd/tlkd_common.c b/services/spd/tlkd/tlkd_common.c index d846269b..6fec91bc 100644 --- a/services/spd/tlkd/tlkd_common.c +++ b/services/spd/tlkd/tlkd_common.c @@ -1,5 +1,5 @@ /* - * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved. + * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause */ @@ -48,7 +48,7 @@ uint64_t tlkd_va_translate(uintptr_t va, int type) ats12e0w(va); break; default: - assert(0); + assert(0); /* Unreachable */ break; } diff --git a/services/spd/tspd/tspd_main.c b/services/spd/tspd/tspd_main.c index 3ec98d68..d2acda8d 100644 --- a/services/spd/tspd/tspd_main.c +++ b/services/spd/tspd/tspd_main.c @@ -592,6 +592,7 @@ static uintptr_t tspd_smc_handler(uint32_t smc_fid, SMC_RET3(ns_cpu_context, x1, x2, x3); } + assert(0); /* Unreachable */ /* * Request from the non-secure world to abort a preempted Yielding SMC |