andrius
/
arm-trusted-firmware
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
arm-trusted-firmware/services/std_svc/psci
History
Soby Mathew 6d18969f59 PSCI: Resolve GCC static analysis false positive 
When BL31 is compiled at `-O3` optimization level using Linaro GCC 4.9
AArch64 toolchain, it reports the following error:

```
services/std_svc/psci/psci_common.c: In function 'psci_do_state_coordination':
services/std_svc/psci/psci_common.c:220:27: error: array subscript is above
array bounds [-Werror=array-bounds]
  psci_req_local_pwr_states[pwrlvl - 1][cpu_idx] = req_pwr_state;
                           ^
```

This error is a false positive and this patch resolves the error by asserting
the array bounds in `psci_do_state_coordination()`.

Fixes ARM-software/tf-issues#347

Change-Id: I3584ed7b2e28faf455b082cb3281d6e1d11d6495
 		2016-02-08 10:25:55 +00:00
..
psci_common.c PSCI: Resolve GCC static analysis false positive 2016-02-08 10:25:55 +00:00
psci_entry.S Remove dashes from image names: 'BL3-x' --> 'BL3x' 2015-12-14 12:31:37 +00:00
psci_helpers.S PSCI: Rework generic code to conform to coding guidelines 2015-08-13 23:48:07 +01:00
psci_main.c PSCI: Rework generic code to conform to coding guidelines 2015-08-13 23:48:07 +01:00
psci_off.c Fix PSCI CPU ON race when setting state to ON_PENDING 2016-02-01 14:52:30 +00:00
psci_on.c Fix PSCI CPU ON race when setting state to ON_PENDING 2016-02-01 14:52:30 +00:00
psci_private.h Fix PSCI CPU ON race when setting state to ON_PENDING 2016-02-01 14:52:30 +00:00
psci_setup.c Make generic code work in presence of system caches 2015-09-14 22:09:40 +01:00
psci_suspend.c Make generic code work in presence of system caches 2015-09-14 22:09:40 +01:00
psci_system_off.c PSCI: Switch to the new PSCI frameworks 2015-08-13 23:47:57 +01:00