From: Andy Moreton <[email protected]>
Code Analysis notes that saved_spec can be NULL when passed into
ef10_filter_add_select_action and ef10_filter_add_execute_action
from ef10_filter_add_internal.
Fix the annotations to show that the parameter is optional,
and assert the invariant at the STORE dereference site.
Fixes: 585c22edb29c ("net/sfc/base: handle manual and auto filter clashes in
EF10")
Cc: [email protected]
Signed-off-by: Andy Moreton <[email protected]>
Reviewed-by: Ivan Malov <[email protected]>
Reviewed-by: Viacheslav Galaktionov <[email protected]>
---
drivers/common/sfc_efx/base/ef10_filter.c | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/drivers/common/sfc_efx/base/ef10_filter.c
b/drivers/common/sfc_efx/base/ef10_filter.c
index 2a10720122..2fdccfdc2b 100644
--- a/drivers/common/sfc_efx/base/ef10_filter.c
+++ b/drivers/common/sfc_efx/base/ef10_filter.c
@@ -690,7 +690,7 @@ ef10_filter_add_lookup_equal_spec(
static void
ef10_filter_add_select_action(
- __in efx_filter_spec_t *saved_spec,
+ __in_opt efx_filter_spec_t *saved_spec,
__in efx_filter_spec_t *spec,
__out enum ef10_filter_add_action_e *action,
__out efx_filter_spec_t **overridden_spec)
@@ -752,7 +752,7 @@ ef10_filter_add_select_action(
static __checkReturn efx_rc_t
ef10_filter_add_execute_action(
__in efx_nic_t *enp,
- __in efx_filter_spec_t *saved_spec,
+ __in_opt efx_filter_spec_t *saved_spec,
__in efx_filter_spec_t *spec,
__in efx_filter_spec_t *overridden_spec,
__in enum ef10_filter_add_action_e action,
@@ -769,6 +769,7 @@ ef10_filter_add_execute_action(
goto out_unlock;
} else if (action == EF10_FILTER_ADD_STORE) {
EFSYS_ASSERT(overridden_spec != NULL);
+ EFSYS_ASSERT(saved_spec != NULL);
saved_spec->efs_overridden_spec = overridden_spec;
goto out_unlock;
}
--
2.47.3
