switch-coreboot/src
Martin Roth 3051cd9265 soc/marvell/mvmap2315: Mark mvmap2315_reset() as noreturn
mvmap2315_reset() is called from locations where we're checking for NULL
pointers.  Because coverity can't tell from the code that the functions
are not returning, it's showing errors of accessing pointers after
we've determined that they're invalid.

Mark it as noreturn, and add a loop in case the reset isn't on the
next instruction.  This probably isn't needed, but shouldn't hurt.

Found-by: Coverity Scan #1362809
Change-Id: If93084629d5c2c8dc232558f2559b78b1ca5de7c
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/18103
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Nico Huber <nico.h@gmx.de>
2017-01-12 18:52:11 +01:00
..
acpi src/acpi: Capitalize ACPI and SATA 2016-07-31 19:25:40 +02:00
arch arch/x86: fix cmos post logging in non romcc bootblock 2017-01-06 17:30:58 +01:00
commonlib buildsystem: Drop explicit (k)config.h includes 2016-12-08 19:46:53 +01:00
console console: Enable do_printk_va_list for VBOOT 2016-12-27 18:07:39 +01:00
cpu cpu/intel/model_6fx: Add Conroe-L to cpu_device_id list 2017-01-10 19:54:12 +01:00
device SPD_CACHE: Drop debug statement 2017-01-10 21:24:27 +01:00
drivers SPI: Fix command-response behavior 2017-01-10 21:18:23 +01:00
ec ec/ene932: correct ACPI battery data fed into ToString() 2016-12-15 23:39:04 +01:00
include google/chromeos: disable platform hierarchy on resume for TPM2 2017-01-12 18:28:12 +01:00
lib google/chromeos: disable platform hierarchy on resume for TPM2 2017-01-12 18:28:12 +01:00
mainboard fsp 1.0 systems: Check for NULL when saving HobListPtr 2017-01-12 17:19:26 +01:00
northbridge amd/mct/ddr2: Remove orphaned Tab_TrefT_k variable 2017-01-12 17:19:58 +01:00
soc soc/marvell/mvmap2315: Mark mvmap2315_reset() as noreturn 2017-01-12 18:52:11 +01:00
southbridge sb/intel/ibexpeak: Update debug code to match other chips 2017-01-12 18:51:27 +01:00
superio sio/ite/it8783ef: Return (0) in ACPI _PSC methods 2016-12-13 22:49:24 +01:00
vboot vboot: Remove rmu.bin from FW_MAIN_A and FW_MAIN_B 2017-01-04 20:31:26 +01:00
vendorcode google/chromeos: disable platform hierarchy on resume for TPM2 2017-01-12 18:28:12 +01:00
Kconfig ACPI S3: Flip ACPI_HUGE_LOWMEM_BACKUP default 2016-12-11 09:12:48 +01:00