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:
Hi Kyösti, yes scan-build actually runs daily, you can see the results here if you like [0]. Making the function __noreturn should be enough to convince it that config_of() will never return with NULL. It's also probably a good thing to remove the extra checks that Furquan has pointed out, since otherwise Coverity will flag them as dead code (it's very clever).
[0] https://www.coreboot.org/scan-build/
I could not see a commit hash in scan-build output, I assume it runs on master HEAD always.
But we shall see the results once we submit this, and find remaining redundant NULL checks then. I fixed the ones easily discovered with grep.
--
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: Sun, 14 Jul 2019 02:28:17 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
Gerrit-MessageType: comment