Taming static checker: flow[64]_validate_cf() checks NULL data

This does not apply for the current code but if somebody chose to use
the flowspec validation functions for something totally broken, it may
unnecessarily crash.

diff --git a/lib/flowspec.c b/lib/flowspec.c
index eaaffb148a26123ebe39ea2a43f2c06dee277bca..a20cc6d2c66a6951d97261cb244a71c9a425eb9a 100644 (file)
--- a/lib/flowspec.c
+++ b/lib/flowspec.c
@@ -609,6 +609,7 @@ flow6_validate(const byte *nlri, uint len)
 void
 flow4_validate_cf(net_addr_flow4 *f)
 {
+  ASSERT_DIE(f && f->data);
   enum flow_validated_state r = flow4_validate(flow4_first_part(f), flow_read_length(f->data));
 
   if (r != FLOW_ST_VALID)
@@ -625,6 +626,7 @@ flow4_validate_cf(net_addr_flow4 *f)
 void
 flow6_validate_cf(net_addr_flow6 *f)
 {
+  ASSERT_DIE(f && f->data);
   enum flow_validated_state r = flow6_validate(flow6_first_part(f), flow_read_length(f->data));
 
   if (r != FLOW_ST_VALID)