[Coverity] Explicit null dereferenced (FORWARD_NULL)
authorPeter D. Barnes, Jr. <barnes26@llnl.gov>
Thu, 16 May 2013 11:25:29 -0400
changeset 9793 bd8de25954e4
parent 9792 0ae0a3d90b3c
child 9794 75604f829f53
[Coverity] Explicit null dereferenced (FORWARD_NULL)
src/internet/model/global-route-manager-impl.cc
--- a/src/internet/model/global-route-manager-impl.cc	Thu May 16 11:18:20 2013 -0400
+++ b/src/internet/model/global-route-manager-impl.cc	Thu May 16 11:25:29 2013 -0400
@@ -837,6 +837,7 @@
 //
       if (v->GetLSA ()->GetLSType () == GlobalRoutingLSA::RouterLSA)
         {
+          NS_ASSERT (l != 0);
           distance = v->GetDistanceFromRoot () + l->GetMetric ();
         }
       else