Kyösti Mälkki has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/34299 )
Change subject: soc/intel: Use config_of_path(SA_DEVFN_ROOT)
......................................................................
Patch Set 4:
(1 comment)
Jacob, Elyes : Is one of you regularly running clang static analyzer passed?
I wonder if it goes wild on this commit. My attempt here is to use __noreturn pcidev_die() called from inlined function. Is that enough / not required at all, to convince config_of() never returns with NULL.
https://review.coreboot.org/c/coreboot/+/34299/4/src/soc/intel/apollolake/ac...
File src/soc/intel/apollolake/acpi.c:
https://review.coreboot.org/c/coreboot/+/34299/4/src/soc/intel/apollolake/ac...
PS4, Line 172: cfg
If cfg was NULL, control would never reach here.
Right, I think there are more cases than the two you have spotted.
--
To view, visit
https://review.coreboot.org/c/coreboot/+/34299
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: I53324603c9ece1334c6e09d51338084166f7a585
Gerrit-Change-Number: 34299
Gerrit-PatchSet: 4
Gerrit-Owner: Kyösti Mälkki
kyosti.malkki@gmail.com
Gerrit-Reviewer: David Guckian
david.guckian@intel.com
Gerrit-Reviewer: Furquan Shaikh
furquan@google.com
Gerrit-Reviewer: HAOUAS Elyes
ehaouas@noos.fr
Gerrit-Reviewer: Jacob Garber
jgarber1@ualberta.ca
Gerrit-Reviewer: Kyösti Mälkki
kyosti.malkki@gmail.com
Gerrit-Reviewer: Patrick Rudolph
siro@das-labor.org
Gerrit-Reviewer: Vanny E
vanessa.f.eusebio@intel.com
Gerrit-Reviewer: build bot (Jenkins)
no-reply@coreboot.org
Gerrit-Comment-Date: Sat, 13 Jul 2019 17:39:50 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Furquan Shaikh
furquan@google.com
Gerrit-MessageType: comment