diff options
| author | danh-arm <dan.handley@arm.com> | 2016-02-09 10:56:53 +0000 |
|---|---|---|
| committer | danh-arm <dan.handley@arm.com> | 2016-02-09 10:56:53 +0000 |
| commit | a1411b29d74341380f0029611a3d67c8e674d3d2 (patch) | |
| tree | c8c372bb6f8a9bfe5c9c598fd8f2af2ef3cb7025 | |
| parent | 606160472360b72e1e5f8a1589936eaaf9281966 (diff) | |
| parent | 6d18969f59a832deaf0989f32f33ba49f22b8e32 (diff) | |
Merge pull request #515 from soby-mathew/sm/gcc_false_positive
PSCI: Resolve GCC static analysis false positive
| -rw-r--r-- | services/std_svc/psci/psci_common.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/services/std_svc/psci/psci_common.c b/services/std_svc/psci/psci_common.c index 465c5fd9..8a2b81c3 100644 --- a/services/std_svc/psci/psci_common.c +++ b/services/std_svc/psci/psci_common.c @@ -393,6 +393,7 @@ void psci_do_state_coordination(unsigned int end_pwrlvl, unsigned int start_idx, ncpus; plat_local_state_t target_state, *req_states; + assert(end_pwrlvl <= PLAT_MAX_PWR_LVL); parent_idx = psci_cpu_pd_nodes[cpu_idx].parent_node; /* For level 0, the requested state will be equivalent |