jerpelea opened a new pull request, #19339: URL: https://github.com/apache/nuttx/pull/19339
## Summary pci_epf_device_register() and pci_epf_unregister_driver() used || in DEBUGASSERT expressions that validate a pointer and a required field or callback. If the pointer is NULL, the right-hand side dereferences it; if the pointer is valid but the required member is NULL, the assertion passes. Require both conditions in each assertion so the debug checks match the preconditions used later in the functions. Generated-by: OpenAI Codex ## Impact RELEASE ## Testing CI -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
