[coreboot-gerrit] [M] Change in coreboot[main]: drivers/wifi: Support Bluetooth Regulator Domain Settings

[Jérémy Compostella (Code Review)]

Attention is currently required from: YH Lin, [e-mail].

Jérémy Compostella has posted comments on this change by Jérémy Compostella. ( https://review.coreboot.org/c/coreboot/+/83200?usp=email )

Change subject: drivers/wifi: Support Bluetooth Regulator Domain Settings
......................................................................

Patch Set 10:

(1 comment)

File src/drivers/wifi/generic/acpi.c:

https://review.coreboot.org/c/coreboot/+/83200/comment/5634df97_d30e36ed?usp... :
PS9, Line 493: bsar
> > The other functions do receive a potentially NULL pointer. […]

Since this is the public repository, the static analyzer will runs once code is merged.

The static analyzer follows the code path. Therefore it cannot report any NULL pointer issue as is just impossible with the current implementation.